Tôi thực sự thích học ML tại trường đại học. Tôi tìm thấy lập trình chức năng thường là một cách thanh lịch mới mẻ để viết các thuật toán nhất định. Tôi đã nghe nói về F # và chơi xung quanh với điều
Tôi mới bắt đầu với SML và tôi đang cố sửa đổi một số mã để tôi hiểu nó đang làm gì (tôi không thể tìm được trình gỡ rối SML/NJ tốt, nhưng đó là một câu hỏi riêng). fun type_check e theta env non_gens
Tôi đã xem qua SMLNJ User Guide và không thể tìm thấy bất kỳ điều gì về khả năng gỡ lỗi. Tôi rất thích chỉ nhìn thấy một dấu vết ngăn xếp, hoặc bước qua một chức năng. Điều này có thể. Có các triển kh