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

Kể từ cuốn sách "Cấu trúc dữ liệu chức năng thuần túy" năm 1998 của Chris Okasaki, tôi đã không thấy quá nhiều cấu trúc dữ liệu chức năng thuần túy thú vị mới xuất hiện; Tôi chỉ có thể đặt tên cho một vài: IntMap (cũng được phát minh …

563 reference-request  big-list  ds.data-structures  functional-programming 

Câu hỏi này được lấy cảm hứng từ một câu hỏi khác về những gì mới trong PFDS kể từ khi xuất bản cuốn sách của Okasaki năm 1998 . Tôi sẽ bắt đầu với hai câu hỏi tôi có: Có một cấu trúc dữ liệu tập hợp chức năng …

51 big-list  ds.data-structures  functional-programming 

Tôi muốn hiểu Applicativevề lý thuyết thể loại. Các tài liệu cho Applicativebiết rằng đó là một functor đơn hình lỏng lẻo mạnh mẽ . Đầu tiên, trang Wikipedia về functor đơn hình nói rằng một functor đơn hình là lỏng lẻo hoặc mạnh mẽ . Vì vậy, dường như …

40 lo.logic  type-theory  functional-programming  ct.category-theory 

Hầu hết các thuật toán nổi tiếng là thứ nhất, theo nghĩa là đầu vào và đầu ra của chúng là dữ liệu "đơn giản". Một số là thứ tự thứ hai theo cách tầm thường, ví dụ như sắp xếp, hàm băm hoặc hàm và bản đồ: chúng được …

35 ds.algorithms  functional-programming  ds.data-structures  pl.programming-languages 

Có bất kỳ ngôn ngữ lập trình (chức năng?) Trong đó tất cả các chức năng có dạng chính tắc không? Nghĩa là, bất kỳ hai hàm nào trả về cùng một giá trị cho tất cả các bộ đầu vào được biểu diễn theo cùng một cách, ví dụ: …

29 computability  pl.programming-languages  functional-programming  function 

Tôi hiện đang đọc " Lambda- Compus and Combinators " của Hindley và Seldin. Tôi không phải là một chuyên gia, nhưng luôn quan tâm đến tính toán lambda vì liên quan đến lập trình chức năng (bắt đầu với Lisp và SICP, và bây giờ với R và Haskell). …

26 combinatory-logic  functional-programming  lambda-calculus 

ACSL (Ngôn ngữ đặc tả Ansi C), là một đặc tả cho mã C, được chú thích với các nhận xét đặc biệt, cho phép mã C được xác minh chính thức. Tôi chưa nhìn vào nó, nhưng tôi tưởng tượng rằng các phương thức chính thức được sử dụng …

25 lo.logic  pl.programming-languages  functional-programming  formal-methods  haskell 

Tôi đang thiết kế một ngôn ngữ lập trình hàm đơn giản gõ như một kinh nghiệm học tập. Dường như hệ thống loại tôi đã triển khai cho đến nay có thể (với một chút công việc phụ) kết hợp các loại giao cắt và kết hợp, ví dụ: …

22 type-theory  functional-programming  type-inference  language-design 

Tôi chỉ nhận ra rằng tôi đã giả sử câu trả lời cho câu hỏi của mình là "có" nhưng tôi không có lý do chính đáng. Tôi tưởng tượng rằng có thể có một người thu gom rác chỉ giới thiệu chậm lại trường hợp xấu nhất . Có …

22 reference-request  ds.data-structures  pl.programming-languages  functional-programming 

Những hạn chế của tổng thể lập trình chức năng là gì? Nó không hoàn thành Turing, nhưng vẫn hỗ trợ một tập hợp lớn các chương trình có thể. Có những cấu trúc quan trọng mà bạn có thể viết bằng ngôn ngữ Turing-Complete, nhưng không phải bằng ngôn …

19 computability  pl.programming-languages  functional-programming 

Tôi đã cố gắng đọc Ngọc trai của thiết kế thuật toán chức năng , và sau đó là Đại số lập trình , và có một sự tương ứng rõ ràng giữa các kiểu dữ liệu được xác định đệ quy (và đa thức), có cùng định nghĩa đệ …

17 cc.complexity-theory  co.combinatorics  functional-programming  ct.category-theory 

Tôi đang đọc cuốn Thực thi ngôn ngữ lập trình chức năng của Simon Peyton Jones và có một câu khiến tôi hơi ngạc nhiên (ở trang 39): Ở một mức độ lớn hơn nhiều so với trường hợp của các ngôn ngữ mệnh lệnh, các ngôn ngữ chức năng …

17 functional-programming  semantics  imperative-programming 

Đặt là CCC . Hãy là một bifunctor sản phẩm trên . Vì Cat là CCC, chúng ta có thể cà ri :( × ) C ( × )CCC(×)(×)(\times)CCC(×)(×)(\times) curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B Functor loại có cấu trúc …

17 functional-programming  pl.programming-languages  ct.category-theory 

Sau khi làm việc với 2-3 cây ngón tay khá lâu, tôi đã bị ấn tượng bởi tốc độ của chúng trong hầu hết các hoạt động. Tuy nhiên, một vấn đề tôi gặp phải là chi phí lớn liên quan đến việc tạo ra một cây ngón tay lớn …

16 ds.data-structures  functional-programming 

Tôi cần lưu trữ các bộ phần tử loại a. Gõ được ra lệnh một phần, vì vậy so sánh và có thể trở lại nhỏ hơn, lớn hơn, bằng hoặc không thể so sánh.một1một1a_1một2một2a_2 Một vấn đề với hashtables là hai phần tử bằng nhau có thể được biểu …

15 ds.data-structures  functional-programming  sorting