Tôi ít quan tâm đến các ngôn ngữ nơi bạn có thể viết hầu hết mọi thứ, nhưng sau đó được yêu cầu viết một bằng chứng kèm theo rằng những gì bạn viết đã chấm dứt.
Tôi quan tâm nhiều hơn đến không gian thiết kế của các ngôn ngữ vốn đã bị giới hạn trong các lớp phức tạp nhất định khi xây dựng.
Có bất kỳ loại phân cấp lý thuyết cho các ngôn ngữ hoàn thành phụ?