On 11/29/2011 09:10 PM, Markus Armbruster wrote: > Avi Kivity <avi@xxxxxxxxxx> writes: > > > On 11/29/2011 05:51 PM, Juan Quintela wrote: > >> How to do high level stuff? > >> - python? > >> > > > > One of the disadvantages of the various scripting languages is the lack > > of static type checking, which makes it harder to do full sweeps of the > > source for API changes, relying on the compiler to catch type (or other) > > errors. > > > > On the other hand, the statically typed languages usually have more > > boilerplate. Since one of the goals is to simplify things, this > > indicates the need for a language with type inference. > > > > On the third hand, languages with type inferences are still immature > > (golang?), so we probably need to keep this discussion going until an > > obvious choice presents itself. > > I wouldn't call ML immature. But I wouldn't call it a scripting > language, either. It was just off the radar for me. We should consider it, by all means. -- error compiling committee.c: too many arguments to function -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html