Michal Moskal a écrit :
> On 11/22/05, Christophe Raffalli <christophe.raffalli@univ-savoie.fr> wrote:
> 
>>It may be not clear what I mean by matching a function (looks impossible
>>;-). I mean something like
>>
>>pattern <= expr expr expr       is a pattern
>>
>>and a function f is matched by
>>
>>p <= e1 ... eN      iff     f e1 ... eN is matched by p
>>
>>(I do not care about the final syntax ...)
> 
> 
> Something like http://homepages.inf.ed.ac.uk/wadler/papers/view/view.ps

No this is not the same ...

I just want to be able inside one single pattern to give arguments to a 
variable of the pattern (which shoud have a function type) and match the 
result.

However, you can maybe (I am not sure at all) implement views as a 
camlp4 extension of ocaml if you have this feature.


> or http://nemerle.org/Extensible_matching ?
> 
> --
>    Michal Moskal,
>    http://nemerle.org/~malekith/
> 

-- 
Christophe Raffalli
Université de Savoie
Batiment Le Chablais, bureau 21
73376 Le Bourget-du-Lac Cedex

tél: (33) 4 79 75 81 03
fax: (33) 4 79 75 87 42
mail: Christophe.Raffalli@univ-savoie.fr
www: http://www.lama.univ-savoie.fr/~RAFFALLI
---------------------------------------------
IMPORTANT: this mail is signed using PGP/MIME
At least Enigmail/Mozilla, mutt or evolution
can check this signature. The public key is
stored on www.keyserver.net
---------------------------------------------