The majority of them use a simple form of type inference, while especially those ones who use the Hindley-Milner type system provide a more complete type inference.
Phần lớn trong số chúng dùng kiểu suy luận kiểu đơn giản, đặc biệt hơn khi những ngôn ngữ còn lại sử dụng hệ thống kiểu Hindley-Milner type system để cung cấp một suy luận kiểu hoàn chỉnh hơn.