Harper 2009 proposes including both strict and lazy evaluation in the same language, using the language's type system to distinguish them.
Harper 2009 đề xuất đưa cả tính toán chặt lẫn không chặt vào một ngôn ngữ, bằng cách dùng hệ thống kiểu của ngôn ngữ để phân biệt chúng.