20 Dec
2011
20 Dec
'11
5:17 p.m.
On 20 Dec 2011, at 22:51, Chris Wong wrote:
One thing that concerns me is the use of capital letters to distinguish type and class names and constructors from values. If I was doing it over I would use a typographical distinction like italics for types, bold for classes. That way we could have a constructor named ∅, a function named ∈, a class named ℝ.
It's Algol all over again! Will we have to typeset our keywords in bold too?
There are in fact Unicode symbols for that, see http://unicode.org/charts/PDF/U1D400.pdf The monospace characters U+1D670-1D6A3 might be used for keywords. Font: http://www.stixfonts.org/ Not hard to add. Hans