VZ
Разный порядок аргументов
Size: a a a
2020 July 04
аа
Если мой код в основном использует только стейт, то какой вариант лучше ?
аа
точнее, определенная часть кода вообще использует только стейт, без ридера
VZ
Ну тогда в ней ReaderT можно и не использовать
ЗП
@graninas я тут сидел думал, а что если в твоем dls будет контрвариантная позиция параметра? как тут быть тогда с твоим hfm?
АГ
@graninas я тут сидел думал, а что если в твоем dls будет контрвариантная позиция параметра? как тут быть тогда с твоим hfm?
Поясни плиз, желательно с кодом
АГ
Ко- и контр- вариантность - это еще одна область, где я плаваю
ЗП
когда не
_ -> next, а next -> _АГ
когда не
_ -> next, а next -> _Но этого не будет в eDSL, потому что продолжение там обусловлено фри монадой. Другого варианта просто не дано. next - это продолжение, и оно может принять на вход какие-то данные
ЗП
списывать на авось такой себе формализм)
АГ
Это не авось, это внутренний механизм фри монадического языка, к самому DSL никак не относящийся
АГ
next -> _ - это непонятно что такое, это не часть механизма, а какая-то другая идеяАГ
Ты же не ставишь карбюратор на выхлопную трубу в машине, верно?
YS
не думаю что такая аналогия может быть достаточной для обоснования в данном вопросе)
АГ
Да тут и вопроса нету. Фри монадический язык делается вот так, а если попробовать это изменить, получится что-то совсем иное, если получится
АГ
Ну кстати, продолжения можно по-разному хранить. Только там всегда будет (
_ -> next )YS
А какой профит будет от контрвариантности? @xgrommx
ЗП
ну грубо говоря фри монада это список команд, а вот что такое кокоманда я пока не придумал
KZ
(тупой возглас из зала) а ударение в слове на какой слог?
YS
лучше спросить, с двумя дефисами или одним пишется .-.