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

polunin.ai

Типов в рантайме не существует, типы на этапе компиляции

Можно представить себе систему типов, которая позволяла бы создавать их в рантайме

23:27пожаловаться #1

https://mypy-play.net/?mypy=latest&python=3.8&gist=2106743c72609c4fe02f016a2625a2b4
Вот этот код в питоне не работает, но мог бы.

23:28пожаловаться #2

Если у нас есть способ динамически проверить какую-то гарантию, то мы можем проверить её и «навесить» на динамически созданный тип

23:30пожаловаться #3

лолшто

23:31пожаловаться #4

Stanislav Popov

лолшто

1. Создаём динамикой тип
2. Проверяем, что на нём выполняются условия трейта
3. Разрешаем с этого момента вызывать на нём трейтметоды

23:32пожаловаться #5

Emmanuel Goldstein

Это будет не тип

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

polunin.ai

Это будет не тип

Чем это тебе не тип

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

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

23:33пожаловаться #8

Это будет даункаст dyn Any к dyn Trait

23:33пожаловаться #9

Условно

23:33пожаловаться #10

А dyn Any ты признал типом ещё раньше

23:33пожаловаться #11

dyn подразумевает что это не тип

23:33пожаловаться #12

Что тип неизвестен

23:33пожаловаться #13

тебе просто нужна функция take_as_sized(any)-> Sized | None

23:34пожаловаться #14

Box<dyn Any> эио монотип, тот же PyObject

23:34пожаловаться #15

Stanislav Popov

тебе просто нужна функция take_as_sized(any)-> Sized | None

Типа того, да

23:34пожаловаться #16

Sooqa in rust_offtopic

Капец вы тупые

23:34пожаловаться #17

Sooqa in rust_offtopic

sticker.webp

(9.1 Кб)

23:34пожаловаться #18

Sooqa

Капец вы тупые

Давай конструктивизм или пиздуй в джерк

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

Source to the Rust file `src/io/copy.rs`.

читаю исходники https://docs.rs/tokio-io/0.2.0-alpha.6/src/tokio_io/io/copy.rs.html
и не понимаю, ОНО ЖЕ БЛОКИРУЮЩЕЕ

docs.rs

copy.rs.html -- source