2017-05-01から1ヶ月間の記事一覧
個人のゲーム制作といえばRPGがなんとなく花形感がありますが(多分ツクールのせいや) じゃあ作ろうって思って完成まで行くのは結構大変ですよねみたいな 以下言い訳が並びます グラフィック 多分一番問題になるのはここで、スキルはないが人間はいる(人間を…
1個前の記事でTagless finalについて触れたんだけどどうも全く頭が回っていなかったらしくほとんど内容がない記事になってしまったので書き直す、というかちょっと違う話を。 はじめに、TaPLにあるλ計算のtypecheckerをHaskellで実装することをやっている: g…
Q. Tagless-finalってなんぞや A. (in short) データ型DをF[D]のinitial algebraとみなしたとき、initialityより、任意のalgebra F[D](X) --> Xに対してunique transformation D --> Xがある。 このときfamily forall X. F[D](X) --> XをDのTagless-final re…