この記事では GHC 8.0.1 を用いています． STG言語 STG（Spinless Tagless G-machine）とは，遅延評価で高階関数をサポートする関数型言語のための抽象機械である． STG（Shared Term Graph*1）言語はSTG機械のための言語で，GHCでは Haskellソース → Core言…