靜態型別

靜態型別語言（如 Java、C 或 C++）是一種在編譯時就知道變數型別的語言。在大多數這些語言中，程式設計師必須明確指定型別；在其他情況下（如 OCaml），型別推斷允許程式設計師不指定其變數型別。