Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Typed Holes

< >
Example from 1 languages: Haskell
-- Found hole `_' with type f (Free f b)
*

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

*

View all concepts with or missing a hasTypedHoles measurement

*

Read more about Typed Holes on the web: 1.

- Build the next great programming language · Add · Issues · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements