From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <alexander.a.danilov@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: **
X-Spam-Status: No, score=2.8 required=5.0 tests=DNS_FROM_RFC_POST,SPF_NEUTRAL 
	autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id E192FBC37
	for <caml-list@yquem.inria.fr>; Wed, 19 Aug 2009 14:43:35 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgwCAKuQi0rRVcbokmdsb2JhbACaTj8BAQEBCQsKBxGoPYEjkVIBAwIEhBYFgU5e
X-IronPort-AV: E=Sophos;i="4.43,408,1246831200"; 
   d="scan'208";a="44836476"
Received: from rv-out-0506.google.com ([209.85.198.232])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 19 Aug 2009 14:43:35 +0200
Received: by rv-out-0506.google.com with SMTP id l9so1128132rvb.3
        for <caml-list@yquem.inria.fr>; Wed, 19 Aug 2009 05:43:33 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:message-id:date:from
         :user-agent:mime-version:to:subject:references:in-reply-to
         :content-type:content-transfer-encoding;
        bh=UPRyUCWknZthmtdNnpTzLA1xwAA6ZbnSHKlHrQqjw6w=;
        b=stZHN5y2wkLknWJR4RgkzboBsJpRREhZAcXLbnP98AQBZgVRf+Gzx/piTLzRR18OYd
         9tukQGM3PBqYZYQ1TItMeglMW6AP6wEFLi2QMak5oMwuRY3/p2IYFhGqAFv0UIUIyBhI
         Di/irrmaOOUjLhTeKZCPG4d9gtwMBy404y/L0=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:user-agent:mime-version:to:subject:references
         :in-reply-to:content-type:content-transfer-encoding;
        b=iBWZgGcANdloc52Y9ZMm1ip0VF263OUYHjt5k/XcbYsBaUzSFG/0dSESHGAdHfGfox
         ByWGoVDPrgVNlpE6XFSoQiGAq2uKJIfcHYGyKfSONnOXStuqU75noH92oh0I4DE98Cc9
         c6k/HlvV1Ros8RE3EOUWBgX8lxAaSOpfByhgE=
Received: by 10.141.20.9 with SMTP id x9mr3631350rvi.201.1250685813675;
        Wed, 19 Aug 2009 05:43:33 -0700 (PDT)
Received: from ?192.168.3.20? (softbank219192112015.bbtec.net [219.192.112.15])
        by mx.google.com with ESMTPS id l31sm3321728rvb.24.2009.08.19.05.43.29
        (version=TLSv1/SSLv3 cipher=RC4-MD5);
        Wed, 19 Aug 2009 05:43:32 -0700 (PDT)
Message-ID: <4A8BF366.1030001@gmail.com>
Date: Wed, 19 Aug 2009 21:43:18 +0900
From: Alexander Danilov <alexander.a.danilov@gmail.com>
User-Agent: Mozilla-Thunderbird 2.0.0.22 (X11/20090707)
MIME-Version: 1.0
To: caml-list@yquem.inria.fr
Subject: Re: OCaml and kernels
References: <1250027407.4019.123.camel@nyc-qws-007.delacy.com>	<200908171459.01872.toots@rastageeks.org>	<7c737f300908171302q6c251441u35ed3bd99552bd46@mail.gmail.com>	<200908171526.52574.toots@rastageeks.org>	<3c1674c90908171430m12c4a3e7pa96cc5e60df72b17@mail.gmail.com>	<20090818084452.f9df0801.mle+ocaml@mega-nerd.com>	<3c1674c90908171622j79ec5df1ob4e6236dff3a1b36@mail.gmail.com>	<20090818093300.a041d75a.mle+ocaml@mega-nerd.com>	<4A8A8979.4010705@bik-gmbh.de>	<20090818210723.c45efcaf.mle+ocaml@mega-nerd.com> <20090818152116.GA18840@annexia.org>
In-Reply-To: <20090818152116.GA18840@annexia.org>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Spam: no; 0.00; ocaml:01 twiddling:01 mingw:01 compiler:01 ocaml:01 W10:98 inline:01 executables:01 macros:01 ghc:01 int:01 int:01 data:02 native:03 optimization:03 

Richard Jones пишет:
[skip]
> There are some missing features to really make it possible though:
> 
>  - inline assembly
> 
>  - support for ELF (eg. putting code/data directly into named sections)
> 
>  - bit fields / bit twiddling (can probably be done with macros)
> 
>  - better optimization of int32 and int64 types
> 
[skip]

+ out of box support for native executables creation for win32/mingw

+ convenient compiler interface, example - ghc --make main.hs

Because of these two missing features, today I choose sbcl over ocaml to create
small I/O and calculation intensive task, unfortunately.