Dalam artikel wikipedia ini tentang Turing Completeness disebutkan bahwa:
Kalkulus lambda yang tidak diketik adalah Turing lengkap, tetapi banyak kalkulus lambda yang diketik, termasuk Sistem F, tidak. Nilai dari sistem yang diketik didasarkan pada kemampuan mereka untuk mewakili sebagian besar program komputer sambil mendeteksi lebih banyak kesalahan.
Apa contoh dari total fungsi komputasi yang tidak dapat dihitung oleh sistem F ?
Selain itu, karena hindley-milner adalah:
Pembatasan Sistem F
karena kenyataan bahwa:
pengecekan tipe tidak dapat ditentukan untuk varian Curry-style dari Sistem F, yaitu, yang tidak memiliki anotasi pengetikan yang eksplisit.
Apakah ini berarti bahwa kalkulus lambda yang mendasari sistem tipe hindley-milner tidak lengkap juga?
Jika ini benar, karena haskell jelas turing lengkap dan kita tahu bahwa dasarnya adalah kalkulus lambda dan sistem tipe hindley-milner, fitur apa yang tidak ada dalam kalkulus lambda ditambahkan untuk membuat haskell turing lengkap?
system T vs. system F
saya menemukan sesuatu yang menjawab pertanyaan terakhir saya yang diulang di sini sebagai: Bagaimana cara haskell menambahkan Turing-kelengkapan untuk Sistem F