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=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 1FA2DBC6B for ; Fri, 11 Jan 2008 13:39:31 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAADLyhkdVWvwbnmdsb2JhbACBVo5IAQEBAQcEBimBFJhE X-IronPort-AV: E=Sophos;i="4.24,271,1196636400"; d="scan'208";a="5939846" Received: from mx-out-manc2.simplymailsolutions.com (HELO mx-out-manc1.simplymailsolutions.com) ([85.90.252.27]) by mail2-smtp-roc.national.inria.fr with ESMTP; 11 Jan 2008 13:39:30 +0100 Received: from [10.1.10.3] (helo=unx-s-manc3.ifeltd.com) by mx-out-manc1.simplymailsolutions.com with esmtp (Exim 4.63) (envelope-from ) id 1JDJAY-0006jN-55 for caml-list@yquem.inria.fr; Fri, 11 Jan 2008 12:39:30 +0000 Received: from localhost (localhost.localdomain [127.0.0.1]) by unx-s-manc3.ifeltd.com (Postfix) with ESMTP id 18548CCC00C for ; Fri, 11 Jan 2008 12:39:30 +0000 (GMT) Received: from unx-s-manc3.ifeltd.com ([127.0.0.1]) by localhost (unx-s-manc3.ifeltd.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id ObftXtbLTijQ for ; Fri, 11 Jan 2008 12:39:29 +0000 (GMT) Received: from gilescpc.local (88-96-27-150.dsl.zen.co.uk [88.96.27.150]) by unx-s-manc3.ifeltd.com (Postfix) with ESMTP id 6D4F0CCC012 for ; Fri, 11 Jan 2008 12:39:29 +0000 (GMT) From: Giles Constant Organization: Approximate To: caml-list@yquem.inria.fr Subject: Why is ocaml so big? Date: Fri, 11 Jan 2008 12:39:05 +0000 User-Agent: KMail/1.9.6 (enterprise 0.20070907.709405) MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200801111239.05507.giles@spacepigs.com> X-Spam: no; 0.00; ocaml:01 ocaml:01 ocamlopt:01 hiya:98 hobby:98 garbage:01 compiled:04 linux:07 alas:07 written:07 demos:08 i'm:09 i'm:09 guessing:09 constant:11 Hiya, I'm gradually falling in love with Ocaml, but my main hobby is writing demos, mainly in the 64k category. Ocaml is a great way of writing small code, alas it comes with a zonking great lump of baggage :-) "Hello world" written in ocaml and compiled with ocamlopt is 81K on my 32 bit linux box, which instantly rules it out. (running it through upx packer, it comes out at 37k, which is still too high). Are there any options which can strip this down to the bare minimum? I'm guessing that much of the code in there is part of the garbage collection code, in which case, I'll have to give up, but it would be nice to use ocaml :-) Thanks, Giles