λ
в хаскеле много операторов, но большая часть из них это специализированная версия операторов из достаточно небольшого числа
то есть введя в хугле какой-то оператор вы скорее всего найдёте всего одну его имплементацию и куча реэкспортов
Size: a a a
2020 February 07
p
Как называется блок, который идёт до точки с запятой?
λ
стэйтмент?
p
let a = foo();
bar().qoz();
bar().qoz();
p
стэйтмент?
Спасибо
λ
но так как перегрузки нет, то и контекстозависимость весьма слабая
это вам не цпп или питон, где вы можете видеть вполне себе знакомые значки, а за ними будет скрываться то, что ожидать от них в принципе невозможно
p
это вам не цпп или питон, где вы можете видеть вполне себе знакомые значки, а за ними будет скрываться то, что ожидать от них в принципе невозможно
Так никто почти не делает
p
Потому что надобности в перегрузке операторов нет практически никогда
r
но так как перегрузки нет, то и контекстозависимость весьма слабая
Там другая контекстозависимость. Что делает
>>= в терминах предметной области?p
Потому что надобности в перегрузке операторов нет практически никогда
Она появляется только при создании типов которые можно добавлять, умножать и т.п.
В обычных прикладных программах используют в основном готовые типы из стд, редко из других специализированных либ.
В обычных прикладных программах используют в основном готовые типы из стд, редко из других специализированных либ.
λ
red75prime
Там другая контекстозависимость. Что делает
>>= в терминах предметной области?Что делает
; в контексте предметной области? А await? А let _ = _?λ
Да, в хаскеле можно перегрузить
>>= и сделать разные интерпретаторы бизнес скриптов, но это разве минус?λ
Вроде как IoC считается хорошей практикой, а не плохой
Ct
Да, в хаскеле можно перегрузить
>>= и сделать разные интерпретаторы бизнес скриптов, но это разве минус?Чем это принципиально лучше перегрузки в C++?
Ct
Та же стори же - видишь знакомый значок, но делает он непонятно что
λ
Чем это принципиально лучше перегрузки в C++?
Тем, что есть базовые свойства, которым
(>>=) всегда удовлетворяетCt
Тем, что есть базовые свойства, которым
(>>=) всегда удовлетворяетЭто ты про законы монад, которые компилятор не проверяет?
r
Что делает
; в контексте предметной области? А await? А let _ = _?Означает переход к следующему вычислению. Получает результат асинхронного вычисления. Делает early return в случае ошибки. Предметная область - императивное программирование.
λ
но их можно проверить, в цпп для значков такие свойства не регламентированы
λ
red75prime
Означает переход к следующему вычислению. Получает результат асинхронного вычисления. Делает early return в случае ошибки. Предметная область - императивное программирование.
ну вот примерно такая же предметная область у (>>=)