Program menurut mccarthy.sf.net

McCarthy adalah penerjemah untuk bahasa pemrograman fungsional sederhana urutan pertama yang lengkap dengan Turing dan dapat digunakan sebagai model komputasi.