Has anyone read "the little typer"? Is it a good p...
# thinking-togetherd
Drewverlee
06/26/2019, 10:31 PMHas anyone read "the little typer"? Is it a good place to start to get an idea of the cutting edge of type systems? I'm not looking for anything practical like haskell, I'm just curious how seamless types can be. my wish list would be that I want them to be inferred, extensible, composible, I should also get generative testing for free.
i
Ivan Reese
06/26/2019, 11:06 PM
Do you mean The Little Typer?
d
Drewverlee
06/27/2019, 1:04 AMyes 🙂, thats what i get for posting on my phone.
👌 2
m
Miles Sabin
06/27/2019, 9:05 AMIf you like the style of the other "The Little X'er" books it might work for you. I don't, I'm afraid, and the book was a bit of a disappointment for me.
Miles Sabin
06/27/2019, 9:07 AMIf you haven't already, I recommend getting hold of Types and Programming Languages, Pierce. It's not new, but it's a great gateway to all that is.
w
wtaysom
06/27/2019, 11:56 AMThey have something going for them, but do feel a little to arbitrary.
c
cogell
06/27/2019, 2:16 PM/me😂 1