3 ms·
That still sounds a little weak, but even under that definition, how does Haskell qualify? Do-notation may make things look like statements, but they are still
by nbouscal 12y ago
That still sounds a little weak, but even under that definition, how does Haskell qualify? Do-notation may make things look like statements, but they are still expressions!
- tel 12y agoThey are statements in an embedded language modeled by the monad. The distinction isn't great. Monad allows the implementer to capture linear action if they like. That makes them at least powerful enough to embed Algol.