search

waneck / testrepo

0 stars 0 forks source link

Issue 1833 - feature request with solution: declaration-site variance and use-site variance - haxe #1833

Open waneck opened 11 years ago

waneck commented 11 years ago

[Google Issue #1833 : http://code.google.com/haxe/issues/detail?id=1833] by julopez....@gmail.com, at 2013-05-20T15:16:14.000Z

I found an interesting paper that describe the calculus to combine in a single type system the mechanisms of use-site variance (as in Java) and definition-site variance (as in Scala and C#).

please take a look, it's very interesting. http://people.cs.umass.edu/~jaltidor/varj_ecoop12.pdf

I work a lot with parameterized type on java and C# and i'm a bit disapointed (frustrated) about parametric polymorphism in Haxe. Doc said that current invariance constraint might evoluate in futur, i will be very happy about this kind of feature. I think this feature should be a big advantage compared to other modern langages like scala, ceylon (i love its type system type-union, type-intersection...), kotlin (very close to haxe syntax http://kotlin.jetbrains.org/) C#...

hope it helps ! Thanks a lot for all your hard work.

J.

waneck commented 11 years ago

[comment from si...@haxe.org, published at 2013-05-23T10:22:54.000Z]