M
Кому то слава Александреску срать ночью мешает
Size: a a a
2020 April 27
G
Вот мне не понятно нахуя все эти страдания ввели бы уже нормальное метапрограммирование и все
Зачем метапрограммирование когда есть линейные типы
G
Сессионные же прям классно ложатся на линейные
M
Зачем 23 новых языковых скматических конструкций когда есть метапрограммирование?
M
Нахуя тебе линейные типы если метапрограммирование это решает
G
Ну давай сделай зав типы на метапрограммировании
G
И чтобы ещё рефлексивные доказательства строились как в идрисе
M
Это покрайне мере разумно
G
Спойлер у тебя не получится потому что в идрисе типы могут генерироваться на этапе выполнения
M
Лучше сделать один раз бинды и Аби а дальше экспериментировать чем тащить в пропозлы технологии которые никто не тестил даже
M
Спойлер у тебя не получится потому что в идрисе типы могут генерироваться на этапе выполнения
Спойлер с точки зрения мат апарато у кого то просто с воображением плохо
G
pub struct Audio<
Performer = Option<String>,
Title = Option<String>,
MimeType = Option<String>,
FileSize = Option<u32>,
Thumb = Option<PhotoSize>,
> {
pub performer: Performer,
pub title: Title,
pub mime_type: MimeType,
pub file_size: FileSize,
pub thumb: Thumb,
}
G
как вам лол
M
По мне ужастно
G
знаю
G
были бы зав. типы было бы лучше
G
потому что я хочу предоставлять пользователю выбор будет ли в поле опшн или нет
G
то есть я например хочу принимать тип в функции где Audio обязательно с
String вместо опшинаАМ
pub struct Audio<
Performer = Option<String>,
Title = Option<String>,
MimeType = Option<String>,
FileSize = Option<u32>,
Thumb = Option<PhotoSize>,
> {
pub performer: Performer,
pub title: Title,
pub mime_type: MimeType,
pub file_size: FileSize,
pub thumb: Thumb,
}
ебануца, раст не для одноклеточных
M
Да уже можно кейверд template вводить