3 ms·
Is this a "pure" language like Haskell? Or it's more like OCaml? And, even if it's not pure, is there any syntactic sugar for monads? Anyway, this looks aweso
by nnq 9y ago
Is this a "pure" language like Haskell? Or it's more like OCaml?
And, even if it's not pure, is there any syntactic sugar for monads?
Anyway, this looks awesome, especially with easy C++ interfacing that seems to be there: a system where you can have machine learning (anything from bayesian to deep nns) code in C++ and business logic in something Haskell-like is the stuff of wet dreams...
- kthielen 9y agoIt's not pure currently, so definitely more like OCaml. We make frequent use of overloaded array comprehensions, which is one form that monad syntax can take. The "do" notation introduced by Haskell isn't supported right now, but maybe soon. I'd like to refactor the parser code a bit anyway.
- nnq 9y agoImho non-pure is probably ok. Haskell's purity is probably what destroyed any chance of it growing popular enough to have a healthy ecosystem of libraries and community. Anyway, since this has no memory management, neither rust-like nor gc, this is not in the niche I care about now, so moving on... But again, great work. "Strict Haskell" with good C++ interop and decent records is awesome.