These are chat archives for typelevel/general

25th
Mar 2016
Rob Norris
@tpolecat
Mar 25 2016 06:01
Proposed response to the Yarvin situation, in case you missed it: typelevel/typelevel.github.com#96
InTheNow
@InTheNow
Mar 25 2016 09:48
:+1: => response to the Yarvin situation
Alexandru Nedelcu
@alexandru
Mar 25 2016 09:48
:+1: I personally like that response.
Lars Hupel
@larsrh
Mar 25 2016 10:05
It's online now, and we'll tweet it during US day hours
Pascal Voitot
@mandubian
Mar 25 2016 11:19
the choice is clear at least
David England
@dvdnglnd
Mar 25 2016 12:37
As someone new to the area of type theory I'd love to understand how to get started, could you help guide me to some good practical introductions? Cats documentation? Towards Scalaz?
Owein Reese
@wheaties
Mar 25 2016 12:49
@dvdnglnd check out http://eed3si9n.com/herding-cats/
it's in the same vein as his popular http://eed3si9n.com/learning-scalaz/
David England
@dvdnglnd
Mar 25 2016 13:13
@wheaties thanks for the recomendation
Pascal Voitot
@mandubian
Mar 25 2016 13:41
@dvdnglnd keep also in mind that cats/scalaz are more about category theory than types even if they use intensively types... for types & proofs, shapeless is certainly the right thing to look at
Merlin Göttlinger
@mgttlinger
Mar 25 2016 15:13
@dvdnglnd I also found the blogpost from @adelbertc about variance and functors (http://typelevel.org/blog/2016/02/04/variance-and-functors.html) to be a great help in understanding how variance is represented in functors.
Adelbert Chang
@adelbertc
Mar 25 2016 16:39
@mgttlinger :D glad to hear that
Travis Brown
@travisbrown
Mar 25 2016 19:55
How would people feel about adding these two projects to the Typelevel incubator? https://github.com/travisbrown/iteratee https://github.com/travisbrown/catbird
Rob Norris
@tpolecat
Mar 25 2016 20:10
Both look good to me.
Mike (stew) O'Connor
@stew
Mar 25 2016 20:25
@travisbrown by all means
Travis Brown
@travisbrown
Mar 25 2016 20:27
cool, thanks @stew @tpolecat—I'll aim to start the formal process next week.
Adelbert Chang
@adelbertc
Mar 25 2016 20:42
:+1:
Erik Osheim
@non
Mar 25 2016 21:59
:+1:
Ryan Delucchi
@ryanonsrc
Mar 25 2016 22:49
For me: the bijection from Try[A] to Xor[Throwable, A] is one that I can see immediately useful. /cc @travisbrown
so yeah, I follow suit :+1: :-)