Re:Typing Is Hard
by codebje on Wednesday February 17, 2021 @06:42AM
(#26165315)
GHC's REPL supports turning type errors into crashes when the ill-typed expression is used, which lets you test one part of code while another part is broken.
I think you can even extend that to compiled code, for an authentic "it crashed in production" experience.
I think you can even extend that to compiled code, for an authentic "it crashed in production" experience.