From mboxrd@z Thu Jan 1 00:00:00 1970 From: Avi Kivity Subject: Re: KVM call minutes for November 29 Date: Tue, 29 Nov 2011 18:59:40 +0200 Message-ID: <4ED50F7C.2040903@redhat.com> References: <8762i3nczx.fsf@trasno.mitica> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Cc: Developers qemu-devel , KVM devel mailing list To: quintela@redhat.com Return-path: In-Reply-To: <8762i3nczx.fsf@trasno.mitica> List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: qemu-devel-bounces+gceq-qemu-devel=gmane.org@nongnu.org Sender: qemu-devel-bounces+gceq-qemu-devel=gmane.org@nongnu.org List-Id: kvm.vger.kernel.org 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. -- error compiling committee.c: too many arguments to function From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([140.186.70.92]:37361) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RVR27-0007oF-HS for qemu-devel@nongnu.org; Tue, 29 Nov 2011 11:59:52 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RVR1z-0001xw-F6 for qemu-devel@nongnu.org; Tue, 29 Nov 2011 11:59:51 -0500 Received: from mx1.redhat.com ([209.132.183.28]:58917) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RVR1z-0001xo-86 for qemu-devel@nongnu.org; Tue, 29 Nov 2011 11:59:43 -0500 Message-ID: <4ED50F7C.2040903@redhat.com> Date: Tue, 29 Nov 2011 18:59:40 +0200 From: Avi Kivity MIME-Version: 1.0 References: <8762i3nczx.fsf@trasno.mitica> In-Reply-To: <8762i3nczx.fsf@trasno.mitica> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Subject: Re: [Qemu-devel] KVM call minutes for November 29 List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: quintela@redhat.com Cc: Developers qemu-devel , KVM devel mailing list 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. -- error compiling committee.c: too many arguments to function