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
I've had a ton of great conversations on Twitter: there's a bunch of programming expertise (even programming language design) here. There are niches here that don't exist elsewhere.
I've also found a great job through Twitter on two occasions.
No idea what the future will be. https://twitter.com/_wilfredh/status/1592389610457673729
On two separate occasions now I've released a v1 on @melpa_emacs and received my first pull request in under 24 hours. Discoverability!
It's also caused me to miss my station on two separate occasions.