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
Should a /\ operator be possible?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-05-05 (06:31)
From: Maxence Guesdon <maxence.guesdon@i...>
Subject: Re: [Caml-list] Should a /\ operator be possible?
On Fri, 2 May 2008 13:54:37 +0200
Daniel Bünzli <> wrote:

> The unicode standard dicusses a syntax for identifiers here [1]. Note  
> that determining if two identifiers are equal needs to invoke the  
> unicode normalization machinery, it is not just a matter of knowing  
> what is a letter and a symbol. That being said, I really don't see  
> unicode identifiers as a must have feature, au contraire.
> Regarding the use of math symbols, I think Alain is right, it should  
> be addressed as a presentation issue. Actually that's the way Fortress  
> [3] handles it, as a rendering issue.

Chamo, the source code editor coming with Cameleon, has such a rendering
feature, and here is an example snippet to use greek letters in the editor:
It's up the the user to define his own mapping function between source file
and utf8 text displayed.