Prism: An Impure Functional Language With Typed Effects

> It's functional but in place

This is an abuse of this term, which refers to immutable transformations that reuse memory, as in Roc and Koka, not to hiding effects within a function.

> It's the code you would write in Python with types you get from OCaml and no monads.

It's also the code you could write in OCaml itself.

---

Having used OCaml 5 effects, I'm convinced that the trend of globally scoped effect constructors, dynamically scoped handlers and effect-typed functions are the wrong approach. They couple too many orthogonal features.

Handlers should be consumed as (records of) functions that can't leak from their scope (see 'local' in OxCaml, 'ref struct' in C#) and are passed down as a capability. Now you're using two more general mechanisms to express your effects, and other forms of dynamic scoping or dynamic dispatch can be made orthogonal to effects themselves.

i love that effect based languages are getting more popular but how long will it take until one of them moves from unfinished experimental to at least beta?

verse is already used in production but its missing basic features like unions and lambdas, the compiler and runtime are closed source, and its tightly coupled to fortnite but also badly integrated with it at the same time.

koka is way more mature but i couldnt find a single project using it thats more than a demo or personal "lets try a new language" type thing. its explicitly a research language and not going awawy from that any time soon.