Những người đề xuất các ngôn ngữ lập trình chức năng khẳng định rằng lập trình chức năng giúp cho việc lập luận về mã dễ dàng hơn. Những người ủng hộ các ngôn ngữ gõ tĩnh nói rằng trình biên dịch của họ bắt đủ lỗi để bù cho sự phức tạp bổ sung của các hệ thống loại. Nhưng tất cả mọi thứ tôi đọc về các chủ đề này đều dựa trên lập luận hợp lý, không dựa trên dữ liệu thực nghiệm.
Có nghiên cứu thực nghiệm nào về những tác động của các loại ngôn ngữ lập trình khác nhau đối với tỷ lệ lỗi hoặc các số liệu chất lượng khác không?
(Các câu trả lời cho câu hỏi này dường như chỉ ra rằng không có nghiên cứu nào như vậy, ít nhất là không dành cho cuộc tranh luận động và tĩnh)