Почему точка написана справа налево в Haskell?

Question

Если у нас есть две функции: f и g, то в Haskell h = f . g эквивалентно h x = f(g x). То есть функции применяются справа налево на вход. Есть ли какая-то фундаментальная причина, почему это происходит справа налево, а не слева направо? То есть почему они не сделали h = f . g эквивалентом h x = g(f x) вместо этого?

РЕДАКТИРОВАТЬ: как другие указали на мои эквивалентные функции, где неправильный путь, поэтому я исправил их.

Answer 1

Прежде всего, это ошибка в вашем [оригинале, неотредактированный] вопрос:

ч = е. г эквивалентна ч х = г (е) х

- это не так: h = f . g эквивалентно h x = f (g x).

Однако, почему это так, а не наоборот, это, скорее всего, потому, что так оно работает и работает в математике; см http://en.wikipedia.org/wiki/Function_composition:

[...] композит функция обозначается г ∘ F: X → Z, определяется (г ∘ е) (х) = G (F (х)) для всех x в X.

Это также интуитивное из равенства (f . g) x == f (g x) - как вы можете видеть, порядок f и g является одинаковым с обеих сторон.

---

Кроме того, тривиально создать свой собственный оператор «обратной композиции», если вы желаете его по причинам, например. читаемость:

(.>) = flip (.) 

так что

Prelude> ((+1) .> (*2)) 3 
8 
Prelude> ((+1) . (*2)) 3 
7 

---

В самом деле, вы можете просто использовать Control.Arrow.(>>>), который делает то же самое для функций, но является более общим и работает для других вещей:

Prelude Control.Arrow> ((+1) >>> (*2)) 3 
8