>>560
ErlangでGHC(KL1)の処理系を書けばいいんじゃないの。