靜態型別

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

另見