search

aelve / haskell-issues

An unofficial issue tracker for all things Haskell-related
18 stars 0 forks source link

The DAG of types #29

Open Gurkenglas opened 8 years ago

Gurkenglas commented 8 years ago

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 commented 8 years ago

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 commented 8 years ago

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