サクサク読めて、アプリ限定の機能も多数!
あー、パターンマッチできるユニオン型。稀によく、めちゃくちゃ欲しくなる機能のやつ。A | B | Cの型があって、A は簡単な処理でB | Cは途中まで一緒の複雑な処理だと、B | Cを切り出したくなるし、それができる。のか?
shunkeen のブックマーク 2023/02/03 07:59
直和型の代わりにユニオン型を持つ静的型付け関数型言語 Cotton[プログラミング][型]あー、パターンマッチできるユニオン型。稀によく、めちゃくちゃ欲しくなる機能のやつ。A | B | Cの型があって、A は簡単な処理でB | Cは途中まで一緒の複雑な処理だと、B | Cを切り出したくなるし、それができる。のか?2023/02/03 07:59
このブックマークにはスターがありません。 最初のスターをつけてみよう!
zenn.dev/nanikamado2023/02/02
// 割る2をする関数の引数が偶数であることを型によって強制する例(実用性はない) data O // 数字の0を表すデータ型 data S(A) forall { A } // +1を表すデータ型 // 型エイリアス type Nat = O | S[Nat] // 非...
68 人がブックマーク・7 件のコメント
\ コメントが サクサク読める アプリです /
あー、パターンマッチできるユニオン型。稀によく、めちゃくちゃ欲しくなる機能のやつ。A | B | Cの型があって、A は簡単な処理でB | Cは途中まで一緒の複雑な処理だと、B | Cを切り出したくなるし、それができる。のか?
shunkeen のブックマーク 2023/02/03 07:59
このブックマークにはスターがありません。
最初のスターをつけてみよう!
直和型の代わりにユニオン型を持つ静的型付け関数型言語 Cotton
zenn.dev/nanikamado2023/02/02
// 割る2をする関数の引数が偶数であることを型によって強制する例(実用性はない) data O // 数字の0を表すデータ型 data S(A) forall { A } // +1を表すデータ型 // 型エイリアス type Nat = O | S[Nat] // 非...
68 人がブックマーク・7 件のコメント
\ コメントが サクサク読める アプリです /