p
Вы же говорите, что 0 это функция
вот в примере выше 1 + 2 это константа. но она вычисляется не сразу потому что язык ленивый.
Size: a a a
2020 July 17
p
вот в примере выше 1 + 2 это константа. но она вычисляется не сразу потому что язык ленивый.
там неявный UnitType который подставляет рантайм во время работы
AB
ты пишешь
foo (1 + 2) (2 + 3)
и сначала считается foo и если ему нужен первый аргумент то он высчитывается, а если не нужен то он не вычислится никогда. то же и со вторым.
foo (1 + 2) (2 + 3)
и сначала считается foo и если ему нужен первый аргумент то он высчитывается, а если не нужен то он не вычислится никогда. то же и со вторым.
Что сделает этот код если у foo тип unit -> unit? Положит хуй на аргументы, без варна, без ошибки?
p
Что сделает этот код если у foo тип unit -> unit? Положит хуй на аргументы, без варна, без ошибки?
unit это неявный аргумент
AB
вот в примере выше 1 + 2 это константа. но она вычисляется не сразу потому что язык ленивый.
Это не важно, типы же не в рантайме проверяются
p
его нельзя сконструировать явно
AB
В хаскеле?
AB
И как отличать функцию от юнита от ее вызова?
p
И как отличать функцию от юнита от ее вызова?
еще раз
AB
В одном случае я присваиваю переменной результат вызова функции, в другом присваиваю функцию переменной (по сути даю втопое имя)
H
И как отличать функцию от юнита от ее вызова?
У функции синтаксис другой:
f : T1 -> ... -> Tn и т.д., вызов - f ...p
В одном случае я присваиваю переменной результат вызова функции, в другом присваиваю функцию переменной (по сути даю втопое имя)
f: Int -> Int
bar = f
bar = f 1
1-е это присваивание имени, второе вызов функции
bar = f
bar = f 1
1-е это присваивание имени, второе вызов функции
AB
f: Int -> Int
bar = f
bar = f 1
1-е это присваивание имени, второе вызов функции
bar = f
bar = f 1
1-е это присваивание имени, второе вызов функции
А если тип unit -> int?
p
А если тип unit -> int?
это константа, котоаря вычисляется на этапе компиляции
p
если у функции нет аргументов это константа
AB
Это все проясняет. При таком подходе нет синтаксической разницы между использованием переменной типа int и типа unit->int
AB
Это отличается от мл, поэтому я не понял сначала
SP
боже какое все высокоуровневое https://docs.rs/nb/1.0.0/nb/
H
боже какое все высокоуровневое https://docs.rs/nb/1.0.0/nb/
demux-stream высокоуровневее