サクサク読めて、アプリ限定の機能も多数!
"There is no need for a separate formal model because the code is already written as a bunch of formal equations."
tsimo のブックマーク 2016/06/26 15:16
Haskell for all: Equational reasoning"There is no need for a separate formal model because the code is already written as a bunch of formal equations."2016/06/26 15:16
"There is no need for a separate formal model because the code is already written as a bunch of formal equations."
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.haskellforall.com2013/12/26
You may have heard that Haskell is "great for equational reasoning", but perhaps you didn't know precisely what that meant. This post will walk through an intermediate example of equational reasoni...
6 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /
"There is no need for a separate formal model because the code is already written as a bunch of formal equations."
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Haskell for all: Equational reasoning
You may have heard that Haskell is "great for equational reasoning", but perhaps you didn't know precisely what that meant. This post will walk through an intermediate example of equational reasoni...
6 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /