kazu-yamamoto https://blog.hatena.ne.jp/kazu-yamamoto/ あどけない話 https://kazu-yamamoto.hatenablog.jp/ Haskell これはHaskellスペースリーク Advent Calendar 2015の17日目の記事です。 :sprint と MonomorphismRestriction サンクのリークを防ぐには、どの式がサンクかを理解する必要がある。そのために便利なのが、GHCiの:sprint コマンドだ。MonomorphismRestriction 拡張がデフォルトで有効だった GHCi 7.6 以前は、このコマンドは直感的に動く。 > let x = 1 + 2 > let y = (x,x) > :sprint x x = _ > :sprint y y = (_,_) > print x 3 > :… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkazu-yamamoto.hatenablog.jp%2Fentry%2F20151217%2F1450329078" title="GHC とスペースとリーク - あどけない話" 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 2015-12-17 14:11:18 rich https://kazu-yamamoto.hatenablog.jp/entry/20151217/1450329078 1.0 100%