PLDB
Languages Features Calendar CSV Lists Blog About Sponsor Add Language
GitHub icon

Typed Holes

Typed Holes

Typed Holes are a feature.


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

Example from Haskell:
-- Found hole `_' with type f (Free f b)
sourcemaps-feature.html 路 typed-holes-feature.html 路 unicode-identifiers-feature.html

View source

PLDB - Build the next great programming language 路 v2022 Day 28 Docs Build Acknowledgements Traffic Today Traffic Trends Mirrors GitHub feedback@pldb.com