Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Execution time of class versus record
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jonathan Bryant <jtbryant@v...>
Subject: Re: [Caml-list] Execution time of class versus record

On Jun 25, 2007, at 8:07 AM, Jon Harrop wrote:

> For the same reason, there is a difference between:
>   type t = A of int * int
> and:
>   type t = A of (int * int)
> The former is unboxed and the latter is boxed (a reference to a  
> pair). The
> boxing can degrade performance (it can also improve performance!).

I've always been a little curious about this.  Is performance the  
_only_ reason for this distinction?  Construction and pattern  
matching on the two are identical, and AFAIK neither doesn't allow  
partial application.