Hole driven exploration

You can use a combination of ScopedTypeVariables, PartialTypeSignatures, and typed holes to explore code, whether it’s code you’re trying to write yourself or a new library or codebase you’re trying to learn.

Sign up for access to the full page, plus the complete archive and all the latest content.