Size: a a a

2020 June 09

b

badtrousers in rust_offtopic
🅰️ну да
источник

e

egoarka in rust_offtopic
Со скобками лучше
источник

e

egoarka in rust_offtopic
Ну ладно, а зачем тебе опрос, что хочешь узнать в итоге?)
источник

b

badtrousers in rust_offtopic
в точнсти то, о чем говорит опрос
источник

e

egoarka in rust_offtopic
Ну а польза какая для тебя
источник

b

badtrousers in rust_offtopic
что окажется самым популярным
источник

e

egoarka in rust_offtopic
Камон конечно же Паскаль сосо сделает
источник

b

badtrousers in rust_offtopic
egoarka
Камон конечно же Паскаль сосо сделает
почему?
источник

b

badtrousers in rust_offtopic
у меня вызывает теплую ностальгию по школьным олимпиадам 5 класс и тд
источник

b

badtrousers in rust_offtopic
я думаю не у меня одного такие теплые чувства
источник

e

egoarka in rust_offtopic
badtrousers
у меня вызывает теплую ностальгию по школьным олимпиадам 5 класс и тд
Ну разве что так
источник

b

badtrousers in rust_offtopic
а чем они плохи я не могу понять
источник

b

badtrousers in rust_offtopic
без подсветки синтаксиса {} намного лучше читается, чем //
источник

e

egoarka in rust_offtopic
Да какая разница то)
источник

b

badtrousers in rust_offtopic
эстетическая
источник

b

badtrousers in rust_offtopic
ровно на два символа
источник

AZ

Alex Zhukovsky in rust_offtopic
Emmanuel Goldstein
Idris> 3
3 : Integer
Idris> 3 - 0
3 : Nat

Что происходит с тайп инференсом?
вот и зря не спросил, я спросил, узнал много интересного
источник

AZ

Alex Zhukovsky in rust_offtopic
если тлдр, то косяк перегрузки функций:

Prelude.Interfaces.(-) : Neg ty => ty -> ty -> ty
Prelude.Nat.(-) : (m : Nat) -> (n : Nat) -> {auto smaller : LTE n m} -> Nat
источник

AZ

Alex Zhukovsky in rust_offtopic
есть две функции, идрис должен взять первую, но берёт вторую
источник

AZ

Alex Zhukovsky in rust_offtopic
поэтому
источник