「型システム入門」の先へ：TypeScriptの型システムのいくつかの側面 | 雑記帳

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

blog.miz-ar.info

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

コメント

3

記事へのコメント3件

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

manaten TypeScriptはこの辺の難しい理論をベースにしてはいるけど、チームに一人ある程度わかっている人が一人いれば使えてしまうほどの気軽さがセットになってるのがウリだよなと思う

2023/12/08 リンク

theatrical https://wiki.haskell.org/Research_papers/Type_systems Haskellだけどtype systemの論文リンク集

2023/12/08 リンク

so-apps 便利にしようとするのはいいが、あまり難しくなると使えなくなってしまう。ガチ勢にはいい落とし所を探ってほしい。

programming

2023/12/08 リンク

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

規約違反を報告

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

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

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

アプリをダウンロード

関連記事

「型システム入門」の先へ：TypeScriptの型システムのいくつかの側面 | 雑記帳

この記事は TypeScript Advent Calendar 2023 の8日目の記事です。言語実装勢にも役立つ内容を含んでい... この記事は TypeScript Advent Calendar 2023 の8日目の記事です。言語実装勢にも役立つ内容を含んでいるかもしれないので、言語実装 Advent Calendar 2023 にも登録しています。 TypeScriptで型システムに興味を持った人が「型システム入門」を読んだという話を時々聞きます。「型システム入門」は、Types and Programming Languages (TAPL) という本の邦訳で、型システムに興味を持った人が読むのは自然なことです。型システム入門プログラミング言語と型の理論 | Ohmsha 型システム入門サポートページですが、この本の原著は2002年出版で、最近の話題がカバーされていなかったり、邦題に「入門」とあるように発展的な話題は扱っていなかったりします。一応続編的な感じのAdvanced Topics in Typ

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

tomato37132024/01/15
knj29182023/12/27
t_ashula2023/12/20
deep_one2023/12/11
toshi-toma2023/12/09
isudzumi2023/12/09
ishiduca2023/12/09
winterfall2023/12/09
mstk_knife2023/12/09
yug12242023/12/09
UKIBORI2023/12/09
for-my-internet-demo2023/12/09
lEDfm4UE2023/12/09
momonga_dash2023/12/09
tet002023/12/09
cu392023/12/09
locke-0092023/12/08
kamada-math2023/12/08 $kamada-math$

同じサイトの新着

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

いま人気の記事

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

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

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

新着記事 - テクノロジー

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

設定を変更しましたx