DS
Ты знаешь как он устроен?
Size: a a a
2020 April 04
PK
Обычный список? Типо Vec?
SP
linked list видимо
DS
Обычный список? Типо Vec?
Нет, это связный иммутабельный список
DS
Типа [] в хаскеле или List[...] в скале и т.п.
PK
LinkedList тоже знаю, ноды с ссылками вперед и назад на другие ноды
DS
LinkedList тоже знаю, ноды с ссылками вперед и назад на другие ноды
Нет, с ссылками туда-сюда - это не иммутабельный связный список по очевидным причинам
PK
Не знаю как иммутабильный устроен
DS
LinkedList тоже знаю, ноды с ссылками вперед и назад на другие ноды
Т.е. тот список, про который я говорю, это такая штука:
data List a = Nil | Cons a (List a)
data List a = Nil | Cons a (List a)
DS
Если хаскелевский синтаксис понятен, если не понятен, могу на другом языке
PK
Лучше на Rust
G
enum ConsList<T> {
Nil,
Cons { elem: T, rest: Box<dyn ConsList<T>> },
}DS
enum ConsList<T> {
Nil,
Cons { elem: T, rest: Box<dyn ConsList<T>> },
}+
DS
Выглядит вот так
DS
Только без dyn
DS
enum ConsList<T> {
Nil,
Cons { elem: T, rest: Box<dyn ConsList<T>> },
}Ну и да, всё же не так
G
Ну в Rust нет индуктивных типов
DS
Ну в Rust нет индуктивных типов
enum List<A> {
Nil, Cons { head: A, tail: Arc<List<A>> }
}
Тебе нужен Arc или RcDS
Теперь как будут выглядить операции со списком. Операции со чтением, они очевидны.
DS
Тут всё как обычно.