最近型理論系の話題があんまり上がらなくなってた所に、久々にまとめとして来た感。話題が一周しだした。

考え方

zyzy のブックマーク 2020/02/20 13:35

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4681685335661596610/comment/zyzy" data-user-id="zyzy" 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/zyzy/profile.png">なぜ型ファーストで考えるのか - 貳佰伍拾陸夜日記</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E8%80%83%E3%81%88%E6%96%B9">考え方</a>]</li></ul><br><p style="clear: left">最近型理論系の話題があんまり上がらなくなってた所に、久々にまとめとして来た感。話題が一周しだした。</p><a class="datetime" href="https://b.hatena.ne.jp/zyzy/20200220#bookmark-4681685335661596610"><span class="datetime-body">2020/02/20 13:35</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

はてなのサービス