Khoa học máy tính functional-programming

6

Là lý thuyết thể loại hữu ích cho việc học lập trình chức năng?

Tôi đang học Haskell và tôi bị mê hoặc bởi ngôn ngữ này. Tuy nhiên tôi không có nền tảng toán học hay CS nghiêm túc. Nhưng tôi là một lập trình viên phần mềm có kinh nghiệm. Tôi muốn học lý thuyết thể loại để tôi có thể trở …

118 programming-languages functional-programming category-theory

3

Các loại phụ thuộc so với các loại sàng lọc

Ai đó có thể giải thích sự khác biệt giữa các loại phụ thuộc và các loại sàng lọc? Theo tôi hiểu, một loại sàng lọc chứa tất cả các giá trị của một loại đáp ứng một vị ngữ. Có một tính năng của các loại phụ thuộc mà …

58 terminology programming-languages type-theory functional-programming dependent-types

3

Làm thế nào phức tạp thuật toán được mô hình hóa cho các ngôn ngữ chức năng?

Độ phức tạp của thuật toán được thiết kế để độc lập với các chi tiết cấp thấp hơn nhưng nó dựa trên một mô hình bắt buộc, ví dụ truy cập mảng và sửa đổi một nút trong cây mất thời gian O (1). Đây không phải là trường …

38 algorithm-analysis runtime-analysis computation-models functional-programming

3

Một giải thích ngắn gọn nhưng đầy đủ về một hệ thống loại thuần túy / phụ thuộc là gì?

Nếu một cái gì đó đơn giản, thì nó nên được giải thích hoàn toàn với một vài từ. Điều này có thể được thực hiện cho phép tính: Calcul-compus là một ngữ pháp cú pháp (về cơ bản, cấu trúc) với quy tắc rút gọn (có nghĩa là quy …

32 functional-programming type-theory

2

Làm thế nào để lập trình phản ứng chức năng và mô hình diễn viên liên quan với nhau?

FRP là về truyền phát các sự kiện và hành vi thông qua các chức năng thuần túy. Mô hình Actor - ít nhất, như được triển khai trong Akka - là về việc truyền các thông điệp bất biến (có thể được coi là các sự kiện rời rạc) …

30 distributed-systems functional-programming programming-paradigms

2

Là Lambda Compus hoàn toàn là cú pháp?

Tôi đã đọc vài tuần về Công cụ tính toán Lambda, nhưng tôi chưa thấy bất cứ điều gì khác biệt về mặt vật chất với các hàm toán học hiện có, và tôi muốn biết liệu đó chỉ là vấn đề của ký hiệu, hay liệu có bất kỳ …

29 lambda-calculus functional-programming

2

Làm thế nào để thực hiện một trình thông dịch prolog trong một ngôn ngữ chức năng thuần túy?

Có một tài liệu tham khảo rõ ràng, với mã giả, về cách thực hiện trình thông dịch Prolog bằng ngôn ngữ thuần túy? Điều mà tôi đã tìm thấy cho đến nay dường như chỉ đối phó với các ngôn ngữ bắt buộc, chỉ đơn thuần là một minh …

25 functional-programming prolog logic-programming

3

Mối quan hệ giữa functor trong lý thuyết SML và Category là gì?

Cùng suy nghĩ như câu nói này của Andrej Bauer trong câu trả lời này Cộng đồng Haskell đã phát triển một số kỹ thuật lấy cảm hứng từ lý thuyết thể loại, trong đó monads được biết đến nhiều nhất nhưng không nên nhầm lẫn với monads . Mối …

24 programming-languages functional-programming category-theory

2

Là biểu thức tính toán giống như đơn nguyên?

Câu hỏi này đã được di chuyển từ Stack Overflow vì nó có thể được trả lời trên Computer Science Stack Exchange. Di cư 5 năm trước . Tôi vẫn đang học lập trình chức năng (với f #) và gần đây tôi đã bắt đầu đọc về các biểu …

22 functional-programming

4

Tại sao chúng ta sử dụng các cấu trúc dữ liệu liên tục trong lập trình chức năng?

Lập trình hàm sử dụng các cấu trúc dữ liệu liên tục và các đối tượng bất biến. Câu hỏi của tôi là tại sao điều quan trọng là phải có cấu trúc dữ liệu như vậy ở đây? Tôi muốn hiểu ở mức độ thấp những gì sẽ xảy …

22 data-structures functional-programming programming-paradigms persistent-data-structure

2

Lý thuyết Danh mục có nghĩa là gì chưa biết cách xử lý các hàm bậc cao hơn?

Khi đọc Uday Reddy của câu trả lời cho mối quan hệ giữa functors trong SML và lý thuyết Loại là gì? Tiểu bang Lý thuyết danh mục chưa biết cách xử lý các hàm bậc cao hơn. Một ngày nào đó, nó sẽ. Như tôi nghĩ lý thuyết Danh …

22 functional-programming category-theory

2

Thể loại lý thuyết (không) cho lập trình?

Sau khi học Haskell và các ngôn ngữ FP không thuần túy khác, tôi quyết định đọc về lý thuyết Danh mục. Sau khi hiểu rõ về lý thuyết Danh mục, tôi bắt đầu suy nghĩ về cách sử dụng các khái niệm của lý thuyết thể loại để suy …

21 functional-programming category-theory

5

Lambda tính toán ngoài lập trình chức năng?

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính lý thuyết bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính. Di cư 7 năm trước . Tôi là một sinh viên đại học và chúng …

21 lambda-calculus functional-programming

1

Tại sao không lập trình chức năng nghiên cứu cây động?

Cây động đóng vai trò quan trọng trong việc giải quyết các vấn đề như dòng chảy mạng, đồ thị động, vấn đề tổ hợp ("Cây năng động trong thực tiễn" của Tarjan và Werneck) và gần đây hợp nhất từ điển ("Từ điển hợp nhất đơn giản" của Adam …

19 data-structures trees functional-programming

1

Những lớp cấu trúc dữ liệu có thể được thực hiện liên tục?

Cấu trúc dữ liệu liên tục là cấu trúc dữ liệu bất biến. Các thao tác trên chúng trả về một "bản sao" mới của cấu trúc dữ liệu, nhưng bị thay đổi bởi thao tác; cấu trúc dữ liệu cũ vẫn không thay đổi. Hiệu quả thường được thực …

19 reference-request data-structures functional-programming persistent-data-structure

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