โปรแกรมตาม mccarthy.sf.net

McCarthy เป็นล่ามสําหรับภาษาการเขียนโปรแกรมที่ใช้งานง่ายลําดับแรกซึ่งเป็น Turing-complete และสามารถใช้เป็นรูปแบบของการคํานวณ