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.

[0]http://eric.seidel.io/pub/nanomaly-icfp16.pdf




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




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

Search: