keigoi https://blog.hatena.ne.jp/keigoi/ keigoiの日記 https://keigoi.hatenadiary.org/ Haskell と、自分でも何を言ってるのか分からねーですが、タイトルに継続と書けばとアクセス数とブクマが増えるのでそう書く(←最低)。あながち遠くはないはずだけどOCamlでHaskellのforall を使うような存在型を直接書く事はできないらしい。 そこで #002 存在型 - KeisukeNakano’s diary では なにやら ランク2多相に CPS風味の方法(二重否定が継続渡しだとかいうアレっぽいですがよくわからない)を使うことで OCamlで存在型を実現している。…と、id:osiireさんに教えてもらった。osiireさんは普通にこれを使っていたが… いまいち僕はぱっと見理解できなかった… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkeigoi.hatenadiary.org%2Fentry%2F20081225%2Fp2" title=" 継続渡しチックな 存在型 を Haskellで - keigoiの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2008-12-25 00:00:00 rich https://keigoi.hatenadiary.org/entry/20081225/p2 1.0 100%