Re:Defer Haskell type errors to runtime: new GHC 7.6 develop...
by Peaker on Saturday May 19, 2012 @05:40PM
(#3997164)
> But I have an issue with the uses like turning off the typesystem and have the project compile just so that you could feel good about yourself
That's a strawman. The claim is that it is useful to be able to compile a partially-valid program so that you can:
* Test actually running stuff
* Get the inferred types of expressions
The idea is to temporarily turn it off just to run some tests or infer some types, and then turn it on again for the rest of the work.
I think that you're arguing against a point that no one is making. Everyone agrees you should not use this feature for any other purpose except to temporarily allow some tests and exploration.
That's a strawman. The claim is that it is useful to be able to compile a partially-valid program so that you can:
* Test actually running stuff
* Get the inferred types of expressions
The idea is to temporarily turn it off just to run some tests or infer some types, and then turn it on again for the rest of the work.
I think that you're arguing against a point that no one is making. Everyone agrees you should not use this feature for any other purpose except to temporarily allow some tests and exploration.