Телеграмм чат группы rustlang

У меня есть слайс (на самом деле, даже вектор) и я хочу в нём применить функцию Fn(T) -> T на одном из элементов

Как-то так:

let item = ManuallyDrop::new(ptr::read(&mut vec[idx]));

f(item);

Emmanuel Goldstein in Rust — русскоговорящее сообществo

19:20пожаловаться #1

Эрик

Как-то так:

let item = ManuallyDrop::new(ptr::read(&mut vec[idx]));

f(item);

У нас с тобой разные представления о том, что такое красиво :)

19:21пожаловаться #2

Вообще, в идеальном варианте должен быть Fn(&mut T), а не вот это вот всё.

Emmanuel Goldstein in Rust — русскоговорящее сообществo

19:21пожаловаться #3

Хочу красивое апи на иммутабельных типах т_т

Alex Zhukovsky in Rust — русскоговорящее сообществo

19:21пожаловаться #4

https://github.com/idris-lang/Idris2

Хочу красивое апи на иммутабельных типах т_т

GitHub

idris-lang/Idris2

A purely functional programming language with first class types - idris-lang/Idris2

Emmanuel Goldstein in Rust — русскоговорящее сообществo

19:22пожаловаться #5

Очевидный вариант — хранить отдельный вектор с индексами всех «важных» элементов. Но так легко запутаться в логике.
Кроме того, при получении важного элемента по его индексу возникнет такая неприятная фигня:

let pos = important_elems[idx];
let obj = match field[pos] {
    Important(obj) => obj,
    _ => unreachable!("something unimportant found"),
}

Ы, всё ещё хуже.
Если я хочу передвинуть важный элемент, не зная его индекса (но зная позицию на поле), то мне придётся сначала найти его в списке важных элементов

Emmanuel Goldstein in Rust — русскоговорящее сообществo

19:23пожаловаться #6

Alex Zhukovsky

https://github.com/idris-lang/Idris2

GitHub

idris-lang/Idris2

A purely functional programming language with first class types - idris-lang/Idris2

Окей, мне нужен HTTP-сервер, websocket-сервер и разумный интерфейс к асинхронному запуску других программ.

Alex Zhukovsky in Rust — русскоговорящее сообществo

19:23пожаловаться #7

https://docs.servant.dev/en/stable/tutorial/ApiType.html

Окей, мне нужен HTTP-сервер, websocket-сервер и разумный интерфейс к асинхронному запуску других программ.

Emmanuel Goldstein in Rust — русскоговорящее сообществo

19:24пожаловаться #8

Для этого нужно внутри элемента держать его индекс в векторе важных элементов, что запутывает внутренний стейт ещё больше

Emmanuel Goldstein in Rust — русскоговорящее сообществo

19:24пожаловаться #9

Alex Zhukovsky

https://docs.servant.dev/en/stable/tutorial/ApiType.html

Да это ж хаскелль.

Alex Zhukovsky in Rust — русскоговорящее сообществo

19:24пожаловаться #10

Да это ж хаскелль.

ну пока в идрис не портируют сервант (или ты не желаешь этим заняться) придется чутка даунгрейднуться

19:25пожаловаться #11

Вообще, хочу совета по «архитектуре»
У меня есть прямоугольное клетчатое поле, на котором находятся некие объекты (энум). Один из вариантов энума гораздо важнее, чем другие, я хочу уметь по нему итерироваться быстро.

struct Field {
all: RawField,
important: Vec<FieldIdx>,
}

19:25пожаловаться #12

И когда в RawField меняешь, меняй и в векторе.

Emmanuel Goldstein in Rust — русскоговорящее сообществo

19:25пожаловаться #13

Эрик

struct Field {
all: RawField,
important: Vec<FieldIdx>,
}

Это создаёт все те проблемы, которые я описал

(((Mike Lubinets))) in Rust — русскоговорящее сообществo

19:25пожаловаться #14

Alex Zhukovsky

ну пока в идрис не портируют сервант (или ты не желаешь этим заняться) придется чутка даунгрейднуться

Оставайтесь в рамках топика, пожалуйста

19:26пожаловаться #15

Это создаёт все те проблемы, которые я описал

Не вижу проблем.

19:26пожаловаться #16

Изменил поле на важное — push нового индекса в вектор.

19:26пожаловаться #17

Поменял одно из важных полей местами — поменял в векторе.

19:26пожаловаться #18

Ну или на BTreeSet important делай, если скорость так важна.

Alex Zhukovsky in Rust — русскоговорящее сообществo

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

(((Mike Lubinets)))

Оставайтесь в рамках топика, пожалуйста

речь шла про иммутабельное красивое апи. В расте или то, или другое, а часто и ни того, ни другого. Не вижу ничего плохого в апи с &mut, но вот какой вопросы был такой ответ