From mboxrd@z Thu Jan 1 00:00:00 1970 From: Juan Quintela Subject: Re: KVM call minutes for November 29 Date: Wed, 30 Nov 2011 02:18:35 +0100 Message-ID: <87y5uymmqc.fsf@trasno.mitica> References: <8762i3nczx.fsf@trasno.mitica> <4ED50F7C.2040903@redhat.com> Reply-To: quintela@redhat.com Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Cc: Avi Kivity , Developers qemu-devel , KVM devel mailing list To: Markus Armbruster Return-path: Received: from mx1.redhat.com ([209.132.183.28]:14881 "EHLO mx1.redhat.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1757097Ab1K3BSj (ORCPT ); Tue, 29 Nov 2011 20:18:39 -0500 In-Reply-To: (Markus Armbruster's message of "Tue, 29 Nov 2011 20:10:26 +0100") Sender: kvm-owner@vger.kernel.org List-ID: Markus Armbruster wrote: > Avi Kivity 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. ocaml (Standard ML is a big monster) is not inmature. But depending on how much we want to implement on it, its integral types are not very good. - no unsigned types - signed types are 31 and 63 bits wide, sniff. And its object system is ...... bizarre? On the other side, inference is quite understable, and its type inference works pretty well. And doing stubs with * is tedious, but not difficult at all. Later, Juan.