Size: a a a

2020 August 12

Т8

Т-34 85 in rust_offtopic
Ещё бы пощупать D, там и удобнее, и ещё и рефлексия есть
источник

Т8

Т-34 85 in rust_offtopic
polunin.ai
idris, coq, agda
А попроще что-нибудь есть?
источник

Т8

Т-34 85 in rust_offtopic
Там же везде меня компилятор будет дрючить?
источник

p

polunin.ai in rust_offtopic
Т-34 85
А попроще что-нибудь есть?
что может быть проще хд
источник

p

polunin.ai in rust_offtopic
источник

p

polunin.ai in rust_offtopic
если будет продолжаться карантин станет еще пиздецовее
источник

YS

Y S in rust_offtopic
Т-34 85
Там же везде меня компилятор будет дрючить?
Ну так подумать надо, прежде чем писать
источник

Т8

Т-34 85 in rust_offtopic
Y S
Ну так подумать надо, прежде чем писать
Почему-то на крестах можно не думать, но писать
источник

Т8

Т-34 85 in rust_offtopic
Я вот как раз так и хочу
источник

YS

Y S in rust_offtopic
Т-34 85
Почему-то на крестах можно не думать, но писать
По хорошему везде надо думать
источник

Т8

Т-34 85 in rust_offtopic
Y S
По хорошему везде надо думать
Это пох
источник

KR

Kai Ren in rust_offtopic
@DogeShibu какой правильный будет антоним в теории/практике типов для lift type?

У меня ситуация, что надо опустить тип с головы глиста в хвост. Не пойму как лучше трейт назвать.
источник

DS

Doge Shibu in rust_offtopic
Kai Ren
@DogeShibu какой правильный будет антоним в теории/практике типов для lift type?

У меня ситуация, что надо опустить тип с головы глиста в хвост. Не пойму как лучше трейт назвать.
С головы в хвост - что именно имеешь в виду? Какая сигнатура?
источник

KR

Kai Ren in rust_offtopic
A, B, C, D -> B, C, D, A
источник

AB

Artöm Bakri Al-Sarmi... in rust_offtopic
Напиши rotate_hlist
источник

KR

Kai Ren in rust_offtopic
Это не rotate
источник

AB

Artöm Bakri Al-Sarmi... in rust_offtopic
Я не помню, как циклический сдвиг
источник

KR

Kai Ren in rust_offtopic
Если было бы
A, B, C, D ->  D, A, B, C
я бы назвал Lift<T> и не парился
источник

KR

Kai Ren in rust_offtopic
Мне надо антоним
источник

KR

Kai Ren in rust_offtopic
Artöm Bakri Al-Sarmini
Я не помню, как циклический сдвиг
ТАм не совсем циклический, я упростил типы
источник