Giới thiệu sách 『Types in Programming Languages』

Nhà xuất bản Insight đang lên kế hoạch cho một cuốn sách tiếp cận lý thuyết kiểu dữ liệu theo hướng khái niệm, dành chủ yếu cho những người đã có một mức kinh nghiệm nhất định về lập trình, và được biết là bản thảo đầu tiên của cuốn sách này đã được công khai (việc đây là bản thảo đầu tiên là thông tin tôi biết được sau khi hỏi biên tập viên).

Sách về lý thuyết ngôn ngữ lập trình bằng tiếng Hàn vốn không phải là điều thường gặp, và việc toàn bộ nội dung cuốn sách, dù mới chỉ là bản thảo đầu tiên, được công bố trọn vẹn cũng có lẽ là chuyện hiếm thấy, nên tôi muốn giới thiệu đến mọi người. Tuy không phải tiếng Hàn, nhưng cũng có giáo trình Introduction to Programming Languages do cùng tác giả đồng chấp bút.

[alstjr7375]

Dù không phải là dòng phổ biến, nhưng các kiểu dữ liệu đang được đưa vào những ngôn ngữ dùng cho chứng minh gần đây cũng khá thú vị.

Idris 2: Quantitative Type
https://arxiv.org/abs/2104.00480

Cubical agda
https://dl.acm.org/doi/10.1145/3341691

[kleinstein]

Có vẻ đây không phải là kiểu sách giúp những người đang làm việc thực tế có thể áp dụng ngay tại hiện trường,
Mà rõ ràng nó tập trung nhiều hơn vào lý thuyết và nguyên lý.
Những cuốn như thế này cũng nên tranh thủ đọc dần.. hu hu

[dotoritos]

Nếu không phiền thì mua giúp tôi đúng một con gà rán nhé.