我寫這個函數: ||| Returns the ten largest values in the list.
top_ten : Ord a => List a -> List a
我第一次嘗試是一個pointfree實現使用功能組成: top_ten = take 10 . reverse . sort
但是這給了以下錯誤: Main.idr:3:9:When checking ri
這個錯誤會有很多問題,我還沒有找到正確的解決方案。我嚴格使用PHP本身,而不是其他人發佈的示例。 我想重載__set和__get來動態創建數據數組中的這些屬性,但是,當我嘗試使用下面的示例創建一個屬性時,我收到此錯誤。但我可以創建屬性,如果它是一個字符串或int,所以我不明白爲什麼它不會傳遞值? 超載特性::字段的間接修改沒有影響 類getter方法: public function __get(