Size: a a a

2020 August 05

DS

Doge Shibu in rust_offtopic
Stanislav Popov
ржавый энтерпрайз через 50 лет: поехавшие программисты на крестах/питоне/жаве собирающие в проекте все неидиоматичные для раста штуки и гордящиеся как они победили этот мерзкий язык
Так это уже так. Я же рассказывал про замечательную либу всю целиком в боксах и дин трейтах?
источник

KR

Kai Ren in rust_offtopic
Нет, расскажи наночь сказку
источник

p

polunin.ai in rust_offtopic
Doge Shibu
Так это уже так. Я же рассказывал про замечательную либу всю целиком в боксах и дин трейтах?
о, покажи
источник

DS

Doge Shibu in rust_offtopic
polunin.ai
о, покажи
Не, я не показываю либы, которые ругаю.

А то набегут к автору и потом опять будут обиды по всему интернету.
источник

KR

Kai Ren in rust_offtopic
Она известная?
источник

AZ

Alex Zhukovsky in rust_offtopic
Вафель
То что?)
в дрисе есть дырки, это такие типизированный unimplemented
источник

KR

Kai Ren in rust_offtopic
Такое с асинк-трейт поиметь легко, на самом деле
источник

AZ

Alex Zhukovsky in rust_offtopic
удобнаяш тука
источник

В

Вафель in rust_offtopic
Alex Zhukovsky
в дрисе есть дырки, это такие типизированный unimplemented
Я не очень понимаю что там может быть типизированно, надо изучить вопрос видимо...
источник

В

Вафель in rust_offtopic
Единственное что в растовском todo!() плохо, он трейты не имплементирует зараза
источник

AZ

Alex Zhukovsky in rust_offtopic
Вафель
Я не очень понимаю что там может быть типизированно, надо изучить вопрос видимо...
ну пишешь ты такой

fn foo() -> i32 { unimplemented!() }
источник

AZ

Alex Zhukovsky in rust_offtopic
у него тип !
источник

AZ

Alex Zhukovsky in rust_offtopic
который подтип i32 поэтому компилится
источник

AZ

Alex Zhukovsky in rust_offtopic
а в идрисе у тебя
foo : Int
foo = ?impl

у ?impl тип Int, а не !
источник

AZ

Alex Zhukovsky in rust_offtopic
а если например написать

foo : Int
foo = ?impl 10 20

то будет тип Int -> Int -> Int
источник

В

Вафель in rust_offtopic
окей, логично
источник

p

polunin.ai in rust_offtopic
Alex Zhukovsky
а если например написать

foo : Int
foo = ?impl 10 20

то будет тип Int -> Int -> Int
да, это жизненно необходимо когда там сложные типы
источник

В

Вафель in rust_offtopic
Впрочем ! не совсем подтип, но не суть
источник

В

Вафель in rust_offtopic
А дырки чем-то лучше

fn hole<T>() -> T { todo!() }?
источник

AZ

Alex Zhukovsky in rust_offtopic
Вафель
Впрочем ! не совсем подтип, но не суть
подтип
источник