Re: [Haskell-cafe] If you'd design a Haskell-like language, what would you do different?

On 21 Dec 2011, at 11:03, Brandon Allbery wrote:

On Wed, Dec 21, 2011 at 04:51, Hans Aberg wrote:

...

The one on the list is not a mathematical symbol. It should be ⋆ STAR OPERATOR U+22C6 or ∗ ASTERISK OPERATOR U+2217.

...except, at least in my current font, the former is microscopic and the latter not a whole lot better. The advantage of the one they chose is it's big and readable. (That's part of why I assume it's intended for kinds, actually.)

This problem is in my editor for unstyled text due to that if it a symbol is not available in the font selected, it just chooses a glyph from the next font available in alphabetical order. Hopefully such problem will be resolved in the future. Hans