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

Đôi khi chúng ta nghe thấy "Swift không làm cổ điển (theo dõi) GC, nó sử dụng ARC." Nhưng tôi không chắc có bất cứ điều gì trong ngữ nghĩa Swift yêu cầu đếm tham chiếu hay không. Dường như người ta có thể xây dựng trình biên dịch Swift …

9 semantics  garbage-collection 

Trong Chương 1 của Cơ sở thực tiễn cho các ngôn ngữ lập trình , tác giả đã đề cập rằng các cây cú pháp trừu tượng được liên kết với các loại . Theo trực giác, các loại giống như các loại, nhưng tôi muốn biết nếu chúng có …

9 terminology  programming-languages  semantics 

Hãy nói rằng danh sách được định nghĩa là List a = Nil | Cons a (List a) Vậy thì, trong Haskell là List xđiểm cố định lớn nhất hay ít nhất? Tôi yêu cầu bởi vì lfp nên loại trừ các danh sách vô hạn (nhưng bạn có thể …

9 programming-languages  type-theory  functional-programming  semantics  category-theory 

StackOverflow chỉ cho tôi ở đây, vì vậy câu hỏi có thể là một chút trong các điều khoản của giáo dân. Wikipedia định nghĩa các hàm thuần túy là Trong lập trình máy tính, một hàm có thể được mô tả là một hàm thuần nếu cả hai câu …

9 terminology  functional-programming  semantics 

Gần đây tôi đã thảo luận với một người bạn về một trang web đề xuất các thách thức regex, chủ yếu khớp một nhóm từ với một thuộc tính đặc biệt. Anh ta đang tìm kiếm một regex khớp với các chuỗi như ||||||||số lượng số |nguyên tố. Tôi …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Trong phép tính lambda thuần túy, chúng ta có tập hợp các thuật ngữ được xác định theo quy nạp (ngữ pháp): e : : = x | bước sóng x . e ∣ e1e2e:: =x|λx.e|e1e2e::= x \mid \lambda x . e \mid e_1 e_2 Theo chiến lược đánh giá …

8 programming-languages  lambda-calculus  semantics 

Tôi sắp triển khai một ngôn ngữ cụ thể theo miền để thể hiện các quy ước học tập xã hội. Một phần của việc thực hiện là một mô tả chính thức của một ngôn ngữ - 'tính toán', biểu tượng và biểu thức logic của nó. Cách tiếp …

8 formal-languages  programming-languages  semantics 

Tôi đang cố gắng chứng minh một số tuyên bố về việc thực thi trong các chương trình Java theo một số hạn chế nặng nề (về cơ bản tôi có một phỏng đoán rằng nếu hai phương thức thỏa mãn một tập các ràng buộc cho một đầu vào …

7 programming-languages  semantics  java  operational-semantics 

Gần đây tôi tình cờ thấy bài viết trên blog này của Brian McKenna giải thích về đa hình hàng. Đây dường như là một ý tưởng tuyệt vời đối với tôi, nhưng sau đó tôi nhận ra nó có mùi rất giống như đa hình tham số bị ràng …

7 programming-languages  semantics 

Khi chuyển đổi các thuật ngữ từ ngôn ngữ này sang ngôn ngữ khác, thuộc tính mong muốn theo trực giác là việc duy trì ngữ nghĩa (như được sử dụng ở đây để chuyển đổi CPS): s⇓v⟹c(s)⇓c(v)s⇓v⟹c(s)⇓c(v) s \Downarrow v \implies c(s) \Downarrow c(v) Tôi có một chút rắc …

7 terminology  logic  compilers  semantics 

Tôi có một câu hỏi về tính kế thừa trong các ngôn ngữ lập trình OO giống như Java. Nó xuất hiện trong lớp trình biên dịch của tôi, khi tôi giải thích cách biên dịch các phương thức và lời gọi của chúng. Tôi đã sử dụng Java làm …

7 programming-languages  semantics  typing  object-oriented  java