From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA24965; Wed, 4 Feb 2004 14:28:30 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA24808 for ; Wed, 4 Feb 2004 14:28:29 +0100 (MET) From: Leszek.Holenderski@philips.com Received: from gw-nl3.philips.com (gw-nl3.philips.com [161.85.127.49]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id i14DSTP25551 for ; Wed, 4 Feb 2004 14:28:29 +0100 (MET) Received: from smtpscan-nl1.philips.com (smtpscan-nl1.philips.com [130.139.36.21]) by gw-nl3.philips.com (Postfix) with ESMTP id 2AB692C3AB for ; Wed, 4 Feb 2004 14:28:26 +0100 (MET) Received: from smtpscan-nl1.philips.com (localhost [127.0.0.1]) by localhost.philips.com (Postfix) with ESMTP id C271619C51 for ; Wed, 4 Feb 2004 14:28:23 +0100 (MET) Received: from smtprelay-nl1.philips.com (smtprelay-eur1.philips.com [130.139.36.3]) by smtpscan-nl1.philips.com (Postfix) with ESMTP id 7478D19C48 for ; Wed, 4 Feb 2004 14:28:21 +0100 (MET) Received: from prle4.natlab.research.philips.com (prle4.natlab.research.philips.com [130.145.137.96]) by smtprelay-nl1.philips.com (8.9.3p3/8.8.5-1.2.2m-19990317) with ESMTP id OAA06606 for ; Wed, 4 Feb 2004 14:28:21 +0100 (MET) Received: from smtpmon (smtpmon [130.145.137.150]) by prle4.natlab.research.philips.com (8.11.6/8.11.6) with ESMTP id i14DSLU24709 for ; Wed, 4 Feb 2004 14:28:21 +0100 Received: from PC7076.ddns.htc.nl.philips.com ([130.145.174.21]) by smtpmon (MailMonitor for SMTP v1.2.0 ) ; Wed, 4 Feb 2004 14:28:20 +0100 (CET) Message-ID: <4020F374.2DD8BC4E@philips.com> Date: Wed, 04 Feb 2004 14:28:20 +0100 Organization: Philips Research X-Mailer: Mozilla 4.73 [en] (Windows NT 5.0; U) X-Accept-Language: en MIME-Version: 1.0 To: caml-list@inria.fr Subject: [Caml-list] Is Caml good for embedded systems? Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Loop: caml-list@inria.fr X-Spam: no; 0.00; philips:99 obstacle:01 floats:01 pointers:01 implemented:01 philips:99 -bit:01 -bit:01 caml:01 caml:01 variants:01 arithmetic:01 arithmetic:01 supported:01 library:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hello, I wonder if anybody attempted to use Caml (or any of its variants) to program embedded systems? The main obstacle, as I see it, is a rather poor arithmetic. It seems that the only directly supported numerical type is 31-bit integers. Everything else (floats, 32-bit integers, fixed-point integers) has to go via pointers. By the way, has anybody implemented a library for fixed-point arithmetic? Leszek ----------------------------------------------------- Leszek Holenderski, Philips Research, The Netherlands ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners