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

2023/02/02 15 users 直和型

// 割る2をする関数の引数が偶数であることを型によって強制する例（実用性はない） data O // 数字の0を表すデータ型 data S(A) forall { A } // +1を表すデータ型 // 型エイリアス type Nat = O | S[Nat] // 非効率すぎる他倍長整数 type Even = O | S[Odd] type Odd = S[Even] // 偶数を引数にとって2で割った結果を... 続きを読む

TypeScriptのユニオン型で「あるかもしれない」プロパティを表現するときのTips - uhyo/blog

2020/08/18 15 users uhyo TypeScript foo String Tips

TypeScriptのユニオン型はとても強力な機能で、TypeScriptのコードベースでは広く利用されています。 例えば、次のようにすると「fooプロパティを持つオブジェクトまたはbarプロパティを持つオブジェクト」という型を表現できます。 type FooObj = { foo: string }; type BarObj = { bar: number }; type FooOrBar = Foo... 続きを読む

TypeScript、お前もか： nullやundefinedの扱いがイイカゲン過ぎ - 檜山正幸のキマイラ飼育記

2018/01/12 41 users undefined TypeScript null 檜山正幸

TypeScriptには期待してたんだけど、ガッカリだよ。 それでもまー、割と好きだけど。 *1 内容： 特殊な型や値の扱い方はイイカゲンになりがち 特殊な型とは TypeScriptの基本型にnullは入らないと信じていた どんな伝統なんだよ TypeScriptにシングルトン型はないのか？ ユニオン型は便利なんだけど never型はシッカリしている さいごに 特殊な型や値の扱い方はイイカゲンに... 続きを読む