Get the latest tech news

Don't implement unification by recursion

Unification is formal methods speak for solving equations.

It’d be neat and possible for a low level language like rust to support pointer based unification as something akin to a match statement. The lazy method also becomes basically required if you write in a recursive functional style since you do not have access to the todo queue that is on your call stack. uniification as observation unification as fixed point - When written as an inference system this espcailly makes sense.

Get the Android app