Towards practical type-checking for Lua par Fabien Fleutot

This talk will describe ongoing investigations to perform optional, partial, compile-time type-checking on Lua programs. It describes the main challenges and compromizes necessary to go from a theoretically sound type system to a pragmatic solution, finding actual bugs in actual programs without requiring excessive amounts of bookkeeping from developers.