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

4

Tại sao điều quan trọng là các hàm ẩn danh trong phép tính lambda?

Tôi đang xem bài giảng của Jim Weirich, có tựa đề ' Cuộc phiêu lưu trong lập trình chức năng '. Trong bài giảng này, ông giới thiệu khái niệm về tổ hợp Y, về cơ bản tìm thấy điểm cố định cho các hàm bậc cao hơn. Một trong …

19 lambda-calculus functional-programming

3

Hàm ML loại 'a ->' b

Giáo sư của chúng tôi yêu cầu chúng tôi nghĩ về một chức năng trong OCaml có loại 'a -> 'b tức là một hàm của một đối số có thể là bất cứ thứ gì và có thể trả về một thứ khác. Tôi đã nghĩ đến việc sử …

19 programming-languages typing functional-programming

3

Làm thế nào để tạo ra một ngôn ngữ đồng âm

Theo bài viết này , dòng mã Lisp sau đây in "Hello world" thành đầu ra tiêu chuẩn. (format t "hello, world") Lisp, một ngôn ngữ đồng âm , có thể coi mã là dữ liệu theo cách này: Bây giờ hãy tưởng tượng rằng chúng ta đã viết macro …

16 programming-languages functional-programming

1

Không có mô hình lý thuyết ngây thơ nào của phép tính đa hình Lambda?

Trong bài viết của Philip Wadler về các định lý miễn phí , ông nêu trong Phần 2 về Tham số không có mô hình lý thuyết tập hợp ngây thơ nào của phép tính lambda đa hình Trong các kiểu mô hình lý thuyết tập hợp ngây thơ là …

15 functional-programming

3

Học lý thuyết ngôn ngữ lập trình

Gần đây tôi đã trở nên cực kỳ quan tâm đến việc hiểu và chứng minh các khía cạnh của ngôn ngữ lập trình (chức năng). Tuy nhiên, khi tôi đi sâu hơn vào, những thứ như phép tính, lý thuyết phạm trù và ngữ nghĩa học biểu thị là …

15 reference-request lambda-calculus functional-programming books

3

Làm thế nào một CPU được thiết kế hoàn toàn cho lập trình chức năng sẽ khác nhau?

CPU ở một mức độ nào đó được thiết kế với phần mềm mà mọi người sẽ viết cho nó, hoàn toàn hoặc rõ ràng. Dường như với tôi rằng nếu bạn nhìn vào thiết kế của các kiến trúc tập lệnh, chúng rất "bắt buộc", theo nghĩa là mỗi …

14 computer-architecture functional-programming

2

Có các bài báo đánh giá ngang hàng nghiên cứu những ưu và nhược điểm của lập trình chức năng?

Ai đó có thể giới thiệu cho tôi các bài báo đánh giá ngang hàng nghiên cứu các ưu điểm hoặc nhược điểm của việc viết mã theo kiểu chức năng không? Có bài báo nào thảo luận về các ứng dụng của Lambda Tính trong các lĩnh vực như …

14 reference-request programming-languages lambda-calculus functional-programming

2

Có một lý thuyết / trừu tượng đằng sau OOP?

Lập trình hàm có tính toán Lambda rất thanh lịch và các biến thể của nó như là một lý thuyết dự phòng. Có một điều như vậy cho OOP? Một sự trừu tượng cho mô hình hướng đối tượng là gì?

13 terminology lambda-calculus functional-programming object-oriented

2

Các hàm bậc cao hơn có cung cấp nhiều năng lượng hơn cho lập trình hàm không?

Tôi đã hỏi một câu hỏi tương tự trên cstheory.SE . Theo câu trả lời này trên Stackoverflow có một thuật toán trên một ngôn ngữ lập trình chức năng thuần túy phi lười biếng có phức tạp, trong khi cùng một thuật toán trong lập trình bắt buộc là …

13 complexity-theory lambda-calculus functional-programming turing-completeness

1

Là đơn nguyên IO về mặt kỹ thuật không chính xác?

Trên wiki haskell có ví dụ sau về việc sử dụng đơn vị IO có điều kiện (xem tại đây) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Lưu ý rằng trong ví dụ này, …

12 programming-languages functional-programming haskell

2

Kiến trúc CPU có thiên vị đối với thời gian chạy thủ tục không?

Có bất kỳ thay đổi nào có thể được thực hiện đối với CPU để làm cho chúng hoạt động tốt hơn cho các thời gian chạy đồng thời như Rust không? Chẳng hạn, có những thay đổi đối với việc triển khai dự đoán nhánh hoặc kích thước bộ …

12 computer-architecture concurrency functional-programming

3

Làm thế nào để 'phá rừng' loại bỏ 'cây' khỏi một chương trình?

Tôi nghĩ hiểu cách phá rừng tiêu thụ và tạo ra một danh sách cùng một lúc (từ một nếp gấp và một hàm mở ra - xem câu trả lời hay này trên CodeReview ở đây ), nhưng khi tôi so sánh với mục wikipedia về kỹ thuật thì …

12 terminology compilers functional-programming

1

Các thuộc tính như sử dụng bộ nhớ của hàm có thể được thể hiện bằng ngôn ngữ được gõ phụ thuộc không?

Giả sử người ta muốn lý giải về các thuộc tính của mã ngoài những thứ như tính toàn bộ và độ tinh khiết của chức năng - người ta cũng quan tâm đến mức tiêu thụ bộ nhớ hoặc độ phức tạp thuật toán của hàm. Điều này có …

11 type-theory functional-programming dependent-types inductive-datatypes

2

Thực hiện cấu trúc dữ liệu bất biến (liên tục) giống như mảng với lập chỉ mục nhanh, nối thêm, trả trước, lặp

Tôi đang tìm kiếm một cấu trúc dữ liệu liên tục tương tự như mảng (nhưng không thay đổi), cho phép lập chỉ mục nhanh, nối thêm, trả trước và lặp lại (địa phương tốt). Clojure cung cấp Vector liên tục, nhưng nó chỉ để nối nhanh. Scala's Vector có …

11 data-structures functional-programming persistent-data-structure

1

Cách tiếp cận CPS của người dùng đã làm hại rất nhiều đến hiệu suất trong SML / NJ; lý luận mong muốn

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

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