Câu hỏi được gắn thẻ «imperative-programming»

Lập trình hàm có cơ sở lý thuyết về tính toán lambda và logic kết hợp . Là một người liên quan đến tính toán thống kê, tôi thấy những khái niệm này rất hữu ích cho việc mô hình hóa. Có một cơ sở toán học tương đương của …

48 imperative-programming  pl.programming-languages 

Có lẽ ứng dụng phổ biến nhất của các loại tuyến tính trong PL là sử dụng chúng để đưa ra các ngôn ngữ kiểm soát răng cưa (nghĩa là một giá trị tuyến tính có một con trỏ duy nhất cho nó, nhiều hay ít). Nhưng có một sự …

23 pl.programming-languages  ct.category-theory  imperative-programming  denotational-semantics  linear-logic 

Trong phần "Giới thiệu về ngôn ngữ lập trình" của Anthony Aaby về ngữ nghĩa , ông đưa ra nhận xét sau: Phần lớn công việc trong ngữ nghĩa của các ngôn ngữ lập trình được thúc đẩy bởi các vấn đề gặp phải khi cố gắng xây dựng và …

19 imperative-programming  semantics  big-picture 

Tôi đang đọc cuốn Thực thi ngôn ngữ lập trình chức năng của Simon Peyton Jones và có một câu khiến tôi hơi ngạc nhiên (ở trang 39): Ở một mức độ lớn hơn nhiều so với trường hợp của các ngôn ngữ mệnh lệnh, các ngôn ngữ chức năng …

17 functional-programming  semantics  imperative-programming 

Trong quá trình tìm kiếm tài liệu nghiên cứu về các hệ thống loại cho các ngôn ngữ mệnh lệnh, tôi chỉ tìm giải pháp cho một ngôn ngữ có các tham chiếu có thể thay đổi nhưng không có cấu trúc điều khiển mệnh lệnh thực sự như toán …

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming