[Haskell-cafe] ANN: exference: a different djinn
andrew.gibiansky at gmail.com
Sun Apr 26 17:38:15 UTC 2015
Could this somehow be used with the GHC API, so that it could be embedded
as autocomplete in an interpreter / code editor?
I am imagining using this with GHC 7.10 Type Holes in IHaskell. To
autocomplete, you'd insert a hole ("_"), GHC would be able to tell you the
type of the hole, you'd be able to pass it to exference, and then your
autocomplete suggestions would be full expressions. Does this sound
Sounds like a very cool tool!
On Sun, Apr 26, 2015 at 9:08 AM, lennart spitzner <
lsp at informatik.uni-kiel.de> wrote:
> Hello folks,
> Exference is a Haskell tool for generating expressions from a type,
> Input: (Show b) => (a -> b) -> [a] -> [String]
> Output: \ b -> fmap (\ g -> show (b g))
> In contrast to Djinn, the well known tool with the same general
> purpose, Exference supports a larger subset of the haskell type system
> - most prominently type classes. (Djinn's environment many contain
> type classes, but using them in queries will not really work.) This
> comes at a cost, however: Exference makes no promise regarding
> termination. Where Djinn tells you "there are no solutions", Exference
> will keep trying, sometimes aborting a non-ending search with "i could
> not find any solutions".
> See  for a report about the implementation, capabilities and
>  https://github.com/lspitzner/exference
>  https://github.com/lspitzner/exference/raw/master/exference.pdf
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe