“型ファーストが重要な理由をつきつめていくと, Curry-Howard同型対応があるからだなぁという結論に至った”

mukaken のブックマーク 2020/02/18 18:05

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4681685335661596610/comment/mukaken" data-user-id="mukaken" data-entry-url="https://b.hatena.ne.jp/entry/s/tarao.hatenablog.com/entry/type-first" data-original-href="https://tarao.hatenablog.com/entry/type-first" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Ftarao.hatenablog.com%2Fentry%2Ftype-first" data-user-icon="/users/mukaken/profile.png">なぜ型ファーストで考えるのか - 貳佰伍拾陸夜日記</a><br><p style="clear: left">“型ファーストが重要な理由をつきつめていくと, Curry-Howard同型対応があるからだなぁという結論に至った”</p><a class="datetime" href="https://b.hatena.ne.jp/mukaken/20200218#bookmark-4681685335661596610"><span class="datetime-body">2020/02/18 18:05</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

なぜ型ファーストで考えるのか - 貳佰伍拾陸夜日記

tarao.hatenablog.com2020/02/18

How do you imagine a building? You consciously create each aspect, puzzling over it in stages. Inception 型なし言語に馴染みはあるものの型付言語をいざ使ってみたらどういう気持ちで書いたらいいのかわか...

472 人がブックマーク・37 件のコメント

他のコメントを読む

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

はてなブックマーク

なぜ型ファーストで考えるのか - 貳佰伍拾陸夜日記

はてなブックマーク

公式Twitter

はてなのサービス