2
Fungsi apa yang tidak dapat dihitung oleh Sistem F?
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 …