unification-fd
unification-fd copied to clipboard
wrengr
Generic functions for single-sorted first-order structural unification
Bumps [haskell-actions/setup](https://github.com/haskell-actions/setup) from 2.7.0 to 2.7.1. Release notes Sourced from haskell-actions/setup's releases. v2.7.1 Add GHC 9.6.5 and Stack 2.15.5 What's Changed Add GHC 9.6.5 and Stack 2.15.5 by @andreasabel in...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
to be up-to-date with the ecosystem and in order to get the package back to stackage (see https://github.com/commercialhaskell/stackage/issues/6955). https://hackage.haskell.org/package/logict-0.8.1.0/changelog
A proposal to use `data-fix`'s `Fix` in `unification-fd`. `data-fix` is somewhat widely used, and the [next `recursion-schemes`](https://github.com/ekmett/recursion-schemes/pull/97) will move to use it as well. It would be great if `unification-fd`...
There are currently a few forks to consider merging in: * https://github.com/ajrouvoet/unification.hs (2 ahead) * https://github.com/lortabac/unification-fd (7 ahead) * https://github.com/UnkindPartition/unification-fd (2 ahead); but cf the PR first
``` Warning: 'modify' is out of scope. (in either 'Control.Monad.MaybeK' or 'Control.Monad.State.UnificationExtras') Missing documentation for: unFix (src/Data/Functor/Fixedpoint.hs:94) runIntBindingT (src/Control/Unification/IntVar.hs:159) execIntBindingT (src/Control/Unification/IntVar.hs:169) runIntRBindingT (src/Control/Unification/Ranked/IntVar.hs:118) execIntRBindingT (src/Control/Unification/Ranked/IntVar.hs:128) ```
Is it possible to implement the Hindley Milner type inference algorithm using this package's API? The reason I ask is that I made an initial attempt to do so, but...
In NLTK, they have a module for the unification of https://en.wikipedia.org/wiki/Feature_structure. The http://www.nltk.org/howto/featstruct.html I wonder if this package provides the necessary for doing it in Haskell.
I've written some code making it possible to deriving `Unifiable` instances using `Generic1` from `GHC.Generics`. How maintained is this repo, i.e. if I make a PR will it see the...
