1
Toán học cần thiết để hiểu lý thuyết đằng sau hệ thống loại của Haskell?
Gần đây, tôi trở nên quan tâm sâu sắc đến Haskell. Trong khi cố gắng học các khái niệm mới (ví dụ: từ khóa forall và ST monad ) và hệ thống loại của Haskell nói chung, tôi liên tục chạy vào các khái niệm từ lý thuyết thể loại …