Đây là tuyển tập tài liệu hỗ trợ học tập do một người tên Hong Jaemin thuộc Khoa Khoa học Máy tính KAIST biên soạn vào năm 2019 với vai trò trợ giảng cho học phần ‘Ngôn ngữ lập trình’ (CS320), và được giáo sư Ryu Seokyeong hiệu đính. (Tiếng Hàn, tiếng Anh) Để giải thích nền tảng lý thuyết của ngôn ngữ lập trình trong khoa học máy tính, tài liệu trình bày theo dòng chảy lần lượt bổ sung từng khái niệm của lĩnh vực này, từ đó định nghĩa một ngôn ngữ lập trình nhỏ bằng toán học và hiện thực trình thông dịch của nó bằng Scala.
2 bình luận
Ông Hong Jae-min đã viết một cuốn sách với nhan đề 'Vững chắc nhờ kiểu dữ liệu, linh hoạt nhờ tính đa hình'. Đây là sách của một người am hiểu sâu về lý thuyết ngôn ngữ lập trình nên rất đáng mong đợi.
https://blog.insightbook.co.kr/2023/10/…
Việc dùng Scala làm tài liệu cho môn học ngôn ngữ lập trình khá thú vị nhỉ.
Mình đã thấy khá nhiều tài liệu giảng dạy dùng các ngôn ngữ hàm thuộc họ ML như OCaml, nhưng đây là lần đầu tiên mình thấy Scala. Vì Scala cũng được dùng khá nhiều trong thực tế như một ngôn ngữ dựa trên JVM, nên có vẻ tính thực tiễn cũng cao hơn.