127: AI for Code with Eran Yahav
Programming Throwdown
00:00
Is There a Problem With Syntax Highliting?
static analysis is an expansion of the compiler to check properties that are more than may be just a tipe checking or der thinks that the compileor checks to more sophisticated things. It gives you conservative errors, or conservative reports, meaning that if it says that there is no error, then it's guaranteed to be correct. But it may give you false alarms, aing, your programme may divide by zero, which actually doesn't and so that has been quite useful at the end. The problem is undecidable, but you can solve approximations of this problem.
Transcript
Play full episode
