Futhark uses unification to drive its type checker, but has different logic to produce error messages!
https://futhark-lang.org/blog/2020-03-15-futhark-0.15.1-released.html
This is a question I've faced on several occasions.
miniblog.
Related Posts
Some novel (to me) AI workflows from OpenAI in https://openai.com/index/open-source-codex-orchestration-symphony/
(1) Adding the ability for the LLM to create follow-up tasks in the issue tracker.
(2) Identifying weaknesses in the spec by implementing in several different languages.
Watching Hytale vs Minecraft discourse reminds me of how games feel different when they're new.
Single player games have an online discussion that occurs shortly after release.
Multiplayer games rapidly develop a meta. I tried UT99 years after release and it wasn't as much fun.
It's funny how languages can offer multiple forms of syntax, but formatters standardise to a single form.
E.g. single vs double quotes in JS, optional semicolons in JS, different ways of grouping imports in Rust.
Should new languages be more syntactically opinionated?