فصل ۴ - تایپ‌های پایه

راه‌های زیادی برای درک برنامه‌ها وجود داره. راهی که مردم خیلی بهش اتکا می‌کنن، اشکال‌زدایی‌ه، یعنی یه برنامه که نیمه‌کاره درک کردی رو اجرا کنی و ببینی که آیا جواب مطلوب رو میده یا نه. راه دیگه که زبان ML هم ازش حمایت می‌کنه، نصب روش‌هایی برای درک برنامه در خودِ برنامه‌ست.

—رابین میلنر

There are many ways of trying to understand programs. People often rely too much on one way, which is called “debugging” and consists of running a partly-understood program to see if it does what you expected. Another way, which ML advocates, is to install some means of understanding in the very programs themselves.

—Robin Milner