Typed Holes in Programming

Posted on August 24, 2018 by Marko Dimjašević

Typed holes are an amazing tool in a developer’s toolbox. The holes give hints via types how to finish an implementation. They’re available in Haskell, Agda and Idris.

Tags: Agda, Haskell, Idris, type systems, Type-driven development, ephemera, functional programming