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 RAA01720; Thu, 13 Mar 2003 17:34:29 +0100 (MET)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA01627 for caml-list@pauillac.inria.fr; Thu, 13 Mar 2003 17:34:29 +0100 (MET)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA29797 for <caml-list@pauillac.inria.fr>; Thu, 13 Mar 2003 15:38:55 +0100 (MET)
Received: from SMARTHOST.redmond.corp.microsoft.com (smarthost.microsoft.com [131.107.3.106])
	by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h2DEcsX12010
	for <caml-list@inria.fr>; Thu, 13 Mar 2003 15:38:55 +0100 (MET)
Received: from tjakobl3 ([172.30.42.189]) by SMARTHOST.redmond.corp.microsoft.com with Microsoft SMTPSVC(5.0.2195.5600);
	 Thu, 13 Mar 2003 06:31:38 -0800
Message-ID: <003e01c2e96d$5557a6f0$6401a8c0@redmond.corp.microsoft.com>
From: "Jakob Lichtenberg" <jl@itu.dk>
To: <caml-list@inria.fr>
Subject: [Caml-list] ocaml internal representation
Date: Thu, 13 Mar 2003 06:32:10 -0800
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 6.00.2800.1106
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106
X-OriginalArrivalTime: 13 Mar 2003 14:31:38.0747 (UTC) FILETIME=[41FAFCB0:01C2E96D]
X-Spam: no; 0.00; recognized:99 ocaml:01 int:01 signatures:02 o'caml:02 overhead:03 slightly:03 types:03 stuff:05 compiled:05 type:07 mixing:07 manual:07 www:91 memory:09 
X-Spam: no; 0.00; recognized:99 ocaml:01 int:01 signatures:02 o'caml:02 overhead:03 slightly:03 types:03 stuff:05 compiled:05 type:07 mixing:07 manual:07 www:91 memory:09 
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

In O'Caml the types are compiled away, right?

Then, is there actually a performance/memory overhead in replacing:
  type coord = int * int

with:
  type coord = Coord of (int * int)


Is it recognized as a 'reasonable' way to get the type system to help me not
mixing up stuff (except for signatures of course)?


Slightly more general:  Did I miss any doc. about this in the O'Caml manual?

Thanks,

- Jakob Lichtenberg

--
Jakob Lichtenberg - jl@itu.dk - http://www.itu.dk/people/jl/

-------------------
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