callcc

38Nhiệt

10Trả lời

Tôi đã thử nhiều lần để nắm bắt khái niệm về continuations và call/cc. Mọi nỗ lực đơn lẻ đều thất bại. Ai đó có thể giải thích cho tôi những khái niệm này, lý tưởng với các ví dụ thực tế hơn những ví

32Nhiệt

9Trả lời

Tôi chỉ không nhận được sự tiếp tục!

Chúng là gì và chúng phù hợp với điều gì? Tôi không có bằng CS và nền của tôi là VB6 -> ASP -> ASP.NET/C#. Bất cứ ai có thể giải thích nó một cách rõ ràng và súc tích?

13Nhiệt

2Trả lời

Có thể thực hiện cuộc gọi tiếp tục với hiện tại chỉ với lambdas và đóng cửa không?

Có ai biết nếu call/cc có thể được triển khai chỉ với lambdas và đóng cửa không? Dường như call/cc ngắt dòng chảy của chương trình (như ngoại lệ) nhưng lambdas và đóng cửa không thể thực hiện điều đó.

7Nhiệt

4Trả lời

Cụ thể về cuộc gọi/cc

Điều này liên quan đến What is call/cc?, nhưng tôi không muốn chiếm đoạt câu hỏi này cho mục đích của riêng mình và một số đối số của nó giống như sự tương tự với setjmp/longjmp né tránh tôi. Tôi nghĩ

8Nhiệt

2Trả lời

Điểm kiểm tra và khôi phục heap trong Ruby

Ruby's callcc chụp tiếp tục hiện tại, sau đó có thể được gọi để khôi phục kiểm soát, nhưng không được gọi là dữ liệu. Tôi muốn nắm bắt sự tiếp tục hiện tại cùng với hình ảnh hiện tại của bộ nhớ. Dường

5Nhiệt

1Trả lời

dày dạn hay âm mưu của get-đầu tiên, get-next, và chức năng đi lạch bạch

(define get-first (lambda (l) (call-with-current-continuation (lambda (here) (set! leave here) (waddle l) (leave (quote())))))) (define get-first (lambda (l)

9Nhiệt

3Trả lời

Có thể sử dụng lệnh gọi/cc để thực hiện đệ quy không?

Tôi tự hỏi liệu có thể định nghĩa một hàm đệ quy mà không cần gọi hàm đó trong cơ thể của nó nhưng bằng cách nào đó sử dụng lệnh gọi/cc thay thế? Cảm ơn.

18Nhiệt

4Trả lời

Tại sao không tồn tại một nguyên thủy `call-with-current-continuations` trong Common Lisp?

Gần đây tôi đã nghiên cứu sự khác biệt giữa Đề án và Lisp chung về cách tiếp cận mà hai ngôn ngữ này hướng tới việc tiếp tục. Tôi đã nhận thấy rằng phương pháp tiếp cận chung của Lisp là bảo thủ hơn s

5Nhiệt

3Trả lời

Điều gì phân biệt sự tiếp tục của một hàm?

Tiếp tục mô tả điều gì xảy ra tiếp theo với một số giá trị, đúng không? Đó không chỉ là một hàm có giá trị và thực hiện một số tính toán? (+ (* 2 3) 5) việc tiếp tục (* 2 3) là (+ _ 5) (define k (la

7Nhiệt

1Trả lời

Tại sao chúng ta có thể thực hiện cuộc gọi/cc, nhưng logic cổ điển (intuitionistic + call/cc) không mang tính xây dựng?

Logic trực giác, mang tính xây dựng, là cơ sở cho các hệ thống kiểu trong lập trình hàm. Logic cổ điển không mang tính xây dựng, đặc biệt là luật bị loại trừ giữa A ∨ ¬A (hoặc các giá trị tương đương,