5
Hầu hết thời gian, tất cả những gì bạn nhận được là lỗi không tìm thấy tiềm ẩn. Bạn không biết nơi nào trong chuỗi xây dựng ngầm nó không thành công. Rõ ràng bạn không thể sử dụng debug runtime hoặc print statement. Vì vậy, làm thế nào để bạn gỡ lỗi chương trình cấp loại khác hơn là nhìn chằm chằm vào mã của bạn thực sự khó khăn?Làm thế nào để bạn gỡ lỗi mã typelevel?
EPFL, Typesafe và nhóm Scala hiện có nhiều vị trí nghiên cứu mở để trả lời câu hỏi chính xác đó. Hay, nói cách khác: câu trả lời cho câu hỏi đó đáng giá một tiến sĩ. –