コンピュテーション式で"はちみーのうた" - pocketberserkerの爆走

コンピュテーション式で"はちみーのうた" - pocketberserkerの爆走

コンピュテーション式でキーワード引数 - ぐるぐる～ や カスタムオペレーションの呼び出し順序を制御す...概要を表示 コンピュテーション式でキーワード引数 - ぐるぐる～ や カスタムオペレーションの呼び出し順序を制御する - Qiita をみていたら久々にコンピュテーション式で遊びたくなったのでひとネタ供養。 今回のネタは状態遷移を書けると噂の”はちみーのうた”です。 歌詞通りにキーワードを呼び出さないとコンパイルエラーになるはず、きっと。 まぁ多少の妥協があります。 type GotoHachimi = interface end type GotoAshi = interface end type Hachimi = Hachimi with override _.ToString() = "はちみー" interface GotoHachimi type Hachimi<'T when 'T :> GotoHachimi> = Hachimi of 'T with override this.To