直和型の代わりにユニオン型を持つ静的型付け関数型言語 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 で実行時の入力を含む文字列を型で弾く - Object.create(null)

2022/08/12 7 users TypeScript Object.create foo

TypeScript (4.7 時点) において, 文字列に付けられる型には以下の 3 つ (とそのユニオン型) があります. 文字列型 string 文字列リテラル型 ("foo" など) テンプレートリテラル型 (`data-${string}` など) これらのうち, 実行時の入力, 特に事前にパターンが想定されていないような任意の入力が含まれるような文字列に... 続きを読む

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型はシッカリしている さいごに 特殊な型や値の扱い方はイイカゲンに... 続きを読む