[Haskell-cafe] Type checking of partial programs
dons at galois.com
Thu Mar 20 16:38:41 EDT 2008
> ac wrote:
> > foo :: [Foo] -> <placeholder 1>
> > foo xs = map <placeholder 2> xs
> > What are the possible type signatures for placeholder 1 and the possible
> > expressions for placeholder 2?
> A nice GHCi trick I learned from #haskell:
> > :t let foo xs = map ?placeholder2 xs in foo
> forall a b. (?placeholder2::a -> b) => [a] -> [b]
> Also, the djinn tool might provide some actual expression for placeholder 2.
Yes, it turns out implicit parameters provide a great mechanism for
doing type checker queries :)
More information about the Haskell-Cafe