よくある間違いその1 がすごい直感的だと思ったけど、スプレッド構文と合わさると穴があるのかぁ。型パズルとしては楽しいけど、要素数は型レベルじゃなくてランタイムでちゃんと検査しようなってなりそう。

shingo-sasaki-0529 のブックマーク 2023/08/05 16:09

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4740151273394826287/comment/shingo-sasaki-0529" data-user-id="shingo-sasaki-0529" data-entry-url="https://b.hatena.ne.jp/entry/s/zenn.dev/chot/articles/321f58dfa01339" data-original-href="https://zenn.dev/chot/articles/321f58dfa01339" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fzenn.dev%2Fchot%2Farticles%2F321f58dfa01339" data-user-icon="/users/shingo-sasaki-0529/profile.png">空でない配列を型で表現する正しい方法【TypeScript】</a><br><p style="clear: left">よくある間違いその1 がすごい直感的だと思ったけど、スプレッド構文と合わさると穴があるのかぁ。  型パズルとしては楽しいけど、要素数は型レベルじゃなくてランタイムでちゃんと検査しようなってなりそう。</p><a class="datetime" href="https://b.hatena.ne.jp/shingo-sasaki-0529/20230805#bookmark-4740151273394826287"><span class="datetime-body">2023/08/05 16:09</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

空でない配列を型で表現する正しい方法【TypeScript】

zenn.dev/chot2023/08/01

TypeScriptでは配列が空でないことを型レベルで表現できます。この記事ではその型をNonEmptyArray<T>と書くことにします。結論だけ先に書くと、次のように定義するのが正しいです。 export type NonEmptyArray<...

143 人がブックマーク・20 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

空でない配列を型で表現する正しい方法【TypeScript】

はてなブックマーク

公式Twitter

はてなのサービス