|
|
|
|
|
|
by KMag
3530 days ago
|
|
|
"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 |
|
|