我寫這個函數: ||| 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
簡化雙參數匿名函數在榆樹,如果我有一個匿名函數 (\f x -> f x)
我可以把它簡化爲 (<|)
能同樣爲兩個參數來完成函數的參數是另一個函數的參數? (\x y -> f x y |> g)
我以爲我可以簡單地使用 (f |> g)
但編譯器抱怨的類型。 具體來說,在的情況下,我update功能之一,我有這樣的事情: let
msgNames = [Foo, Ba
函數組合我有以下的例子,即使類型不對決相互 - isSome;
val it = fn : 'a option -> bool
- SOME;
val it = fn : 'a -> 'a option
- val my_converter = (fn x => if x = 5 then SOME x else NONE);
val my_converter = fn : int