Typed Holes is an actively used design pattern.

?Years Old
  • Typed Holes does not currently rank in our top 50% of entities I track
  • I have 11 facts about Typed Holes. what would you like to know? email me and let me know how I can help.
  • Read more about Typed Holes

Languages with Typed Holes include agda, darklang, haskell, hazel

Example from haskell:

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

Last updated December 10th, 2019

Edit Typed Holes