.@alg_d さんの「Haskell における依存型プログラミングと証明の記述を用いた実用的なプログラミングって何」をお気に入りにしました。

shi3z のブックマーク 2014/02/25 11:11

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/183886534/comment/shi3z" data-user-id="shi3z" data-entry-url="https://b.hatena.ne.jp/entry/s/togetter.com/li/634200" data-original-href="https://togetter.com/li/634200" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Ftogetter.com%2Fli%2F634200" data-user-icon="/users/shi3z/profile.png">Haskell における依存型プログラミングと証明の記述を用いた実用的なプログラミングって何</a><br><p style="clear: left">.<a href="https://twitter.com/alg_d" target="_blank" rel="noopener nofollow">@alg_d</a> さんの「Haskell における依存型プログラミングと証明の記述を用いた実用的なプログラミングって何」をお気に入りにしました。</p><a class="datetime" href="https://b.hatena.ne.jp/shi3z/20140225#bookmark-183886534"><span class="datetime-body">2014/02/25 11:11</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

Haskell における依存型プログラミングと証明の記述を用いた実用的なプログラミングって何

togetter.com2014/02/24

スマートコン @mr_konn Haskell における依存型プログラミングでは、大抵の場合安全性の"証明"として依存型を用いる場合が多いから、ひとたび証明が出来てしまえば、その証明に対応する実行時計算は無駄なんだよ...

70 人がブックマーク・11 件のコメント

他のコメントを読む

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

はてなブックマーク

Haskell における依存型プログラミングと証明の記述を用いた実用的なプログラミングって何

はてなブックマーク

公式Twitter

はてなのサービス