Unison
The Unison language
https://github.com/unisonweb/unison
静的型付け純粋関数型言語
るとさんはTwitterを使っています 「関数や型などの定義がcontent-addressingされているプログラミング言語“Unison”。 https://t.co/ITOM1XD4zB コードのASTがGitのようなレポジトリ(codebase)で管理されている。ファイルにコードを書くと型チェックがされて、通るとcodebaseに追加できるようになる。」 / Twitter
Algebraic Effects
をもつ(UnisonではAbilityと呼ばれる)。
https://www.unison-lang.org/learn/fundamentals/abilities/using-abilities-pt1/
副作用がシグネチャに現れるので、こっそり
throw
したりするようなことはできない
effectを「どう使うか」と「どう動くか」が分離される
複数種のeffectを同時に使う場合に、モナドよりややこしくなりにくい
#プログラミング言語