max 50
Вокруг этой записи много курьезов. Бесточечность почему-то вовлекает точки. А в английском - point-free заменяют на pointless, намекая на то, что нафиг оно надо вообще.
можно определять f x = g x (подразумевая for all x) а можно f = g Первое — это поточечное равенство (для любой точки x), второе - бесточечное. чтобы записывать поточечное f x = g (h x) в бесточечной форме f = g . h, нужна операция композиции (.) и другие функции высшего порядка. А то что сама композиция обозначается точкой — это просто забавный казус, не более. В математике она обозначается не точкой, а кружочком, например.
Обсуждают сегодня