7 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 1y 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 1y 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 1y agoThat's basically where I am coming from :). I know about my addiction.