Name: Anonymous 2013-02-07 13:24
Sup, /prague/.
To make my language perfect, I need perfect naming.
I have two pattern-matching operators - `=>' and `<=' - and both have alternative named forms for some syntactic manipulations. The first one is same as ML's `match'(or Erlang's `case') is named `match', I have no problem with it. The second one is used for binding, but it would be misguiding to call it `bind' since it doesn't just bind name, it matches them, what means that «a <= "foo"» would fail if a is already bound to something not equal to string "foo".
How would you call this operator?
To make my language perfect, I need perfect naming.
I have two pattern-matching operators - `=>' and `<=' - and both have alternative named forms for some syntactic manipulations. The first one is same as ML's `match'(or Erlang's `case') is named `match', I have no problem with it. The second one is used for binding, but it would be misguiding to call it `bind' since it doesn't just bind name, it matches them, what means that «a <= "foo"» would fail if a is already bound to something not equal to string "foo".
How would you call this operator?