AZ
ну я бы рисовал, но ведь книжку не я писал) Приходится читать так, как там написано
Size: a a a
2019 December 17
AZ
просто сбивает с толку. Я на 2 месяца отложил, начал перечитывать, только сейчас начало доходить
KV
ох уж эти любители применения справа
Ох уж эти любители читать справа налево! Где такие берутся только
CD
Ох уж эти любители читать справа налево! Где такие берутся только
Там не изменится ничего, кроме направления стрелки
МБ
ну я бы рисовал, но ведь книжку не я писал) Приходится читать так, как там написано
Надо прям проговаривать f после g - помогает
KV
Там не изменится ничего, кроме направления стрелки
Чтобы совсем всё было справа налево? А наоборот-то никак нельзя?
CD
Чтобы совсем всё было справа налево? А наоборот-то никак нельзя?
Я про то, что применение f(g(x)) расписывается как (g f)(x) как будто x g f писали, и в этом ровно никакого смысла.
МБ
В seven sketches пишут слева направо через точечку. Я б не сказал, что это сильно удобнее. Сложности-то настоящие не в этом месте
ЕО
Вопросы: Не идёт ли здесь речь о представимых функторах? Что подразумевается под "haskell-функтор"?
Ну, это же не совсем представимый функтор, скорее вычислимый...
KV
Я про то, что применение f(g(x)) расписывается как (g f)(x) как будто x g f писали, и в этом ровно никакого смысла.
Вот и писали бы x g f, я только за
KV
В seven sketches пишут слева направо через точечку. Я б не сказал, что это сильно удобнее. Сложности-то настоящие не в этом месте
Это да
МБ
Вот и писали бы x g f, я только за
А как вслух читать x f?
KV
А как вслух читать x f?
Ну как... молча
KV
Т. е. не надо
МБ
Так книжки пишут лекторы, а им нужна вербализация. f(x) - f от x.
CD
Вот и писали бы x g f, я только за
x g f = result let
KV
Так книжки пишут лекторы, а им нужна вербализация. f(x) - f от x.
На простых случаях-то не проблема, когда одна-две функции. А если больше, то вслух уже неприлично как-то
CD
Видите ли, идея инвертировать объявление не приходила мне в голову
AZ
Вот и писали бы x g f, я только за
ну в фшарпе же пишут x |> g |> f
МБ
Ну, это же не совсем представимый функтор, скорее вычислимый...
У Скотта было что-то такое... В терминах представимости каких-то конструкторов доменов