functional-programming

7Nhiệt

1Trả lời

Haskell có cho phép biểu thức cho phép đối sánh nhiều mẫu không?

Giả sử tôi có một chức năng thực hiện một số tính toán, với một số mẫu; được thực hiện dưới hình thức khớp mẫu. Hầu hết các mẫu này (cùng với những thứ khác khác nhau) một cách xử lý thông số, mà tôi

7Nhiệt

3Trả lời

Làm cho một kiểu dữ liệu tùy chỉnh có thể là

Ai đó có thể giải thích cho tôi làm cách nào để tạo một kiểu dữ liệu tùy chỉnh có thể thực hiện được không? ** Tôi không được phép sửa đổi bản thân Suit, ví dụ: phát sinh (Eq, Ord) data Suit = Clubs |

5Nhiệt

1Trả lời

kiểu chức năng để nhân hai danh sách với Scala

Tôi đang sử dụng Scala 2.9 và muốn xây dựng danh sách dựa trên một số thao tác. Hãy xem xét những điều sau đây, tôi có hai danh sách đơn giản: val l1 = List(2,3) val l2 = List(List(4,5,6),

11Nhiệt

1Trả lời

Các lớp tương đương và liên kết/tìm bằng ngôn ngữ chức năng

Đối với thuật toán tự động, tôi yêu cầu cấu trúc dữ liệu Union-Find nhanh chóng bằng ngôn ngữ chức năng. Vì tôi cần chính thức chứng minh tính chính xác của cấu trúc dữ liệu, tôi thích cấu trúc đơn gi

7Nhiệt

1Trả lời

Có cách nào thanh lịch để foldLeft trên scala.collections.mutable.Queue đang phát triển không?

Tôi có chức năng đệ quy mà tôi đang cố gắng thực hiện @tailrec bằng cách có phần bên trong, đệ quy (countR3) thêm các phần tử vào hàng đợi (agenda là scala.collections.mutable.Queue). Ý tưởng của tôi

9Nhiệt

4Trả lời

Gọi lại một hàm cho đến khi nó trả về None

Tôi thường gặp phải một mẫu hình vì vậy tôi đã tự hỏi liệu có phương pháp thuận tiện nào trong thư viện Scala cho nó hay không. Để nó là hàm f: A => Option[B]. Tôi muốn thực hiện cuộc gọi lặp lại đến

28Nhiệt

3Trả lời

Số lượng phổ quát và tồn tại của Logic bậc 1

Tôi đang tham gia một khóa học lập trình Scala. Tại một thời điểm người hướng dẫn nói: Chức năng blah và bladdy là phổ quát và hiện sinh quantifiers của logic bậc nhất. Ai đó có thể dịch "số lượng phổ

12Nhiệt

2Trả lời

η-mở rộng bằng một ngôn ngữ chức năng thuần túy

Trong OCaml, nó là hợp pháp phải có trong .mli: val f : 'a -> 'a val g : 'a -> 'a và .ml: let f x = x let g = f Tuy nhiên, trong F #, điều này bị từ chối: eta_expand.ml(2,5): error FS0034: Modul

7Nhiệt

1Trả lời

Dò web bằng Lược đồ

Có một thư viện/gói tốt để thực hiện việc cào web bằng cách sử dụng Đề án (tốt nhất là Racket) không? ví dụ: một Đề án tương đương với mechanize?

19Nhiệt

3Trả lời

Hàm lambda C++ 11 - cách chuyển tham số

Tôi đã sử dụng hàm lambda để chuyển nó tới hàm std::condition_variable wait(), nhưng đó không phải là trường hợp. Tôi sử dụng các hàm lambda không nhận bất kỳ tham số nào và mọi thứ hoàn toàn rõ ràng