Languages Features Calendar About Lists Add Language
GitHub icon

Typed Holes

Typed Holes

Typed Holes are a language feature.

Languages with Typed Holes include Haskell, Agda, hazel, darklang

Example from Haskell:

-- Found hole `_' with type f (Free f b)

Article source

PLDB - Build the next great programming language. v5.0.0 - Acknowledgements · Email · GitHub