Danh sách các vấn đề phức tạp (chưa được giải quyết) phát sinh từ PL

Một số vấn đề phức tạp lớn, tính toán mở phát sinh từ các ngôn ngữ lập trình, đặc biệt là phân tích và biên dịch chương trình là gì? Tôi đang tìm kiếm các vấn đề trên các dòng "độ phức tạp thời gian của suy luận kiểu Hindley-Milner" hoặc "độ phức tạp thời gian của 0CFA" (mặc dù cả hai đều được giải quyết vấn đề).

— xrq
nguồn

Tại sao bỏ phiếu để đóng? Nếu câu hỏi này "quá rộng", hàng tấn câu hỏi khác trên trang web này sẽ bị đóng.

— Damiano Mazza

Một người tôi quan tâm (nhưng tôi không chắc là nó chưa được giải quyết) đang sử dụng (không đóng) khoảng cách Beta của các điều khoản lambda từ một thuật ngữ cơ bản như là một thước đo độ phức tạp.

— Samuel Schlesinger

Pippenger (1) từ năm 1996 cho thấy (theo một số giả định) các ngôn ngữ lập trình chức năng (CBV) nghiêm ngặt chậm hơn so với các ngôn ngữ bắt buộc. Nó mở ra cho dù kết quả của Pippenger có thể được khái quát thành các ngôn ngữ chức năng lười biếng , như đã được chỉ ra trong (2).

Pippenger áp đặt hai giả định đơn giản hóa (tính toán trực tuyến và tính nguyên tử nhất định của đầu vào). Nó là mở cho dù họ có thể được gỡ bỏ. Pippenger phỏng đoán rằng nó có thể được thực hiện, nhưng cảnh báo: "[s] uch một kết quả [...] dường như vượt xa tầm với của các phương pháp hiện có trong lý thuyết phức tạp tính toán" .

Xem thêm câu trả lời của Campbell trong (3) và ghi chú của Ben-Amram (4).

^{1. N. Pippenger, Pure Versus Impure Lisp .}

^{2. R. Bird, G. Jones, O. De Moor, Nhanh vội hơn, ít tốc độ hơn: đánh giá lười biếng so với háo hức .}

^{3. Stack Overflow, Hiệu quả của lập trình chức năng thuần túy .}

^{4. AM Ben-Amram, Ghi chú về So sánh LISP thuần túy và không tinh khiết của Pippenger .}

— Martin Berger
nguồn