b
🅰️ну да
Size: a a a
2020 June 09
e
Со скобками лучше
e
Ну ладно, а зачем тебе опрос, что хочешь узнать в итоге?)
b
в точнсти то, о чем говорит опрос
e
Ну а польза какая для тебя
b
что окажется самым популярным
e
Камон конечно же Паскаль сосо сделает
b
Камон конечно же Паскаль сосо сделает
почему?
b
у меня вызывает теплую ностальгию по школьным олимпиадам 5 класс и тд
b
я думаю не у меня одного такие теплые чувства
e
у меня вызывает теплую ностальгию по школьным олимпиадам 5 класс и тд
Ну разве что так
b
а чем они плохи я не могу понять
b
без подсветки синтаксиса {} намного лучше читается, чем //
e
Да какая разница то)
b
эстетическая
b
ровно на два символа
AZ
Idris> 3
3 : Integer
Idris> 3 - 0
3 : Nat
Что происходит с тайп инференсом?
вот и зря не спросил, я спросил, узнал много интересного
AZ
если тлдр, то косяк перегрузки функций:
Prelude.Interfaces.(-) : Neg ty => ty -> ty -> ty
Prelude.Nat.(-) : (m : Nat) -> (n : Nat) -> {auto smaller : LTE n m} -> Nat
AZ
есть две функции, идрис должен взять первую, но берёт вторую
AZ
поэтому