Typed Holes is an actively used design pattern.

?Years Old
  • Have a question about Typed Holes not answered here? 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 August 9th, 2020

Edit Typed Holes on GitHub