4 ms·
The best non-conventional introduction: https://aphyr.com/posts/342-typing-the-technical-interview https://aphyr.com/posts/342-typing-the-technical-interview
by turminal 5y ago
The best non-conventional introduction:
https://aphyr.com/posts/342-typing-the-technical-interview https://aphyr.com/posts/342-typing-the-technical-interview
- Zababa 5y ago> “Can I use any language?” > “Sure.” > Move quickly, before he realizes his mistake. This part always gets me.
- morty_s 5y ago> Criss is still here, at least physically. Got me.
- lelanthran 5y agoSeems to me that Lisp weenies have been outsmugged by Haskell weenies.
- Zababa 5y agoRead the next few ones, Lisp comes back strong.
- TeMPOraL 5y agoThanks for mentioning this. Both stories are lovely, some of the most enjoyable and intellectually satisfying writing I've read this month. On that note, I keep dreaming that one day, someone will make a Lisp with all the code generation goodies and Haskell-grade type system. That would be my dream language to code in. (As it is right now, I mostly do C++17 in overtly-type-safe style at work, and typed Common Lisp on the side...)
- thinkharderdev 5y agoThat may be the greatest thing I've ever read.
- hugsisbetter 5y agoPossibly inspired by https://codegolf.stackexchange.com/a/3790 https://codegolf.stackexchange.com/a/3790
- platz 5y agoThis uses the older/classic haskell 98 features to encode the types. It works, but with modern haskell, one can use techniques that are less verbose.
- deleted 5y ago[deleted]