Matsuura Tomoya(Windows)
3215e1d36e
All checks were successful
Build / build (push) Successful in 12m58s
917 B
917 B
#programming-language
MicroSoftのチームが研究しているプログラミング言語。
名前（KOKA＝効果）のとおり、代数的エフェクトが明示的な組み込みシンタックスで扱える。
中括弧の囲みをインデントで代用できて、JSっぽくもPythonっぽくも書ける。シンタックス的に推測できれば無名関数を省略して書けたりと、かなり構文糖衣が積極的に使われている。
With構文が面白い。HaskellのIOモナドで<-をチェーンしていくようなやつが、単に高階関数を受け取る関数の順番を入れ替える構文として実装されてるので、ネストが深くなっていくのを避けられる。
with x <- f(e1,...,eN)
<body>
//equal to
f(e1,...,eN, fn(){ <body> })