そうでないもの（例えばHaskell）は型推論を行い、コンパイラはプログラマの変数に対する扱いから変数の型についての結論を引き出す。
其它的，如Haskell，则进行型别推断：编译器根据编写者如何运用这些变数，以草拟出关于这个变数的型别的结论。