Type-level TypeScript - ryota-ka's blog

テクノロジーカテゴリーの変更を依頼記事元:

ryota-ka.hatenablog.com

44 usersがブックマークコメント

コメント

8

記事へのコメント8件

注目コメント
新着コメント

efcl 型定義で型定義

TypeScript

2017/12/25 リンク

knjname 証明系のようにTypeScriptの型で自然数と演算やらを作っていく。面白い。

2017/12/22 リンク

mod_poppo TypeScriptのバージョンによって型レベル計算の挙動が違うの、自分もハマったなあ（解決せず）

2017/12/21 リンク

masawada 良い

2017/12/21 リンク

todesking Type-level TypeScript - ryota-ka's blog

2017/12/21 リンク

morishin127 拝読しました🙏

2017/12/21 リンク

Shtr28 Coq で Software Foundations やったの思い出した

2017/12/21 リンク

lotz84 “TypeScript での型レベル計算について書きます．”

2017/12/21 リンク

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

Type-level TypeScript - ryota-ka's blog

この記事は以下のページに移転しました． blog.ryota-ka.me この記事は CAMPHOR- Advent Calendar 2017 ... この記事は以下のページに移転しました． blog.ryota-ka.me この記事は CAMPHOR- Advent Calendar 2017 の21日目の記事です． @ryota-ka です．普段は HERP という会社でリードエンジニアとして働いています．一昨日19日にサービスのティザーサイトを公開したばかりなので見てください． herp.cloud さて，12月といえば，万人受けしなさそうなネタでブログを書いては「はてブが付かねえ」と文句を言う季節ですが，今年もそういう方針で，TypeScript での型レベル計算について書きます．型レベルでの自然数などが定義できると，リストに型レベルで長さを付けることができて，空リストの先頭の要素を取ろうとしてランタイムで落ちる，という悲劇が生じる可能性をコンパイル時に排除できてとても嬉しいですね．なお，使用している TypeScript のバ

ブックマークしたユーザー

lm0x2020/05/21
tjmtmmnk2020/05/13
kamocyc2020/02/02
subak2019/12/05
minony2019/02/25
tf65332019/02/13
emonkak2018/03/24
efcl2017/12/25
uchidaryo182017/12/22
k-pippi2017/12/22
vvakame2017/12/22
kyo_ago2017/12/22
dai_hi_saru2017/12/22
ggkuron2017/12/22
knjname2017/12/22
tanishiking242017/12/22
Hiro_Matsuno2017/12/21
amagitakayosi2017/12/21

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

設定を変更しましたx