エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Type-level TypeScript
この記事は CAMPHOR- Advent Calendar 2017 の21日目の記事です. 12月といえば,万人受けしなさそうな... この記事は CAMPHOR- Advent Calendar 2017 の21日目の記事です. 12月といえば,万人受けしなさそうなネタでブログを書いては「はてブが付かねえ」と文句を言う季節だが,今年もそういう方針で,TypeScript での型レヴェル計算について書く.型レヴェルでの自然数などが定義できると,リストに型レヴェルで長さを付けることができて,空リストの先頭の要素を取ろうとしてランタイムで落ちる,という悲劇が生じる可能性をコンパイル時に排除できてとても嬉しい*1. なお,使用している TypeScript のヴァージョンは,少し古くて 2.4.1 である.これは,手元でたまたま 2.6 系のプロジェクトと 2.4 系のプロジェクトがあったのだが,2.6 系だと型推論が停止しない (tsc が "Maximum call stack size exceeded" で死ぬ) ことに