miniblog.

← Back to all posts
Mar 21, 2020 at 07:57
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.
Futhark 0.15.1 released - now with size types!
A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.

Related Posts

Feb 4, 2023 at 09:13
Short and very accessible introduction to implementing unification, including Python sample code:
Unification - Eli Bendersky's website
Nov 10, 2018 at 00:21
3
The latest Read Eval Print Love discusses rules engines! https://leanpub.com/readevalprintlove004/read I'm also interested to learn that Clojure has a unification library in its stdlib.
Leanpub: Publish Early, Publish Often
Leanpub: Publish Early, Publish Often
Leanpub is a platform for authors to write, publish and sell in-progress and completed ebooks and online courses.