Typed Holes is an actively used design pattern.
- Have a question about Typed Holes not answered here? Email me and let me know how I can help.
- Read more about Typed Holes
Example from haskell:
-- Found hole `_' with type f (Free f b)
Last updated June 22nd, 2020