8 Jan
2008
8 Jan
'08
5:36 p.m.
Wolfgang Jeltsch wrote:
Am Dienstag, 8. Januar 2008 21:36 schrieb Richard Kelsall:
Now supposing you were on the phone to a Haskell programmer and you wanted to say this
f :: Int -> Int
I imagine you might say "f maps Int to Int" or "function f has type Int to Int". Both symbols have been translated directly to words. Nobody would say "f, colon colon, Int, dash greater than, Int".
I would say: “f double-colon Int arrow Int”.
and so we could have several columns, for exmple: symbol symbol-pronunciation meaningful-pronunc. definition-term -> arrow to function (except that it's used in lots of different places in syntax... function type, lambda, case at least) ~Isaac