3 ms·
When I said typed FP, I meant languages with ADTs.. Elm/Haskell etc., not Typescript! :)
by girishso 7y ago
When I said typed FP, I meant languages with ADTs.. Elm/Haskell etc., not Typescript! :)
- valand 7y agoI thought we were talking about FP paradigm, not the language, and the Typed data concept which includes compile time type validations, type inference. And also I'm pretty sure TypeScript has union, intersections, tuples, record which are pretty much ADTs.
- girishso 7y agoYou're right, my bad. I didn't know TypeScript had ADTs. Should probably take a serious look at TypeScript.