動機 Haskellでは * -> * カインドを持つデータ型からFreeモナド(Operational)を使って5秒でDSLが作れることは有名だけど、 そうやって作ったDSLをスクリプトとして外部ファイルから読み込むようなことがしたいこともあるかもしれない。 そういう時にわざわ…

Table of Contents 1. Widget型 1.1. 直和と直積 2. 内部状態 3. Widget Operation 4. 継承、合併 5. 関係ないけれど 6. おわりに 今現在Haskellを使ってゲームを作っていて、そこで「オブジェクト」的なものが欲しくなってあれこれした結果を説明として残し…

ようやく本質的な進捗が生まれ始めていて嬉しい 進捗報告 設計 前回異様に苦しんでいた設計問題はめでたく解決し、ちゃんと進捗しつつあってよい 結論だけ言うと newtype W = W (forall (m:Monad) x. Union xs m x -> br W (m x)) の形の型を使っている。 再…

なんとまだエターナってません バンザイ 進捗報告 あんまり進んでない, 設計で悩んだりしてたら調査とかで時間が無限に溶けてる ゲームシステム 調合システム: レシピを用意したのでポーションを使えるようにすることとUIを作る所に入れそう TODO:9/16 パラ…

ちょっと前にゲーム作る機運が高まってきたなって言っていたのだけれど myuon-myon.hatenablog.com まぁ作ろうということになり、ここ1週間位ずっと作業していたので 進捗報告ということで こういうことでもしないとモチベーションを保ち続けられる自信がな…