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

Theo trang Wikipedia về phân công đơn tĩnh (SSA) , SSA được sử dụng bởi các dự án lớn và nổi tiếng như LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey và V8 trong khi trang về các dự án sử dụng kiểu tiếp tục truyền (CPS) là một chút thiếu so …

15 compilers  program-optimization  continuations 

Trong một nhận xét cho Học tập F #: Những cuốn sách sử dụng các ngôn ngữ lập trình khác có thể được dịch sang F # để tìm hiểu các khái niệm chức năng? Makarius tuyên bố: Lưu ý rằng phương pháp "CPS" đã gây hại rất lớn đến …

11 compilers  functional-programming  proof-assistants  continuations 

Tôi đang xem xét các kỹ thuật triển khai cho các ngôn ngữ lập trình, và gần đây đã bắt gặp các ngăn xếp spaghetti, được cho là phù hợp với mô hình kiểu truyền tiếp tục (được sử dụng trong ví dụ Scheme và SML / NJ ). Để …

9 data-structures  programming-languages  continuations