^ also has a slight resemblance to the greek lambda, which is the
reason Haskell uses \.
As an aside, the circumflex is actually the precursor to lambda:
We end this introduction by telling what seems to be the story how
the letter 'λ' was chosen to denote function abstraction. In Principia
Dave Herman wrote:
In Principia Mathematica the notation for the function f with f(x) = 2x + 1 is
^
2x + 1.
[...]
The typesetter could not position the hat on top of the x and placed it
in front of it, resulting in ^x.2x + 1.
That's not quite right. In Principia Mathematica, x̂
On Sun, Dec 21, 2008 at 6:22 AM, Dave Herman dher...@ccs.neu.edu wrote:
Lex Spoon wrote:
So I would be interested in a simple syntactic form like Lex's suggestion.
Imagine for a moment the following idea didn't cause parsing problems (it
does, but bear with me). Say we had a
On Sun, Dec 21, 2008 at 1:53 PM, Mark S. Miller erig...@google.com wrote:
reveal getX() { reveal privX };
reveal getY() { reveal privY };
Oops. Should be
reveal getX() { reveal (privX) };
reveal getY() { reveal (privY) };
--
Cheers,
--MarkM
4 matches
Mail list logo
