Телеграмм чат группы rust_offtopic страница 13635

https://doc.rust-lang.org/stable/std/primitive.never.html

doc.rust-lang.org

never - Rust

API documentation for the Rust `never` primitive in crate `std`.

00:54пожаловаться #1

https://doc.rust-lang.org/stable/std/primitive.never.html

doc.rust-lang.org

never - Rust

API documentation for the Rust `never` primitive in crate `std`.

ну я на стейбле сижу

00:55пожаловаться #2

Ну стабилизируй

00:55пожаловаться #3

понимаю что людям удивительно

00:55пожаловаться #4

но все же

00:55пожаловаться #5

Ну стабилизируй

опять буянишь

00:55пожаловаться #6

Alex Zhukovsky

а что там сложного? Просто ZST сделать

я тебя попросил стабилизировать never type. ты отмазался, что это уже сделано

потому что у всего интерфейсы вида "я тебя вызову с чем то и результат заберу"

00:55пожаловаться #7

Stanislav Popov in rust_offtopic

Alex Zhukovsky

Вот это нихера не хаскель, например

я и говорю https://t.me/rust_offtopic/283458

и в это не вкладывается сокральный хаскелевский смысл

Stanislav Popov in rust_offtopic

00:56пожаловаться #8

при чем тут твое сидение на стейбле - я хз.

00:56пожаловаться #9

я тебя попросил стабилизировать never type. ты отмазался, что это уже сделано

вот я не опнимаю что там стабилизацию блочит

00:56пожаловаться #10

это самая бессмысленная функция, которую защищает Алекс

я защищаю потому что эта функция решает проблему throw new Exception("Should never throw")

00:56пожаловаться #11

которые заебали меня давно

00:56пожаловаться #12

как id это решит?

00:57пожаловаться #13

Stanislav Popov

все же я ждал какой то реальный пример. например что мы доказываем что самолет не упадет лал

пишешь миллион таких вот лемм, и дальше в одну строчку доказываешь что лифт не падает

00:57пожаловаться #14

как id это решит?

я не тебе про id писал

00:58пожаловаться #15

как id это решит?

айди решает проблему "мне нужно сконвертировать объекты в словарь, где ключем будет поле а значением сам объект"

00:58пожаловаться #16

и подобные

00:58пожаловаться #17

особенно в линейной логике

00:59пожаловаться #18

попробуйте еще раз

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

логика и программирование это одно и то же