lazy-evaluation

5Nhiệt

2Trả lời

Mục đích của Lazyamazy_from_val của OCaml là gì?

Các doc của Lazy.lazy_from_val khẳng định rằng chức năng này là dành cho trường hợp đặc biệt: val lazy_from_val : 'a -> 'a t lazy_from_val v returns an already-forced suspension of v This is for

ocaml lazy-evaluation 2012-03-18

---

35Nhiệt

2Trả lời

Đối số lười biếng của Scala: Làm thế nào để chúng hoạt động?

Trong tệp Parsers.scala (Scala 2.9.1) từ thư viện trình kết hợp phân tích cú pháp, tôi dường như đã gặp một tính năng Scala ít được biết đến hơn là "đối số lười". Dưới đây là một ví dụ: def ~ [U](q: =

scala lazy-evaluation 2012-03-21

---

10Nhiệt

2Trả lời

Khi nào thì đầu của luồng được đánh giá?

Thông thường nếu bạn tạo một đối tượng Stream, người đứng đầu sẽ được háo hức đánh giá: scala> Stream({println("evaluating 1"); 1} , 2, 3) evaluating 1 res63: scala.collection.immutable.Stream[Int]

scala stream lazy-evaluation 2012-03-25

---

5Nhiệt

2Trả lời

Haskell, xác định danh sách vô hạn, thêm dữ liệu khi đang di chuyển và sắp xếp cùng một lúc. Làm sao?

tôi phải xác định một danh sách trong đó: 1 là thành viên nếu n là thành viên, vì vậy là 2n + 1 và 3n + 1 Vì vậy, danh sách là vô hạn và phải được sắp xếp. Khi nạp vào GHCi, lệnh: "take 10 theList"

list haskell lazy-evaluation 2012-03-30

---

10Nhiệt

5Trả lời

Scala, mở rộng trình lặp số

Im tìm cách mở rộng trình vòng lặp để tạo phương thức mới takeWhileInclusive, hoạt động như takeWhile nhưng bao gồm phần tử cuối cùng. Vấn đề của tôi là cách tốt nhất để mở rộng trình vòng lặp để trả

scala iterator lazy-evaluation extend enrich-my-library 2012-02-17

---

12Nhiệt

1Trả lời

Hiệu suất luồng Scala

Ví dụ kinh điển về tính hữu dụng của các loại dữ liệu đại số đệ quy và đánh giá lười biếng là thuật toán trò chơi, ví dụ: như thể hiện trong bài báo WhyFP nổi tiếng của John Hughes (Phần J., Tập 32, S

scala functional-programming lazy-evaluation 2012-02-19

---

16Nhiệt

1Trả lời

Scala - Iterator trên tất cả các dòng trong các tập tin trong một thư mục

Tôi thực sự thích việc xây dựng for (line <- Source fromFile inputPath getLines) {doSomething line} cho iterating trên một tập tin trong scala và đang tự hỏi nếu có một cách sử dụng một cấu trúc tươ

scala io lazy-evaluation 2012-04-10

---

21Nhiệt

4Trả lời

Đánh giá chiến lược

Làm thế nào nên một lý do về đánh giá chức năng trong các ví dụ như sau trong Haskell: let f x = ... x = ... in map (g (f x)) xs Trong GHC, đôi khi (f x) được đánh giá chỉ một lần, và đôi khi

haskell lazy-evaluation 2012-02-24

---

5Nhiệt

2Trả lời

Vals lười biếng và các thông số tiềm ẩn trong Scala

Tôi đã cố gắng nắm bắt các tham số ngầm định hoạt động như thế nào trong Scala. Theo như tôi có thể nói, độ phân giải tham số ngầm sẽ diễn ra như sau: Truyền đạt đối tượng một cách rõ ràng. xác định n

scala parameters implicit lazy-evaluation 2012-04-15

---

11Nhiệt

5Trả lời

Thời gian chi phí của Haskell 'seq` hành

This FAQ nói rằng Nhà điều hành seq là seq :: a -> b -> b x seq y sẽ đánh giá x, đủ để kiểm tra xem nó không phải là đáy, sau đó loại bỏ kết quả và đánh giá y. Điều này có vẻ không hữu ích, nhưng nó

haskell lazy-evaluation strict seq 2012-03-14

---