koka-lang
effect typeとhandlerを扱う関数型言語のKoka。side effectのeffectから効果→kokaという嘘みたいな名前に。
Effectというものが何なのか微妙にわかりにくいのだけれども、Effect Typeはinferしてくれるそうです :-)
C言語に変換してコンパイルもされるそうで。
日本語で書かれたalgebraic effects にもわかりやすく触れた記事
https://raw.githubusercontent.com/koka-lang/koka/master/doc/logo/koka-logo-v2-800.png