Type-level TypeScript - ryota-ka's blog
この記事は以下のページに移転しました． blog.ryota-ka.me この記事は CAMPHOR- Advent Calendar 2017 の21日目の記事です． @ryota-ka です．普段は HERP という会社でリードエンジニアとして働いています．一昨日19日にサービスのティザーサイトを公開したばかりなので見てください． herp.cloud さて，12月といえば，万人受けしなさそうなネタでブログを書いては「はてブが付かねえ」と文句を言う季節ですが，今年もそういう方針で，TypeScript での型レベル計算について書きます．型レベルでの自然数などが定義できると，リストに型レベルで長さを付けることができて，空リストの先頭の要素を取ろうとしてランタイムで落ちる，という悲劇が生じる可能性をコンパイル時に排除できてとても嬉しいですね． なお，使用している TypeScript のバ
TypeScriptの行く先 - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? どうもこんにちはわかめです。 この記事はTypeScript Advent Calendarの1日目の記事です。 なお、Advent Calendarはまだ6日ほど空きがあるので皆様よくわからないことを調べてみた！とか日々の生活で発見した小ネタとか読み応えのある超大作とかなんかで参加してください！よろしくお願いします！ 初日というところで感動的な記事を書きたいところですが、11月末〆切の冬コミの原稿をｶﾞﾘｶﾞﾘ書いてたらSAN値までｶﾞﾘｶﾞﾘ行っちまって不定の狂気寸前でございます。さくさく書きましょう。 さて、今日は何故TypeSc
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
