There is already - PureScript - https://www.purescript.org/ - though it is closer to Haskell - ReasonML - https://reasonml.github.io/ - essentially ocaml with nicer syntax Both are strongly typed with algebraic data types

I like reason and rescript and I'm looking at them for inspiration but I'm not a fan of their async support. Still, I'm planning to write a lot more code in them just to understand them better.

alacritty is actually pretty bad at font rendering quality, at least on macos, it looks worst in comparison to all terminal i've tried https://github.com/alacritty/alacritty/issues/486

Oh interesting. On Linux it's clearly better than kitty: https://i.imgur.com/fzAPhlN.png

Last time I checked it also had the best unicode handling too, in terms of reliably falling back to some other font for missing codepoints and getting the display of oversized characters right.

It's not immediately obvious which terminal is which. I feel like the text is sharper and, as a result, more readable in the right window, not sure if that agrees or disagrees with your thoughts

The right one is kitty. Look how the italic characters have uneven spacing, eg. the 'l' in 'bold', and some of them are chopped off, for example 'M'. Look how the percent sign on the bottom looks like it's been stretched and the circles aren't the same.

The right hand one is sharper but I have my freetype tuned to look like the left one, which looks the same as every other application on my PC. kitty is doing something completely different and incorrect.