Comment on Hazel: A live functional programming environment featuring typed holesparentComments−fire_lake1yIsn’t this possible with any untyped language?It does sound like a good feature though - very few languages have opt-out type checking. This is much better than opt-in IMO.−7h3kk1d1yHazel will also run incomplete programs around holes. Most untyped languages will just crash as soon as something is incomplete.−instig0071yLaziness would be enough for this case, Haskell will happily run your programs around undefined−conartist61yYes and no. You need a universal way of saying "something that should exist here is missing"
Comments
Isn’t this possible with any untyped language?
It does sound like a good feature though - very few languages have opt-out type checking. This is much better than opt-in IMO.
Hazel will also run incomplete programs around holes. Most untyped languages will just crash as soon as something is incomplete.
Laziness would be enough for this case, Haskell will happily run your programs around undefined
Yes and no. You need a universal way of saying "something that should exist here is missing"