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
[Caml-list] Side effect in non-commutative context
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-08-26 (09:03)
From: Diego Olivier Fernandez Pons <Diego.FERNANDEZ_PONS@e...>
Subject: Re: [Caml-list] Side effect in non-commutative context

I have been said privately that detecting side-effects may be quite

Quid about the work done by François Pessaux and Xavier Leroy on
type-based analysis of uncaught exceptions (1998) ? Is it planned to
be added to the Caml compiler (I am of course directly interested
because heavy user of exceptions but I don't know how important this
is for typical Caml programs like symbolic computation, etc.)

An other point is that I meant of course compilation-time warnings.

let rec map f = function
  | [] -> []
  | head :: tail -> f head :: map f tail

Once a function like [map] is compiled there is no way to know if it
intented to be used in a commutative context or not. What I had in
mind was just propagating a "with-side-effects" tag in the inferred
type (that is more or less the way exceptions are handled in Pessaux
and Leroy's work, isn't it ?)

        Diego Olivier

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: