シャミノ @syamino
●プログラミング言語のことしか考えていない●形式手法,プログラム合成,プログラム変換,圏論,計算モデル,宣言型プログラミング,高階論理プログラミング●セプキャン2011プログラミング言語クラス参加者
-
iso- と equi- と OCaml の再帰型
5114pv 19 5 users -
.@ksknac氏によるPOPLまとめ
2943pv 10 2 users -
Java による高階型変数と Scala とジェネリクス
9647pv 88 45 users
-
真夜中の並行処理トーク
4616pv 33 21 users -
pokarim さんによる Arrow 講座的な何か
1616pv 2 users -
型とクラスと集合と
4804pv 23 7 users -
オブジェクト指向ってなんだっけ?
5937pv 14 7 users -
継承は害悪か。
18015pv 59 37 users -
関数型プログラミングと論理型プログラミングのハッカソン
3232pv 7 -
「属性」と「関係」
3691pv 30 5 users -
関数型言語がなぜ流行らないのか
22002pv 56 22 users 2 -
型について
2064pv -
プログラマが今よりも楽をしてお金を稼ぐには
6869pv 44 14 users 1 -
variantという単語から派生した色々な単語の整理
3886pv 17 6 users 1 -
関数型言語でのデザイン手法
31932pv 102 110 users 10 -
クラスについて。
1412pv -
言語内 DSL を考える。
8087pv 36 40 users -
これからは、何かに特化したプログラミング言語が求められる?
3939pv 1 3 users -
ソフトウェア開発にテストは必要か?テストの代わりになるものは無いのか?
5460pv 53 7 users -
アノテーションを使った型の表現
2928pv -
全てにおいて文字列頼りのプログラミングってどうなの? 他に方法は無いの?
4628pv 25 3 users -
プログラミング言語の進化, 開発環境の進化
6521pv 32 18 users