Premshree's (品速力) Personal Weblog

I thought I knew exactly what Static Typing and Dynamic Typing were...until now. This document says that Objective Caml is statically typed [#]. But in OCaml, you don't have to make explicit type declarations [#], which suggests Dynamic Typing [#].

Am I missing something?