169 похожих чатов

(*$) :: (a->b)->a->b infixr 0 *$ f *$ x = f x Напейсал

свой $. HLS подсказывает, что надо добавить fixity, в доке написано, что добавлять так. ОК. Минимальная правая assоциативность. Но дальше решаю по Ванье сделать оператор обратного применения:

(*>$>) :: a->(a->b)->b
infixl 0 *>$>
x *>$> f = f x

И тут я задумался — здесь должна быть левая ассоциативность или правая?..

13 ответов

28 просмотров

x & f & g == (x & f) & g

Никакая не должна. Но может быть любая какую хочешь.

Timofey Zakrevskiy
x & f & g == (x & f) & g

Я там правую поставил, потому что у $ правая по учебнику.

Danil Berestov
не потому что f $ g $ a == f $ (g $ a) ?

Не. Сначала по учебнику, потом разбираться. Не наоборот :).

Хаскель Моисеевич Гопник
Не, (*>$>) это (&).

значит, нельзя применять довод "потому что по учебнику"

Timofey Zakrevskiy
x & f & g == (x & f) & g

Значить таки левая!.. Предчувствие не обмануло!..

Cheese Syrowiecki
значит, нельзя применять довод "потому что по учеб...

Я там поставил левую потому, что сработал/о cue — раз тут аргументы скармливаем в другом направлении, наверное и ассоциативность должна быть другая.

Не. Первое утверждение относится к первому определению, второе — ко второму.

Похожие вопросы

Обсуждают сегодня

я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
49
читать файл максимально быстро? странный вопрос))
zamtmn
53
How to create an OS in C? what to study?
Linus
18
Привет, кто может сделать юзербота с апи? Задачи: - создавать группы - создавать каналы - задавать для созданных каналов аватарку или эмоджи, имя группы - добавлять в группы...
Lencore
11
тоесть, указав return eax, сгенерируется никому ненужная инструкция mov eax,eax ?
Aiwan \ (•◡•) / _bot
24
Компания Elif ищет менеджера проектов, который будет заниматься поиском и ведением новых проектов. Прежде чем приступить к работе, вам нужно пройти наш недельный курс, где вы ...
Elif
5
@HemulGM Параметры у AddStream поменялись? Несостыковка какая-то
Катерина Свиридова
12
Подскажите, есть какие-то события создания/уничтожения у TFrame по типу TForm (OnCreate и OnClose/OnDestroy) ? Как отловить создание TFrame и "перед" уничтожением. На Tframe р...
Денис
8
а чем хуже?
Alexey Kulakov
10
Компания Elif ищет менеджера проектов, который будет заниматься поиском и ведением новых проектов. Прежде чем приступить к работе, вам нужно пройти наш недельный курс, где вы ...
Elif
1
Карта сайта