Description
Functional programs can be written with strong typing, effect types, and effect handlers.
It is useful for developers and researchers exploring safer handling of side effects, language design, and advanced type systems. The language is specialized, so it fits learning, research, and selected projects more than general everyday scripting.