koka-lang
Haskell製のMicrosoftの研究プロジェクト。]
effect typeとhandlerを扱う関数型言語のKoka。side effectのeffectから効果→kokaという嘘みたいな名前に。
Effectというものが何なのか微妙にわかりにくいのだけれども、Effect Typeはinferしてくれるそうです :-)
C言語に変換してコンパイルもされるそうで。
https://twitter.com/jingbay/status/1411503409715425284
https://www.microsoft.com/en-us/research/project/koka/
https://github.com/koka-lang/koka
公式ドキュメント
Algebraic Effects に触れてみたくて Koka に入門した - Qiita
日本語で書かれたalgebraic effects にもわかりやすく触れた記事
我々向けの Algebraic Effects 入門 — Overreacted
プログラミング言語
https://raw.githubusercontent.com/koka-lang/koka/master/doc/logo/koka-logo-v2-800.png