Я действительно хочу, чтобы Google лучше искал синтаксис:
decades :: (RealFrac a) => a -> a -> [a] -> Array Int Int
decades a b = hist (0,9) . map decade
where decade x = floor ((x - a) * s)
s = 10 / (b - a)
f(g(x))
is
по математике: f ∘ g (x)
в haskell: ( f . g ) (x)
Это означает композицию функций. См. этот вопрос.
Также обратите внимание, что f.g.h x не эквивалентно (f.g.h) x, потому что он интерпретируется как f.g.(h x), который не будет проверять тип, если (h x) не вернет функцию.
Здесь может пригодиться оператор $: f.g.h $ x превращает x из параметра в h в параметр всего выражения. И так он становится эквивалентом f(g(h x)), и труба снова работает.
. - функция высшего порядка для композиции функций.
Prelude> :type (.)
(.) :: (b -> c) -> (a -> b) -> a -> c
Prelude> (*2) . (+1) $ 1
4
Prelude> ((*2) . (+1)) 1
4
"Точка - это оператор композиции функции. В общих чертах, где f и g - функции, (f. G) x означает то же, что и f (gx). Другими словами, точка используется для получения результата от функции справа, передать его в качестве параметра функции слева и вернуть новую функцию, которая представляет это вычисление. "
Источник: "оператор периода haskell" в поиске Google.
Состав функций (страница довольно длинная, воспользуйтесь поиском)
Data.Vector.Unboxed.length). - person kennytm schedule 21.03.2010(a -> b) -> [a] -> [b]показываетmap) и имен функций / операторов (поэтому поискmapвызываетmap, а поиск.включает оператор композиции Prelude функции(.)). Также есть Хаю! (holumbus.fh-wedel.de/hayoo/hayoo.html), в котором меньше внимания уделяется типам, но индексируется больше пакетов. - person Antal Spector-Zabusky schedule 21.03.2010