Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
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 <daniel.buenzli@erratique.ch> 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:
  http://home.gna.org/cameleon/snippets.en.html
It's up the the user to define his own mapping function between source file
and utf8 text displayed.

Regards,

Maxence