Comment by thewarrior

Don't compilers and type checkers do rudimentary semantics ?