dという型がある状況でaがなければbが更新できないし、bがなければcが更新できない、のような流れを再帰構造の型で表現する実装。使いどころは謎だが思いついたのでメモしておく。Falseもし再帰構造にせずデータを全部Maybeで横持ちにすると、cやdのデータだけが存在している状況を作れてしまう。この構造であればそのような状態は作れない。Recordを用いて型安全な状態遷移パターン...このDiscourseスレッドがかなり面白かった。(8)はてなブログをはじめよう!IzumiSyさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。