型クラスに関するここ数日の議論
ここ数日で型クラスに関する議論が何故かもりあがっていたので、一通りひろってまとめてみました。型クラスというお題で色々なところで議論が同時多発していた感じなので、全体の流れとかはあまりないです。
ABAB↑↓BA
@ababupdownba
@cryphy_sys scalaの話になってしまいますが 型クラスの制御はimplicit class(もしくはそれに準ずるもの)をimportすることで出来ます importタイミングは自由なので、スコープをなるべく狭めたりすることで事故は防げますし 複数importがある場合はコンパイラが止めます
2017-05-24 10:00:27
誰か僕の右股関節と性根を何とかしてください
@kamekoopa
型クラスに限らず壁のムーブでもヨーヨーでも何でもそうだけど、誰が何でしっくり来てもいいけど自分のしっくりと他人のしっくりが同じだと思わないことと、そして自分のしっくりこそが正しいと思わないことですよ。
2017-05-24 10:01:20
phenan
@phenan
うーむ、間違ってないけど... 自分なら(型クラスを知らなかったとして)vtableの静的バージョンを作れって言われても、Haskellの型クラスを実装はできない気がする。 twitter.com/oarat/status/8…
2017-05-24 11:42:44
INA Lintaro
@oarat
型クラスどういうふうに盛り上がってるのかよくわかってないけど、個人的にはECOOP 2009でSimon Peyton Jonesのtalkを聞いたときに、vtableの静的バージョンとおもうとしっくりくるなぁ、とおもったのでした。
2017-05-24 08:51:42
KOIZUKA, Akihiko
@koizuka
reading 型クラスの真の力を見せる - kmizuの日記 kmizu.hatenablog.com/entry/2017/05/…
2017-05-24 13:00:22
h_sakurai
@h_sakurai
今はCを教えるしかないよなと思うので代わりの言語を作ってこれといいたいけど、型クラスとか証明とかも視野に入れたくて泥沼w
2017-05-24 13:07:28
エヌユル
@ncaq
OCamlとHaskellの違いとして副作用の型区別の有無と評価戦略ばかり語られるけど,私的には評価戦略よりは型クラスの有無がきつい 最近開発されてるらしいけど
2017-05-24 14:19:41