Daisuke NISHITANI @cho_tekitou
Aichi Japan Interesting:Haskell,OCaml,Coq
-
Haskell における依存型プログラミングと証明の記述を用いた実用的なプログラミングって何
20851pv 151 73 users 10 -
Coq'Art読書会 #0 #readcoqart まとめ
1467pv 8 1 user -
Parallel and Concurrent Programming in Haskell 読書会 第1回
3196pv 9 2 users
-
Operational Monad
5673pv 15 17 users -
ekmett勉強会 #ekmett_conf
11711pv 24 7 users 4 -
Haskell beats C
5618pv 22 10 users 2 -
PPL2013
4728pv 13 -
Monad クラスと Functor クラスや Applicative クラスの間に階層関係がないのは、本当に「歴史..
5639pv 24 3 users -
ScalazとHaskellの比較記事というか疑問点をいっぱい書いたら、shelarcyさんにいっぱい教えてもらったよ!
7214pv 27 19 users 2 -
#readghc 第一回
2268pv 6 2 users 3 -
Haskellで速くて良いプログラムを書く
4222pv 2 1 user -
Haskellのgeneric deriving
3202pv 6 1 user -
Haskellに関する@tanakh氏の発言
3356pv 7 1 user -
HaskellのSTMとトランザクション分離レベル
7856pv 14 9 users 1 -
分散KVS上でのトランザクションについて@stakezakiさんとお話
7652pv 26 14 users 4 -
Haskell Day 2012
8851pv 28 1 user -
第一回関数型言語勉強会 大阪 まとめ #fpstudy
7518pv 30 5 users 3 -
Shonan Meeting (05/19--22)
2379pv 13 2 users -
最強のIT系かあちゃんからたかしへのアドバイス
438317pv 5221 1889 users 3343 -
Start SML#
3636pv 15 -
GHC 以外の処理系での IO 型/IO モナドの実装
5396pv 23 7 users 1 -
Haskell で可変長引数を扱う方法
10503pv 35 11 users 1 -
Haskellでいつもimportしてるモジュールを聞いてみた
2347pv 8 2 users -
Lock-freeデータ構造で使用されるABA避けカウンタについて
6262pv 17 3 users 1 -
言語のJITコンパイラをその言語自身で作る事の意義とは
13140pv 137 47 users 8