The quest for richer type systems results from this tension.
Việc tìm kiếm hệ thống kiểu phong phú hơn là kết quả của sự căng thẳng này.