サクサク読めて、アプリ限定の機能も多数!
駄目だ、何言ってんのかさっぱり分からん…。
joker1007 のブックマーク 2014/02/25 15:33
Haskell における依存型プログラミングと証明の記述を用いた実用的なプログラミングって何[haskell]駄目だ、何言ってんのかさっぱり分からん…。2014/02/25 15:33
このブックマークにはスターがありません。 最初のスターをつけてみよう!
togetter.com2014/02/24
スマートコン @mr_konn Haskell における依存型プログラミングでは、大抵の場合安全性の"証明"として依存型を用いる場合が多いから、ひとたび証明が出来てしまえば、その証明に対応する実行時計算は無駄なんだよ...
70 人がブックマーク・11 件のコメント
\ コメントが サクサク読める アプリです /
駄目だ、何言ってんのかさっぱり分からん…。
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Haskell における依存型プログラミングと証明の記述を用いた実用的なプログラミングって何
スマートコン @mr_konn Haskell における依存型プログラミングでは、大抵の場合安全性の"証明"として依存型を用いる場合が多いから、ひとたび証明が出来てしまえば、その証明に対応する実行時計算は無駄なんだよ...
70 人がブックマーク・11 件のコメント
\ コメントが サクサク読める アプリです /