Tangentially related, I’ve been (slowly) working my way through The Little Typer. It’s a deep dive on dependent types, starting with the very basics and building up a toy language one step at a...
Tangentially related, I’ve been (slowly) working my way through The Little Typer. It’s a deep dive on dependent types, starting with the very basics and building up a toy language one step at a time. I can feel it gradually changing how I think about programming (hell, how I think about thinking).
It’s really, really enjoyable. The format is very approachable, even fun. Rigorous and demanding, yet doesn’t take itself too seriously. Some lisp experience is helpful, but probably (maybe?) not necessary. But do yourself a favor and learn lisp anyway ;-)
I only half understand Haskell as it is. Will new programmers be able to learn it? If they don't learn it then it's not the future, though some ideas might be borrowed by other languages.
I only half understand Haskell as it is. Will new programmers be able to learn it? If they don't learn it then it's not the future, though some ideas might be borrowed by other languages.
Tangentially related, I’ve been (slowly) working my way through The Little Typer. It’s a deep dive on dependent types, starting with the very basics and building up a toy language one step at a time. I can feel it gradually changing how I think about programming (hell, how I think about thinking).
It’s really, really enjoyable. The format is very approachable, even fun. Rigorous and demanding, yet doesn’t take itself too seriously. Some lisp experience is helpful, but probably (maybe?) not necessary. But do yourself a favor and learn lisp anyway ;-)
Two thumbs up, highly recommended.
I only half understand Haskell as it is. Will new programmers be able to learn it? If they don't learn it then it's not the future, though some ideas might be borrowed by other languages.