Holes in GHC

Dan Doel dan.doel at gmail.com
Thu Jan 26 19:30:17 CET 2012

On Thu, Jan 26, 2012 at 12:45 PM, Thijs Alkemade
<thijsalkemade at gmail.com> wrote:
> Let me try to describe the goal better. The intended users are people
> new to Haskell or people working with existing code they are not
> familiar with.

Also me. I want this feature. It pretty much single handedly makes
prototyping things in Agda and then porting them to Haskell a better
experience than writing them straight in Haskell to begin with. I can
partially implement functions and get feedback on what I need to
provide and what is available, add candidate terms, have them type
checked and filled in if they work. Etc.

It's significantly better than any Haskell editor I'm aware of, and
adding undefined or ?foo and poking at things in ghci isn't

-- Dan

More information about the Glasgow-haskell-users mailing list