Entre as fortemente tipadas certamente é Lua.

Entre as estaticamente tipadas provavelmente é C.

Entre as que são fortemente e estaticamente tipadas é possível que entre as mais conhecidas seja Go. Menção honrossa para F# dependendo do ponto de vista. Sem desprezar Fortran.

Como já adiantado, "enxuto" precisaria de melhor definição para termos certeza.

https://pt.stackoverflow.com/q/21508/101

Faz sentido para você?

Espero ter ajudado.

Farei algo que muitos pedem para aprender a programar corretamente, gratuitamente. Para saber quando, me segue nas suas plataformas preferidas. Quase não as uso, não terá infindas notificações (links aqui).