bouzuya https://blog.hatena.ne.jp/bouzuya/ bouzuya.hatenablog.com https://bouzuya.hatenablog.com/ 朝は bouzuya/rally-cli-hs をすこし進める。関数を引数にとる関数を書いていて、引数の型を何度も書いてくどいので type を使ってみた。型変数 (?) に制約があると良さそうだったので、制約をつけたら Rank2Types か RankNTypes 拡張を有効にしろと怒られた。 PureScript ではこれに相当する機能が標準で有効なのかも……意識した記憶がない。よく分からないまま使うのはやめようと、制約をつけずに済ませた。 いまさらではあるけれど、 bouzuya/rally-cli-hs がやろうとしている程度のことなら curl をちょろちょろと呼べばできるんだよね… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbouzuya.hatenablog.com%2Fentry%2F2017%2F11%2F17%2F235959" title="雑記 -- RankNTypes 拡張を使えと怒られる - bouzuya.hatenablog.com" 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 2017-11-17 23:59:59 rich https://bouzuya.hatenablog.com/entry/2017/11/17/235959 1.0 100%