3 ms·
You don’t need Haskell to do this however.
by heavenlyblue 6y ago
You don’t need Haskell to do this however.
- elbear 6y agoYou need a type system that is expressive enough to allow you to encode logic in the types. Of course, Haskell is not only language with such a type system: PureScript, F#, Rust, OCaml, Scala have similar features, although not all.