Hacker News new | past | comments | ask | show | jobs | submit login

"Dynamic Witnesses for Static Type Errors* ("or ill-typed programs usually go wrong)"[0] by Eric Seidel et. al. discusses a prototype for a system that searches for concrete examples of ill-typed inputs that break a program, in order to aid novice programmers with type errors at compile time.


That is really cool! When will it be in GHC? :D

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact