一意型 - mrsekut-p

一意型

Uniquness Type

全ての型がユニークなる (?

並行プログラミングで嬉しいとかなんとか

リソース管理ができる

Monad型クラスとも関係があるとかなんとか

言語

http://docs.idris-lang.org/en/latest/reference/uniqueness-types.html

関連

参考

https://twitter.com/search?q=Uniqueness%20type&src=typed_query

https://en.wikipedia.org/wiki/Uniqueness_type

https://qiita.com/7shi/items/ab3b819871d7b0710949

#型システム