- 動的言語で大規模開発
700 ：デフォルトの名無しさん[sage]：2014/12/04(木) 02:09:44.10 ID:8pz5p6Zv - したら良いんじゃない？
できない言語を使ってるの？
|
- 動的言語で大規模開発
709 ：デフォルトの名無しさん[sage]：2014/12/04(木) 21:47:04.11 ID:8pz5p6Zv - >>708
この論文は読んだ上で言ってるの？
あ、Martin OderskyはScalaの作者ね
http://ropas.snu.ac.kr/~bruno/papers/TypeClasses.pdf
|
- 動的言語で大規模開発
713 ：デフォルトの名無しさん[sage]：2014/12/04(木) 22:05:12.01 ID:8pz5p6Zv - >>712
最初の方だけでも読んでみようとは思わないの？
> This paper presents a lightweight approach to type classes in object-oriented (OO) languages
> with generics using CONCEPT pattern and implicits (a type-directed implicit parameter passing mechanism).
> This paper also shows how Scala's type system conspires with implicits to enable, and even surpass,
> many common extensions of the Haskell type class system, making Scala ideally suited for generic programming in the large.
|
- 動的言語で大規模開発
716 ：デフォルトの名無しさん[sage]：2014/12/04(木) 22:20:18.91 ID:8pz5p6Zv - >>715
どこにって、implicitを使うために中で何度でも出てくるよ？
|
- 動的言語で大規模開発
717 ：デフォルトの名無しさん[sage]：2014/12/04(木) 22:24:26.97 ID:8pz5p6Zv - こういう研究の流れを受けてか、後発のRustのtraitは
最初からHaskellのType Classそっくりになっているんですってよ
|
- 動的言語で大規模開発
721 ：デフォルトの名無しさん[sage]：2014/12/04(木) 22:52:15.50 ID:8pz5p6Zv - >>718
> The trait Ord[T] is an example of a concept interface.
> Concept interfaces for the type classes Show and Read presented in Section 2.1 are:
|
- 動的言語で大規模開発
724 ：デフォルトの名無しさん[sage]：2014/12/04(木) 23:11:32.11 ID:8pz5p6Zv - >>723
ついに反論しきれなくなって、traitとtype classは無関係から
そのものでは無いまで意見が後退しちゃったねw
自分もtype classそのものなんて一度も言ってないので、もうそれで良いよ
|