Archives of the Caml mailing list > Message from Mattias

Browse thread

Question on writing efficient Ocaml.

Ian Oversby
- Jon Harrop
  - skaller
    - Jacques Garrigue
      - Mattias_Engdegård
        
        Nathaniel Gray
        
        Philippe Wang
        
        brogoff
        
        Martin Jambon
        
        Nathaniel Gray
- Manfred Lotz
- Andrej Bauer
  - Ian Oversby
- Jon Harrop
  - Serge Aleynikov

Date:	-- (:)
From:	Mattias_Engdegård <mattias@v...>
Subject:	Re: [Caml-list] Question on writing efficient Ocaml.

>In general, I wouldn't explicitly advise against using single
>constructor type definitions for documentation, except when the
>argument is a single int or float and performance matters.

Is there a reason for this? To my innocent eyes, code like

  type length = Length of int

looks quite reasonable and could be useful at times.

If binary compatibility with old OCaml releases would be the reason,
is there a policy stating when such ABI details can be changed?