jooohn のブックマーク / はてなブックマーク

jooohn のブックマーク 2023/04/07 21:14

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4734125745301855684/comment/jooohn" data-user-id="jooohn" data-entry-url="https://b.hatena.ne.jp/entry/s/susisu.hatenablog.com/entry/2023/03/24/232428" data-original-href="https://susisu.hatenablog.com/entry/2023/03/24/232428" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fsusisu.hatenablog.com%2Fentry%2F2023%2F03%2F24%2F232428" data-user-icon="/users/jooohn/profile.png">TypeScript 型レベル関数型プログラミング in 2023 - Object.create(null)</a><br><p style="clear: left"></p><a class="datetime" href="https://b.hatena.ne.jp/jooohn/20230407#bookmark-4734125745301855684"><span class="datetime-body">2023/04/07 21:14</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

TypeScript 型レベル関数型プログラミング in 2023 - Object.create(null)

susisu.hatenablog.com2023/03/24

ちょっと前に話題になった hotscript の技法の紹介やら, ラムダ計算を TypeScript の型にコンパイルする話やらなんやら. 通常の型レベル関数 TypeScript の型エイリアスはパラメータを取れるので, これは型レベル...

134 人がブックマーク・8 件のコメント

他のコメントを読む

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

はてなブックマーク

TypeScript 型レベル関数型プログラミング in 2023 - Object.create(null)

はてなブックマーク

公式Twitter

はてなのサービス