The Little Typer
mitpress.mit.edu
The Little Typer
1–10 of 138 posts
Re: The Little Typer
#2I'm going to order it right now. I highly recommend the little schemer and the seasoned schemer too! I have read all the titles (MLer and Java too) in the series and those are my favorites. The only one I have not finished is the reasoned schemer although I hope to try again in the future.
Re: The Little Typer
#3> An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
Is there a companion book detailing the ugly downsides of dependent types and how to avoid them, one step at a time?
Re: The Little Typer
#4> An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. Is there a companion book detailing the ugly downsides of dependent types and how to avoid them, one step at a time?
Can you elaborate? Do you have war stories?
Re: The Little Typer
#5I'm going to order it right now. I highly recommend the little schemer and the seasoned schemer too! I have read all the titles (MLer and Java too) in the series and those are my favorites. The only one I have not finished is the reasoned schemer although I hope to try again in the future.
Don't miss The Little Prover! :)
Re: The Little Typer
#6> An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. Is there a companion book detailing the ugly downsides of dependent types and how to avoid them, one step at a time?
Here is a quick guide to avoiding them: "Unless you are using Haskell at a very high level of abstraction, Coq, Agda, Pie or Idris: congratulations you have avoided them."
It's not really clear why you'd want a book about the downsides of a quite recent development in practically usable programming models. Is it just because you are a hater?
Re: The Little Typer
#7The book is fantastic. If you think this model is interesting, please consider trying Idris and reading the Idris book:
https://www.manning.com/books/type-driven-development-with-i...
Re: The Little Typer
#8> An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. Is there a companion book detailing the ugly downsides of dependent types and how to avoid them, one step at a time?
I feel like people are misreading this comment, which is asking how to avoid the pitfalls of dependent types, not how to avoid dependent types.
Re: The Little Typer
#9I know that typescript doesn't have advanced types, but can a book like this be adapted to use typescript ?
Re: The Little Typer
#10> An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. Is there a companion book detailing the ugly downsides of dependent types and how to avoid them, one step at a time?
I feel like people are misreading this comment, which is asking how to avoid the pitfalls of dependent types, not how to avoid dependent types.
This. Thank you. I'm being rate limited, so this is the only post I'll be making on this thread. My question was genuine. I want to learn both the positives and the pitfalls of dependent types. I mimicked the book's description because it amused me from a linguistic perspective. Looking back, I probably should have phrased it differently.