Agda has made the choice that you can have (almost) any sequence of characters in identifiers. It works fine, but forces you to use white space (which I do anyway).
-- Lennart On Sun, Jan 11, 2009 at 4:28 PM, Martijn van Steenbergen <mart...@van.steenbergen.nl> wrote: > minh thu wrote: >> >> I always thought that instead of having two classes of characters, one >> for variable (and function) names and the >> other for operators, only the first charater of the identifier could >> mean it's one or the others, >> so *vec or +point would be valid operator names and thus >_> too. And >> C++ could be a Data type name... > > No, operators have to consist entirely of punctuation, and functions > entirely of alphanumerical characters. > > If what you said were the case, then x+y would be an identifier instead of > the sum of x and y. > > Kind regards, > > Martijn. > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
