我想學習科特林和我通過實例對工作 try.kotlinlang.org 我聽不太懂一些例子，特別是懶惰的屬性例如：https://try.kotlinlang.org/#/Examples/Delegated%20properties/Lazy%20property/Lazy%20property.kt /**
* Delegates.lazy() is a function that retu
我想要一個find函數用於大小有界類型的流，類似於列表和查找函數。 total
find : MaxBound a => (a -> Bool) -> Stream a -> Maybe a
的挑戰是它，使其： 是總 消耗不超過 恆定 log_2Ñ空間，其中N是編碼最大a所需的比特的數量。 時間不超過一分鐘，以檢查在編譯時 沒有徵收成本運行 通常對於流的總能找得到實現聽起來荒謬。流是無限的，
爲什麼我的merge函數抱怨它的類型？ 是不是我x一個type 'a seq？ type 'a seq = Stop | Cons of 'a * (unit -> 'a seq)
let rec linear start step= (*builds a seq starting with 'start'*)
Cons (start, fun() -> linear (start+