2 ms·
Effect systems like effectful and Bluefin absolutely provide first class effects, ultimately not too dissimilar to Koka.
by tome 2y ago
Effect systems like effectful and Bluefin absolutely provide first class effects, ultimately not too dissimilar to Koka.
- thdhhghgbhy 2y agoOkay, might be definitional, but when I think of 'first class', I think of something baked in to the language. So in Haskell's case, in the Prelude I suppose.
- tome 2y agoThat's kind of the opposite of what functional programmers mean by "first class", or at least orthogonal. "Functions are first class" means that they don't have any special treatment, relative to other entities. They're not really a special "built-in" thing. You can just pass them around and operate on them like an other sorts of values.