Правописание слова "Хаскел"

Не по теме:

Можно заменить английские слова символами юникода, это будет намного короче:
AXT Chess
Обычно для шахмат используют конструкторы на англ. языке, я тут использовал символы юникода.
Но можно и Int заменить на ℚ, например:

data T α β
= ℍ α
| ℙ β
| ℚ α β
deriving (Eq)

ϝ ∷ (α → γ) → (β → γ) → (α → β → γ) → T α β → γ
ϝ l _ _ (ℍ a ) = l a
ϝ _ r _ (ℙ b ) = r b
ϝ _ _ g (ℚ a b) = g a b

Я бы и ключевые слова haskell заменил бы символами юникода. В далеком будущем, возможно, попытаюсь сделать какое-нибудь простенькое подобие языка программирования, где вместо ключевых слов будут символы юникода. Но замену ключевых слов в Haskell-e мало кто одобрит, хотя бы потому что клавиатура не у всех настроена на юникод.

А возможно в будущем вообще придём к графическим редакторам исходного кода, как это показывают в фантастических фильмах и мультиках. Всё таки можно создать механизмы удобнее чем текстовый редактор.
Видимо проблема в том, что нет математических предпосылок для этого. Проще говоря не выросли ещё из текстовых редакторов.

Не по теме:

Catstail, как вы такую тему придумали что после неё никаких тем уже пару месяцев? А раньше по нескольку раз в неделю темы возникали. Это НЛП, или что?

Не по теме:

Сообщение от Curry никаких тем уже пару месяцев

Не по теме:

Только обратил внимание, что Колодежный сменил имя.