4 ms·
> It would be in the same category as dynamically typed Haskell. But that's possible (and available).
by Dewie 12y ago
> It would be in the same category as dynamically typed Haskell.
But that's possible (and available).
- tempodox 12y agoIt may be technically possible, but it would be contrary to the very essence of Haskell. Think type inference at runtime. Maybe I should have said, Haskell with side-effects everywhere without being tortured by a monad. Would you still call such a language Haskell?
- Dewie 12y agohttps://www.haskell.org/ghc/docs/7.8.2/html/users_guide/defer-type-errors.html https://www.haskell.org/ghc/docs/7.8.2/html/users_guide/defe...