Телеграмм чат группы rust_offtopic страница 21287

Ну я там похачил и сделал чтобы компилятор падал когда два типа равны

02:53пожаловаться #1

Там прямой проверки нету да

02:53пожаловаться #2

Emmanuel Goldstein in rust_offtopic

Ну я там похачил и сделал чтобы компилятор падал когда два типа равны

Как?

02:54пожаловаться #3

Emmanuel Goldstein

Как?

Через вывод типов

02:54пожаловаться #4

Если Раст видит только одну реализацию типа он ее подставляет
Если две - падает

02:54пожаловаться #5

crates.io/compile_type_eq

02:54пожаловаться #6

да, можно так сделать

02:54пожаловаться #7

Emmanuel Goldstein in rust_offtopic

А, понял

trait UniqueTrait {}
impl UniqueTrait for $T1 {}
impl UniqueTrait for $T2 {}

02:54пожаловаться #8

Emmanuel Goldstein in rust_offtopic

Гарантирует, что T1 != T2

02:55пожаловаться #9

А почему не type внутри трейта?

02:55пожаловаться #10

Или какие-нибудь константы

02:55пожаловаться #11

https://crates.io/crates/compile_type_eq

02:55пожаловаться #12

Но это может потребовать Default

02:55пожаловаться #13

https://docs.rs/compile_type_eq/0.1.1/compile_type_eq/how_it_works/index.html

docs.rs

compile_type_eq::how_it_works - Rust

API documentation for the Rust `how_it_works` mod in crate `compile_type_eq`.

02:56пожаловаться #14

https://docs.rs/compile_type_eq/0.1.1/compile_type_eq/how_it_works/index.html

docs.rs

compile_type_eq::how_it_works - Rust

API documentation for the Rust `how_it_works` mod in crate `compile_type_eq`.

@emmanuelGoldstein вот ответ на "как"

02:56пожаловаться #15

Я думаю потом когда выпущу umlsm написать книгу как пользоваться тайп инференсом в расте

02:58пожаловаться #16

а это кто in rust_offtopic

Я думаю потом когда выпущу umlsm написать книгу как пользоваться тайп инференсом в расте

давай

03:49пожаловаться #17

Hirrolot in rust_offtopic

Doge Shibu

Горжусь вами с @hirrolot, правильным вещам я вас обучил.

❤️

06:31пожаловаться #18

Hirrolot in rust_offtopic

@hirrolot а проблема с глистами может быть решена если нагенерировать реализаций для туплоы до 1024 элементов?

какая проблема?

06:31пожаловаться #19

Hirrolot

какая проблема?

Ну с выводом ужасных ошибок