haskell-issues icon indicating copy to clipboard operation
haskell-issues copied to clipboard

Published 20 hours ago • verified publisher icon aelve

The DAG of types

Open Gurkenglas opened this issue 8 years ago • 2 comments

https://github.com/aelve/haskell-issues/issues/28, https://github.com/aelve/haskell-issues/issues/14 and the exference project suggest the need for a common library about types and operations between types, like unification.

Gurkenglas avatar Mar 30 '16 15:03 Gurkenglas

https://hackage.haskell.org/package/unification-fd solves the unification part of this, leaving specialization to Haskell as one project and expansion with utilities for another. Hooray!

Gurkenglas avatar Apr 06 '16 08:04 Gurkenglas

Nevermind, apparently it only does "first-order" and Haskell requires "second-order".

Gurkenglas avatar Apr 06 '16 09:04 Gurkenglas