Khoa học máy tính lý thuyết functional-programming

2

(Làm thế nào) Chúng ta có thể khám phá / phân tích các vấn đề NP khi không có mô hình tính toán Turing không?

Từ quan điểm toán học / lý luận tính toán hoàn toàn trừu tượng, người ta thậm chí có thể khám phá hoặc suy luận về các vấn đề như 3-SAT, Subset Sum, Nhân viên bán hàng du lịch, v.v.? Chúng ta thậm chí có thể suy luận về chúng …

15 soft-question lambda-calculus turing-machines functional-programming np

2

Khóa kéo là gì và nó liên quan đến cấu trúc giống như cây như thế nào?

Tôi đã đọc một chương trong LYAH không thực sự có ý nghĩa với tôi. Tôi hiểu rằng dây kéo có thể tùy ý đi qua một cấu trúc giống như cây, nhưng tôi cần một số giải thích rõ ràng về nó. Ngoài ra, dây kéo có thể được …

15 ds.data-structures functional-programming tree

1

Tại sao các ngôn ngữ lập trình chức năng yêu cầu thu gom rác?

Điều gì ngăn cản ghc chuyển dịch Haskell sang ngôn ngữ lập trình ghép nối như logic kết hợp và sau đó chỉ đơn giản là sử dụng phân bổ ngăn xếp cho mọi thứ? Theo Wikipedia, việc dịch từ phép tính lambda sang logic kết hợp là không đáng …

14 functional-programming haskell

1

Một mô tả toán học (phân loại) của các lớp loại

Một ngôn ngữ chức năng có thể được xem như là một thể loại trong đó các đối tượng của nó là các loại và các hình thái chức năng giữa chúng. Làm thế nào để các lớp loại phù hợp trong mô hình này? Tôi giả sử chúng ta …

14 lo.logic functional-programming ct.category-theory denotational-semantics type-systems

2

Hoàn toàn tương đương về chức năng của B-Tree?

Tôi đang khám phá ý tưởng viết một DBMS theo cách hoàn toàn chức năng. Cấu trúc dữ liệu truyền thống được sử dụng để lập chỉ mục là B-Tree. Tôi muốn biết một số tương đương chức năng hoàn toàn của B-Tree sẽ được tối ưu hóa để giảm …

14 ds.data-structures functional-programming db.databases

3

Trộn băm kết hợp

Xem xét danh sách liên kết đơn lẻ trong một thiết lập chức năng hoàn toàn. Những lời ca ngợi của nó đã được hát từ đỉnh núi và sẽ tiếp tục được hát. Ở đây tôi sẽ giải quyết một trong số nhiều điểm mạnh của nó và câu …

14 ds.data-structures cr.crypto-security functional-programming hash-function

2

Lý thuyết thể loại và trình phân tích cú pháp - tài liệu tham khảo muốn

Vì tôi quan tâm đến các trình phân tích cú pháp (chủ yếu là các ngữ pháp biểu thức của trình phân tích cú pháp), tôi tự hỏi liệu có một số công việc đưa ra cách xử lý phân tích phân tích. Bất kỳ tài liệu tham khảo về …

13 reference-request functional-programming ct.category-theory parsing

2

Tiếp tục chuyển đổi các hàm nhị phân

Nhớ lại việc thông qua việc tiếp tục chuyển đổi (CPS transform) mà mất để beta Một : = R R A (nơi R là cố định) và f : A → B để β f : β Một → β B được định nghĩa bởi βMộtMộtAβA : = RRMộtβMột:= …

13 functional-programming monad continuations cps-transforms

2

Danh sách khác biệt trong lập trình chức năng

Câu hỏi Có gì mới trong cấu trúc dữ liệu chức năng thuần túy kể từ Okasaki? và câu trả lời sử thi của jbapple, được đề cập bằng cách sử dụng danh sách khác biệt trong lập trình chức năng (trái ngược với lập trình logic), đó là điều …

13 reference-request ds.data-structures pl.programming-languages functional-programming logic-programming

1

Điều gì làm cho một ngôn ngữ (và hệ thống loại của nó) có khả năng chứng minh các định lý về các thuật ngữ của chính nó?

Gần đây tôi đã cố gắng thực hiện Cedille-Core của Aaron , một ngôn ngữ lập trình tối giản có khả năng chứng minh các định lý toán học về các thuật ngữ của riêng nó. Tôi cũng đã chứng minh cảm ứng cho các kiểu dữ liệu được mã …

12 type-theory functional-programming constructive-mathematics

2

Mối quan hệ giữa Alternative, MonadPlus (LeftCatch) và MonadPlus (LeftDistributive) là gì?

Theo dõi Ví dụ về Monad là gì thay thế nhưng không phải là MonadPlus? : Giả sử là một đơn nguyên. Các mối quan hệ betweem là một Thay thế , MonadPlusCatch và MonadPlusDistr là gì? mmmmmmĐối với mỗi sáu cặp có thể, tôi muốn có một bằng chứng …

12 pl.programming-languages functional-programming haskell monad applicative

2

Cây cân bằng đơn giản với O (1) concat?

Trong trường hợp hoàn toàn chức năng tồi tệ nhất Thời gian liên tục Danh sách được sắp xếp có thể phân loại , Brodal et al. trình bày các cây cân bằng hoàn toàn chức năng với O (1) concatenate và O (lg n) chèn, xóa và tìm. Cấu …

12 functional-programming ds.data-structures

1

Chính xác thì hiệu ứng phụ có thể quan sát được về mặt ngữ nghĩa là gì?

Tôi có câu hỏi liên quan đến các chức năng thuần túy. Theo trang Wikipedia, một trong những điều cần thiết cho một chức năng thuần túy là: Đánh giá kết quả không gây ra bất kỳ tác dụng phụ hoặc đầu ra có thể quan sát được về mặt …

11 functional-programming semantics

3

Những thuật toán có thể được thể hiện bằng cách sử dụng một ngôn ngữ chức năng tổng thể với các toán tử song song dữ liệu?

Hãy tưởng tượng một ngôn ngữ lập trình chức năng chỉ có các kiểu dữ liệu là vô hướng số và các tổ hợp các mảng tùy ý. Ngôn ngữ thiếu bất kỳ phương tiện lặp lại không giới hạn, vì vậy những điều sau đây không được phép: vòng …

11 complexity-classes functional-programming dc.parallel-comp

1

Làm thế nào để bạn mã hóa thuật toán trừu tượng của Lamping bằng cách sử dụng các tổ hợp tương tác?

Các tổ hợp tương tác đã được đề xuất như là một mục tiêu biên dịch cho phép tính before trước đó. Bài báo đó thực hiện phép tính full đầy đủ. Người ta cũng biết rằng có thể tối ưu hóa các bảng mã tương tác của phép tính …

10 lambda-calculus functional-programming interaction-nets

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