Source code of pie (used in the book) at https://github.com/the-little-typer/pie
The Little Typer
21–30 of 138 posts
Re: The Little Typer
#22Is there a place where you can download the source code that is used in the book?
Re: The Little Typer
#23I know that typescript doesn't have advanced types, but can a book like this be adapted to use typescript ?
This book does not talk about static typing, but about dependent types. Dependent types are more powerful and expressive than simple types because they convey more information. For example you could have [Int] to represent a list of numbers, but you could also have [x: Int, x > 20 && x < 50]. Or you could have an ordered array and know this fact by the type associated to the array. Moreover, you need to use a theorem prover to show that applying a function to a particular dependent type will result in the output dependent type. This kind of programming is not well suited to be implemented into typescript.
Re: The Little Typer
#24 This space reserved for JELLY STAINS!Re: The Little Typer
#25[deleted]
Re: The Little Typer
#26Sad to say the book isn't on Library Genesis, so you'll have to drop $40 if you want the knowledge. http://libgen.io/search.php?req=little+typer Also Library Genesis is amazing: http://libgen.io/search.php?req=knuth It's everything I dreamed of when I was a kid. I used to spend hours at the local library scouring through crummy "Learn C++ in 24 hours" type books. http://custodians.online/ is worth a read too.
It came out today.
Re: The Little Typer
#27Sad to say the book isn't on Library Genesis, so you'll have to drop $40 if you want the knowledge. http://libgen.io/search.php?req=little+typer Also Library Genesis is amazing: http://libgen.io/search.php?req=knuth It's everything I dreamed of when I was a kid. I used to spend hours at the local library scouring through crummy "Learn C++ in 24 hours" type books. http://custodians.online/ is worth a read too.
Seems like libgen is blocked in the UK. I get redirected to http://www.ukispcourtorders.co.uk/
Re: The Little Typer
#28Will there be a Kindle edition eventually?
There doesn't appear to be kindle versions of older books including The Little Schemer, The Seasoned Schemer, etc. so most likely not.
Re: The Little Typer
#29> 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?
> the ugly downsides of dependent types and how to avoid them
There's this Reddit answer from two years ago, and the subsequent comments https://www.reddit.com/r/haskell/comments/3zc81v/tradeoffs_o...
Re: The Little Typer
#30Is there a reason dependent types are not more common?