Marko wrote: > When typing in code (in various languages), I have a habit of typing > "..." at places that need to be implemented
Quite a research area actually https://wiki.haskell.org/GHC/Typed_holes -- https://mail.python.org/mailman/listinfo/python-list
