気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント20件
- 注目コメント
- 新着コメント
shunkeen
先頭と末尾だけ考慮するでOKなら、先頭だけの型定義も仕様によってはOKなんじゃなかろうか。例えば、[...array, 4, …array]のように中間に要素を追加した場合を、この記事で提案している型定義も捉えきれていないし。
turanukimaru
非空配列が欲しかったらそれは多分 Linked List で実装するのが自然。例えばあるEntityを時系列で並べると非空リストになるが、先頭のEntityは特別な意味（一般的にはLatest）を持つが配列の先頭に意味を持たせるべきではない
shingo-sasaki-0529
よくある間違いその1 がすごい直感的だと思ったけど、スプレッド構文と合わさると穴があるのかぁ。 型パズルとしては楽しいけど、要素数は型レベルじゃなくてランタイムでちゃんと検査しようなってなりそう。
turanukimaru
非空配列が欲しかったらそれは多分 Linked List で実装するのが自然。例えばあるEntityを時系列で並べると非空リストになるが、先頭のEntityは特別な意味（一般的にはLatest）を持つが配列の先頭に意味を持たせるべきではない
nemoba
domain-specific をTypeで表現出来るのは理想としては最強だけど、定義が複雑になりすぎることが多いんだよね。で、ValueObjectとか使うと、VO安易に使うなおじさんがあらわれて怒るｗ
shunkeen
先頭と末尾だけ考慮するでOKなら、先頭だけの型定義も仕様によってはOKなんじゃなかろうか。例えば、[...array, 4, …array]のように中間に要素を追加した場合を、この記事で提案している型定義も捉えきれていないし。
canadie
ChatGPTに追加で質問したところ「あとから変更したら空配列になるじゃろ、厳密にしたかったらクラスでやれや」とのことでした。https://chat.openai.com/share/e7dada51-f6b8-47e7-8380-70066193dfc3。あと2021年2月発表の4.2はそら書けんやろ
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
空でない配列を型で表現する正しい方法【TypeScript】
{ 0: T }という型は「0番目の要素がT型であり、必ず存在する」ことを表します。 配列はオブジェクトでも... { 0: T }という型は「0番目の要素がT型であり、必ず存在する」ことを表します。 配列はオブジェクトでもあり、オブジェクトのプロパティ名に数値も使えるというTypeScriptの言語仕様を巧みに活かした型定義です。 しかしこの型定義ではスプレッド構文を使うと「空でない」という情報が型から消えてしまいます。 例えば次のように配列のシャローコピーを作ると型から{ 0: T }の部分が消えます。 type NonEmptyArray<T> = T[] & { 0: T } // ↓string[]型になる😥 NonEmptyArray<string>型にはならない type Spreaded = [...NonEmptyArray<string>] const array: NonEmptyArray<string> = ['a', 'b'] // ↓型エラーになってしまう😥 [...a
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
2023/08/02 リンク