its_out_of_tune https://blog.hatena.ne.jp/its_out_of_tune/ capriccioso String Creating(Object something){ return My.Expression(something); } https://its-out-of-tune.hatenadiary.org/ Haskell Haskellチューリングマシン 前回、テープの走査をモナドに包む時に、テープの値と一緒に、「ヘッドのステータス」を状態として保持できるようにしました。 この値は単なるInt型として実装したのですが、明確なアイデンティティを与えるため、HeadStateという別名を付けました。 --ヘッドが保持するステータス type HeadStatus = Int --ヘッドの状態 (テープ、ステータス) data MachineState = MachineState { msTape :: Tape, msState :: HeadStatus } deriving Show伴って、関連する関数等の表記もこの型名に統一されています。 … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fits-out-of-tune.hatenadiary.org%2Fentry%2F20120210%2F1328900124" title="Haskellでチューリングマシン(4) 命令の実行処理を作成 - capriccioso String Creating(Object something){ return My.Expression(something); }" 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 2012-02-10 03:55:24 rich https://its-out-of-tune.hatenadiary.org/entry/20120210/1328900124 1.0 100%