| ... | ... | @@ -37,11 +37,11 @@ Proposed syntaxes for [RankNTypes](rank-n-types) and [ExistentialQuantification] |
|
|
|
## Cons
|
|
|
|
|
|
|
|
|
|
|
|
- We lose . as composition. Mostly this doesn't matter as $ is probably more common in reality anyway. Perhaps use
|
|
|
|
- We lose . as composition. Mostly this doesn't matter as $ is probably more common in reality anyway (a highly controversial view, unsupported by evidence!). Perhaps use
|
|
|
|
``o`` as infix composition instead if it is really important. Note that ``o`` is three characters - it
|
|
|
|
would be nicer to use plain `o` infix, but that would require another special lexical rule. Others alternatives
|
|
|
|
for composition include [Unicode](unicode) symbols such as centred-dot ˙, a bullet point, an unfilled bullet point, the
|
|
|
|
degree sign °, the masculine ordinal indicator °, stroked circle ø, and so on. All of these resemble the mathematical
|
|
|
|
for composition include [Unicode](unicode) symbols such as centred-dot ·, a bullet point •, an unfilled bullet point, the
|
|
|
|
degree sign °, the masculine ordinal indicator º, stroked circle ø, and so on. All of these resemble the mathematical
|
|
|
|
symbol, and some of them are available in the Latin-1 subset.
|
|
|
|
|
|
|
|
- Breaks quite a lot of code |
