あー、パターンマッチできるユニオン型。稀によく、めちゃくちゃ欲しくなる機能のやつ。A | B | Cの型があって、A は簡単な処理でB | Cは途中まで一緒の複雑な処理だと、B | Cを切り出したくなるし、それができる。のか?

shunkeenshunkeen のブックマーク 2023/02/03 07:59

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

直和型の代わりにユニオン型を持つ静的型付け関数型言語 Cotton

    // 割る2をする関数の引数が偶数であることを型によって強制する例(実用性はない) data O // 数字の0を表すデータ型 data S(A) forall { A } // +1を表すデータ型 // 型エイリアス type Nat = O | S[Nat] // 非...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう