From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.3 required=5.0 tests=SPF_FAIL autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 9107EBC69 for ; Mon, 14 Jan 2008 03:04:26 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAK5RikfAXQInh2dsb2JhbACQCgEBAQgKKZYT X-IronPort-AV: E=Sophos;i="4.24,279,1196636400"; d="scan'208";a="6606368" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 14 Jan 2008 03:04:26 +0100 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m0E24P7c026183 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 14 Jan 2008 03:04:26 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAK5RikdQW+UCh2dsb2JhbACQCgEBAQgKKZYT X-IronPort-AV: E=Sophos;i="4.24,279,1196636400"; d="scan'208";a="6606366" Received: from main.gmane.org (HELO ciao.gmane.org) ([80.91.229.2]) by mail1-smtp-roc.national.inria.fr with ESMTP; 14 Jan 2008 03:04:25 +0100 Received: from list by ciao.gmane.org with local (Exim 4.43) id 1JEEgV-0005KN-2M for caml-list@inria.fr; Mon, 14 Jan 2008 02:04:19 +0000 Received: from 206-248-165-105.dsl.teksavvy.com ([206.248.165.105]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 14 Jan 2008 02:04:19 +0000 Received: from monnier by 206-248-165-105.dsl.teksavvy.com with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 14 Jan 2008 02:04:19 +0000 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Stefan Monnier Subject: Re: Why is ocaml so big? Date: Sun, 13 Jan 2008 21:04:11 -0500 Message-ID: References: <200801111239.05507.giles@spacepigs.com> <4a708d20801111232o4a67fd78s46a765b0db1ba453@mail.gmail.com> <151970AC-218A-40F1-8963-51A30ED76F94@gmail.com> <4a708d20801130330w3e1d7720t5a8fa24b9591cbd1@mail.gmail.com> <4b5157c30801130346q2b333c77xdad0034a60160490@mail.gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: 206-248-165-105.dsl.teksavvy.com User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.0.50 (gnu/linux) Cancel-Lock: sha1:kAQa/XlQsXSaiDVOMaqUaHl3EYU= Sender: news X-Miltered: at concorde with ID 478AC329.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 pervasives:01 ocaml:01 tailored:98 define:02 compiling:02 depends:04 shared:06 interpreters:09 reasonably:09 compact:09 libraries:11 think:13 version:13 question:13 >> You need to write your own tailored version of "Pervasives". > A simple question: is OCaml the right tool for a 64K demo? I don't think so... Depends on how you define "64KB" (especially, how do you count shared libraries and interpreters). Compiling with the byte-compiler should result in reasonably compact code. Stefan