kb
10.08.2012 08:56
Почему в математике композиция делается в "обратную сторону" (C ◦ B ◦ A)? Т.е. куда удобнее ведь было бы при наличии A: a→b, B: b→c, C: c→d сокращать A ◦ B ◦ C: a→d. Нет?
6 comments
recommend
bookmark
subscribeDo you really want to delete ?
И писать x f вместо f (x)
ну да, в f x здесь для меня естественнее, а вот в композиции функций без скобочек удобнее A ◦ B ◦ C. А вот со скобочками удобнее C(B(A)).
Типичный арабский башемудак со своими пайпами.
типа того
потому что семиты. В последнее время в теории категорий модно определять оператор " ; ", который делает ровно то, что нужно.
Ну а конкретно для окамла я определил операторы "%<" для композиции с передачей значения с последних функций к первым (классическая композиция) и "@>" для передачи с первых в последние (тот самый " ; ").
Хотя на практике, в коде, устраивать композиции функций не очень-то и удобно, часто требуется разрывать их для даже легчайших изменений логики.
волюнтаризм. к слову, x f (в смысле применения функции f к аргументу x) тоже писали (кое-где и до сих пор пишут)