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

knjnameknjname のブックマーク 2017/12/22 09:59

その他

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

Type-level TypeScript - ryota-ka's blog

    この記事は以下のページに移転しました. blog.ryota-ka.me この記事は CAMPHOR- Advent Calendar 2017 の21日目の記事です. @ryota-ka です.普段は HERP という会社でリードエンジニアとして働いています.一...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう