R
Size: a a a
2020 May 25
R
зачем тогда на хачкеле писать?
а еще я пописал на строгой System F omega и насладился тем фактом, что надо делать eta-expansion вручную, иначе можно запросто влететь в бесконечный цикл. Например вот этот терм:
вычисляется нормально. А вот этот зацикливается, насколько я помню:
короче я люблю лень, просто нахрена она в
/\(r :: *) -> \(f : r -> r) ->
fix {r} {nat -> r} \(rec : r -> nat -> r) (z : r) (n : nat) ->
unwrap n {r} z (\(n' : nat) -> rec (f z) n')
вычисляется нормально. А вот этот зацикливается, насколько я помню:
/\(r :: *) -> \(f : r -> r) ->
fix {r} {nat -> r} \(rec : r -> nat -> r) (z : r) (n : nat) ->
unwrap n {r} z (rec (f z))
короче я люблю лень, просто нахрена она в
data по дефолту нужна?ЗП
а еще я пописал на строгой System F omega и насладился тем фактом, что надо делать eta-expansion вручную, иначе можно запросто влететь в бесконечный цикл. Например вот этот терм:
вычисляется нормально. А вот этот зацикливается, насколько я помню:
короче я люблю лень, просто нахрена она в
/\(r :: *) -> \(f : r -> r) ->
fix {r} {nat -> r} \(rec : r -> nat -> r) (z : r) (n : nat) ->
unwrap n {r} z (\(n' : nat) -> rec (f z) n')
вычисляется нормально. А вот этот зацикливается, насколько я помню:
/\(r :: *) -> \(f : r -> r) ->
fix {r} {nat -> r} \(rec : r -> nat -> r) (z : r) (n : nat) ->
unwrap n {r} z (rec (f z))
короче я люблю лень, просто нахрена она в
data по дефолту нужна?у пурсы так, eta-expansion надо делать почти всегда
R
у пурсы так, eta-expansion надо делать почти всегда
вот че б компилятору этим не заняться? Все равно пурса тормозная
2020 May 26
YG
Расскажите, плиза, что по неймингу в хаскеле? Просто не очень хочется делать переменные длинне 4 символов, но с другой стороны я перестаю понимать контекст своего кода который написал еще недавно.
Есть ли какие то правила?
Я пока думаю делать в сигнатуре и юзать синонимы для этого, это норма?
type MoneyLeft = Integer
data Result = Result (Maybe Item) (Maybe Item) MoneyLeft
Есть ли какие то правила?
Я пока думаю делать в сигнатуре и юзать синонимы для этого, это норма?
type MoneyLeft = Integer
data Result = Result (Maybe Item) (Maybe Item) MoneyLeft
YS
У меня всё плохо с неймингом х(
YS
Префиксы как в джаве интерпрайзном коде
YS
Зато вроде ясно
YS
Если всё читать)
YG
Префиксы как в джаве интерпрайзном коде
MonadService?)
YS
MonadService?)
не понял .-.
YG
не понял .-.
Видимо я не допонял, а какие префиксы?
YS
Ну, в имени идентификаторов всяких, конструкторов
YS
Об этом же вопрос?
KZ
Тут коллега какое-то время назад написал про нейминг отчасти в честь другого коллеги из Германии - https://chrisdone.com/posts/german-naming-convention/
YS
Точно