新しいパラダイムの理解を開拓すべく、Koka に手を出しています。 koka-lang.github.io Koka の本丸は、その名（Koka = "効果"）が示す通り Effect system なのですが、基本の構文をいじるだけで、そこまでたどり着けない始末。 en.wikipedia.org 一方で、こ…