EG
Выбрать из
"foo" | "bar" тоже можно42..∞ нельзяSize: a a a
2020 May 03
EG
А вот выбрать из
p
На самом деле, скорее,
T: Finiteну это для чисел подходит. А для произвольного диапазона нужно какой-то T: List
EG
Типа
trait Finite {
fn size() -> Int;
fn get(n: 0..Self::size()) -> Self;
}p
а, ну так тоже
EG
ну это для чисел подходит. А для произвольного диапазона нужно какой-то T: List
Нет, зачем? Вот эта сигнатура трейта подойдёт для любого типа с конечным количеством значений
e
Типа
trait Finite {
fn size() -> Int;
fn get(n: 0..Self::size()) -> Self;
}нормуль
p
наверное
trait Finite {
type Item;
fn size() -> Int;
fn get(n: 0..Self::size()) -> Self::Item;
}EG
наверное
trait Finite {
type Item;
fn size() -> Int;
fn get(n: 0..Self::size()) -> Self::Item;
}Нет же
EG
get() получает энный объект этого типа.EG
Например, для bool
impl Finite for Bool {
fn size() -> Int { 2 }
fn get(n: 0..2) -> Self {
if n == 0 { false } else { true }
}
}EG
Тогда реализация функции
random_choice получается примерно такая:n = get_random_number(0, T::size());
T::get(n)
EG
Finite подразумевает, что у типа есть конечное количество пронумерованных значенийEG
Можно ещё сделать более слабый трейт
Countable для счётных типов, но я ХЗ зачемtrait Countable {
fn get(n: Int) -> Self;
}e
λ => fmap (\a -> (show a) ++ "bar") [1..10]
["1bar","2bar","3bar","4bar","5bar","6bar","7bar","8bar","9bar","10bar"]
удобно так то
не implicit но тоже норм
не implicit но тоже норм
e
мне нравится как в расте - debug и display
debug: Debug t -> String
debug: Debug t -> String
такое себе и тем более это через макросы
EG
такое себе и тем более это через макросы
Для этого не нужны макросы
EG
Ты можешь сам реализовать дебаг
e
Для этого не нужны макросы
ну да, не нужны, я просто вспомнил как у раста это
format! к примеру и тп + derive debug и тп
format! к примеру и тп + derive debug и тп
EG
ну да, не нужны, я просто вспомнил как у раста это
format! к примеру и тп + derive debug и тп
format! к примеру и тп + derive debug и тп
format!() это костыль для красивого синтаксиса