サクサク読めて、アプリ限定の機能も多数!
Agdaチュートリアルが始まるのかと思ったがHaskell
ruicc のブックマーク 2016/10/20 01:13
実世界を扱う依存型プログラミングのたぶん基本~外界から安全な世界までの道 - ぼくのぬまち 出張版Agdaチュートリアルが始まるのかと思ったがHaskell2016/10/20 01:13
このブックマークにはスターがありません。 最初のスターをつけてみよう!
notogawa.hatenablog.com2016/10/20
依存型ならさらに安全にプログラミングできちまうんだ!と言ったところで,「無料で遊べちまうんだ!」とか「3000円払えば無料で10連まわせる」みたいな感があり, 依存型使わない場合とどう違ってくるのか 入出...
62 人がブックマーク・9 件のコメント
\ コメントが サクサク読める アプリです /
Agdaチュートリアルが始まるのかと思ったがHaskell
ruicc のブックマーク 2016/10/20 01:13
このブックマークにはスターがありません。
最初のスターをつけてみよう!
実世界を扱う依存型プログラミングのたぶん基本~外界から安全な世界までの道 - ぼくのぬまち 出張版
notogawa.hatenablog.com2016/10/20
依存型ならさらに安全にプログラミングできちまうんだ!と言ったところで,「無料で遊べちまうんだ!」とか「3000円払えば無料で10連まわせる」みたいな感があり, 依存型使わない場合とどう違ってくるのか 入出...
62 人がブックマーク・9 件のコメント
\ コメントが サクサク読める アプリです /