Scala sử dụng hệ thống kiểu dựa trên Hệ thống F ω, thường được cho là chuẩn hóa mạnh mẽ. Tối ưu hóa mạnh mẽ ngụ ý hoàn toàn không Turing.Thuộc tính nào của hệ thống kiểu Scala làm cho nó hoàn thành Turing?
Tuy nhiên, hệ thống kiểu của Scala là Turing-complete.
Những thay đổi/bổ sung/sửa đổi nào làm cho hệ thống kiểu của Scala trở nên hoàn thiện hơn so với các thuật toán và hệ thống chính thức?
Có các liên kết/tham chiếu? (Đối với khán giả, như tôi :-) –
Thực tế là hệ thống F là mạnh mẽ bình thường ngụ ý rằng hệ thống F không phải là Turing hoàn thành. Nó không ngụ ý rằng hệ thống kiểu của nó thì không. Và trong thực tế nó đã được chứng minh rằng [typechecking một hệ thống không bị hạn chế F là undecidable] (http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.6483) – sepp2k
@ sepp2k - yikes, các điều tồi tệ nhất về Turing-đầy đủ và nó đã có điều đó. – Malvolio