3 ms·
I thought we were talking about FP paradigm, not the language, and the Typed data concept which includes compile time type validations, type inference. And als
by valand 7y ago
I 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.