Type Sudoku (test if object is a struct)

Probably no other language has such a large bandwidth from highest (Metaprogramming.jl, Symbolics.jl, Modia.jl) to these levels where the programmer can assist the compiler.

Thanks for sharing this background insight, see also this and this.