3 ms·
Hey kiddo… did you ever try something nastier? I’ve got something that will blow your mind and you’ll keep coming back You don’t know but you are addicted to t
by drumnerd 2y ago
Hey kiddo… did you ever try something nastier? I’ve got something that will blow your mind and you’ll keep coming back
You don’t know but you are addicted to types
Come to the light - Haskell!
- hyperbrainer 2y agoWhich is despite, a decade of attempts, still missing dependent types. Time to embrace Idris. Or embrace logic + functional programming: Curry. https://curry-language.org/ https://curry-language.org/
- davnn 2y agoThat's basically where I am coming from :). I know about my addiction.