Názor k článku Programovací jazyk OCaml: rekurze, pattern matching a práce se seznamy od Calculon - Pro fajnšmekry (Lean): def List.sum [Add α] [Inhabited α]...
-
Pro fajnšmekry (Lean):
def List.sum [Add α] [Inhabited α] (l : List α) := l.foldl (· + ·) default
