[Haskell-cafe] Re: Monads aren't evil

Lennart Augustsson lennart at augustsson.net
Sun Jan 11 12:42:28 EST 2009


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
<martijn at 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>


More information about the Haskell-Cafe mailing list