AP
А если две функции будут полиморфные и с перекрывающимися вариантами?
Size: a a a
2021 May 21
AP
Не хотеть
LO
.+. =
CustomPrelude.((+))AP
Так нет, тут хотят шоб можно было писать + и иметь разные + в разных местах
Lt
так-то в некоторых языках и типов нет
Lt
Так же как в OCaml, например, все прозрачно, однозначно, минимум бойлерплейта (псевдокод):
a = let import PreludeA in a + b
b = PreludeB(a + b)
JS
есть
where:f = use (+) where (+) = (Prelude1.+)
g = use (+) where (+) = (Prelude2.+)AP
rebindable syntax ещё может помочь, наверное
Lt
о, интересный прием, спасибо. Но тоже придется явно прописать каждую функцию которая была использована.
AP
придётся. И это хорошо
JS
не согласен.
лучше задуматься, чего стоят альтернативы:
— не писать на Хаскеле
— продвинуть пропозал в Хаскель
лучше задуматься, чего стоят альтернативы:
— не писать на Хаскеле
— продвинуть пропозал в Хаскель
Lt
это do который?
AP
Lt
что хорошего в бойлерплейте, если достаточно 1 раз указать модуль, а не N?
JS
нет, более общий
AP
RebindableSyntax
JS
QualifiedDo — это свежее дополнение ко старому RebindableSyntax
AP
Ну я поэтому и написал "наверное"