В раст хотят завезти какое-то подобие refinement types
Если получится, тогда сможем выражать:
1. Интегральные типы в определенном ренже (i32 с возможными значениями в 0..=10)
2. Enum variants as a type
3. Хз, придумайте сами, это реально мощно
Например:
Или
Еще, это позволит расширять нишу, которая может быть заполнена дискриминантом. Кароче, одни плюсы (почти).
#rust #prog
Если получится, тогда сможем выражать:
1. Интегральные типы в определенном ренже (i32 с возможными значениями в 0..=10)
2. Enum variants as a type
3. Хз, придумайте сами, это реально мощно
Например:
// ok
let a: pattern_type!(i32 is 0..=10) = 10;
// fail
let a: pattern_type!(i32 is 0..10) = 10; // notice lack of =
Или
// ok
let a: pattern_type!(Option<i32> is Some(..)) = Some(10);
// fail
let a: pattern_type!(Option<i32> is Some(..)) = None;
Еще, это позволит расширять нишу, которая может быть заполнена дискриминантом. Кароче, одни плюсы (почти).
#rust #prog
🍌3👍1🦄1
Мы живем во времена, когда короче ниче не понятно... Забыл че хотел сказать, извините.
🍌5🤔2🖕2🤮1🦄1
Сегодня обновился на новую версию Arc и эта хуйня меня встречает обязательной аутентификацией/регистрацией. Так на моей памяти уже две программы сделали:
- Insomnia
- Arc
Как меня это все заебало, еще одно место, где просят (заставляют) оставить мои креды. И вот это вот ваш современный десктоп?
Инсомния, кстати, даже проект не давала экспортировать без регистрации, чтобы можно было с нее съебать без проблем -_-.
#shit
- Insomnia
- Arc
Как меня это все заебало, еще одно место, где просят (заставляют) оставить мои креды. И вот это вот ваш современный десктоп?
Инсомния, кстати, даже проект не давала экспортировать без регистрации, чтобы можно было с нее съебать без проблем -_-.
#shit
🍌5🦄1
Да, мне нахуй не нужна синхронизация с каким-то облаком, но софтом пользоваться без регистрации уже нельзя. Маразм.
🍌5🦄1