271 followers Hexirp @hexirp_prixeh この論文が再帰の対象となる型の拡張を扱っている。まず、open recursionに触れて、次にその方法のコードに重複が出来るという問題点を型クラスで解決しようとしている https://t.co/4lK6jD8Nkp 05 Sep 2017 Reply Repost Favourite