4 ms·

That's very, very nice. Is this exclusive to Haskell?

• jerf 10y ago
  Well, Haskell got it from Agda [1], but Agda is even farther in the direction of Haskell than Haskell relative to mainstream programming languages, and beyond the "currently practical" language horizon. [1]: https://wiki.haskell.org/GHC/Typed_holes https://wiki.haskell.org/GHC/Typed_holes
  • dllthomas 10y ago
    Typed holes are quite a different thing than deferred type errors. Does Agda actually have something like the latter? (Results seem negative from the tiny bit of searching I've just done, but that's awfully low confidence...)
    • jerf 10y ago
      Whoops, you're right! I was too hasty.
• jdmichal 10y ago
  Eclipse does a similar thing with Java. It will replace methods that don't compile with a stub that throws an exception with the compilation error.
  • talles 10y ago
    But is that transparent or they pollute the source code?
    • jdmichal 10y ago
      It's completely transparent, done only in the compiled class files. The signature of the method remains exactly the same, just the body is replaced.