A look at two new languages: Vala and Clojure
Posted Jun 4, 2009 14:11 UTC (Thu) by walters
In reply to: A look at two new languages: Vala and Clojure
Parent article: A look at two new languages: Vala and Clojure
Type inference is possible with OO languages. Ironically recent versions of C# have a rather pathetic form of type inference.
Sure (and what is ironic about it?), but what I am claiming it that it's not overly useful
in a heavily imperative/OO context, given that C++/Java/C# programmers have gone many years without it. Eclipse does a good enough job at filling out generics right now for me.
Unfortunately all of this research seems to have passed over the heads of the developers of Vala.
You missed by point that garbage collection would have been incompatible with a key Vala design goal. It didn't "pass over their head".
We can't use GC in the lower level components of the GNOME stack because then if you wanted to use a higher level language (like OCaml!) on them, you'd have two different garbage collectors in the same process which is a recipe for disaster.
design contracts, modularity, strong typing, phantom types, test-driven development.
Vala definitely has modularity and strong typing. I'd argue test-driven development is not a language feature but a cultural feature. I'm not familiar with phantom types.
Anyways, you seem to be essentially saying that because Vala isn't OCaml it must be broken, when there are actual engineering tradeoffs that you're not recognizing.
to post comments)