(Untitled)

[levgem]

Я знаю, почему в этих ваших хаскелях пишут не как у всех f(x,y), а f x y, что в математике означает сокращенную форму f*x*y.

Потому что умножение здесь выступает в роли аппликативный моноид над полем функторов, выполняющий каррирование до эндофунктора.

Но не просите, я с вами этим не поделюсь.

Comments

[antilamer]

В математике sin x обозначает не sin*x.

[levgem]

я бы всё таки сказал, что это редкий случай узнаваемого имени.

x y - это что? или E = m c^2 ?

[antilamer]

Ну, я согласен, что некоторая несогласованность есть :) Что объясняется тем, что в математике умножение встречается гораздо чаще, чем в хаскелле :)

[levgem]

откоменти, пожалуйста: http://levgem.livejournal.com/405339.html?thread=4611419#t4611419

[kgeorgiy]

На мой взгляд, в математике нотация a b c (наиболее "связная" из используемых) обозначает операцию с наибольшим приоритетом. Конечно, индексирование имеет еще больший приоритет, но для его записи используется уже многоуровневая нотация, что в языках программирования уже не применимо.

В Хаскеле имеем ровно ту же самую ситуацию, только здесь операция с наибольшим приоритетом -- применение функции, для нее и используем самую "связную" нотацию.

[jakobz]

Значит Хаскель - недостаточно гибок! Надо уже разрешать переопределять операцию "пробел", или хотя-бы всунуть ее в класс типов.