доня.

ну типа type erasure

доня.

вот мне тут объяснили, что для HKP специализация в компайл-тайме иногда невозможна

доня.

то есть вопрос "зачем стирать" подразумевал "почему нельзя специализировать в компайл-тайме", вот

доня.

ну если юзаешь trait objects, иначе всё статически диспатчится (ну хотя мб trait objects где-то в стдлибе используются, хз)

Влод

🤔

andrei

🤔

Alex

🤔

Alex

а ведь растопилятор может одно

я не то чтобы настоящий сварщик, но в расте же скорее уникальные типы чем линейные?

Alex

была ж статья кстати http://munksgaard.me/papers/laumann-munksgaard-larsen.pdf https://github.com/Munksgaard/session-types

Alex

еще сохацкий оттуда кодяру тырил :)

Loyd

Так-с, вернулся после встречи

Loyd

объясните это заявление, пожалуйста

Нет ты, ибо твоё заявление, что это — отдельная система типов. Никаких новых правил вывода не вводятся, базовые аксиомы же из линейной системы

Loyd

Здесь вот http://users.eecs.northwestern.edu/~jesse/pubs/alms/tovpucella-alms.pdf говорится, что We argue that a general, practical type system based on Girard’s linear logic (1987) can naturally and directly express many of the special cases, such as region-based memory management, aliasing control, session types, and typestate.Таким образом система типов с линейной логикой может реализоваывать не только region-based memory management (rust), но и сессионные типы

И? Всё правильно, есть линейные типы, можешь фигачить и владение и сессионные типы (что, соб-но, просто разное применение одной концепции)

Loyd

Именно на основании таких утверждений я и говорю, что используя то же ядро компилятора в rust можно запихнуть и concurrency control

Что ты понимаешь под concurrency control?

Loyd

просто говорил о HKP в расте

HKP?

Anonymous

NHK

Loyd

NHK

Не гуглится

доня.

higher kinded polymorphism

Loyd

То есть вместо общеприняторо сокращения HKT, теперь вот редкое HKP появилось?

Alex

в расте вроде его так кличут

Alex

https://github.com/rust-lang/rfcs/issues/324

Anonymous

Не гуглится

да прост вспомнилась анима https://ru.wikipedia.org/wiki/NHK_ni_Youkoso!

Alex

я по аватарке сразу подумал на японское орт тоже :)

Oleg

я не то чтобы настоящий сварщик, но в расте же скорее уникальные типы чем линейные?

я тоже, но разве подсистема Lifetime ов - это не афинная ?

Oleg

да прост вспомнилась анима https://ru.wikipedia.org/wiki/NHK_ni_Youkoso!

Любимая анима моей жены

Loyd

я тоже, но разве подсистема Lifetime ов - это не афинная ?

Не совсем. move-семантика это линейная система

Loyd

s/линейная/афинная/. Но если выставил #[must_use], то линейная

Маjко

а ведь эта задача очень даже реализуема, если расширить систему типов в Rust

Система типов тут ни при чем, детектор дедлоков -- разновидность рантайм анализа

Oleg

Система типов тут ни при чем, детектор дедлоков -- разновидность рантайм анализа

Ну так же как и гарбейдж коллектор, мы говорим о типизированной альтернативе

Маjко

Ну так же как и гарбейдж коллектор, мы говорим о типизированной альтернативе

Нет, вы говорите о том, о чем не имеете понятия

Oleg

Нет, вы говорите о том, о чем не имеете понятия

Поясните

Oleg

я говорю о системах типов вроде этой https://link.springer.com/chapter/10.1007%2F11817949_16

Маjко

я говорю о системах типов вроде этой https://link.springer.com/chapter/10.1007%2F11817949_16

Модно поинтересоваться как вы судите о "незначительных измерениях"? Если вы приобрели данный paper, расшарьте на чатик

Oleg

Модно поинтересоваться как вы судите о "незначительных измерениях"? Если вы приобрели данный paper, расшарьте на чатик

я говорю о "незначительных изменениях" в теоритипном базисе компилятора ну вот к примеру статьи для расшаривания https://arxiv.org/abs/1508.06707 https://arxiv.org/abs/1603.03727

Oleg

Сужу очень поверхностно, очень интуитивно представляя растовский компилятор

Oleg

Поэтому и засаммонил @clayrat

Мерль

http://www.kb.ecei.tohoku.ac.jp/~koba/papers/concur2006-full.pdf

Мерль

http://www.kb.ecei.tohoku.ac.jp/~koba/papers/concur2006-full.pdf

Вот статья

Oleg

Но всё-таки мне интересно на чём основывается ваше самоуверенное и довольно грубое вы говорите о том, о чем не имеете понятия

Oleg

В моих словах есть принципиальные противоречия с актуальной теорией?

Oleg

@mersinvald

Маjко

В моих словах есть принципиальные противоречия с актуальной теорией?

Имеется принципиальное отличие. Deadlock Detector требует информации о занятых ресурсах в каждый момент исполнения и в раст это сейчас не впихнуть. И измерения там совсем не мелкие нужны, так как локи в расте на систему владения-заимствования вообще не полагается, оно все реализованы на interior mutability

Маjко

У меня есть иные дела кроме как сраться с вами в чате, будьте добры подождать-с

Oleg

У меня есть иные дела кроме как сраться с вами в чате, будьте добры подождать-с

ясно, но вы всё-таки нашли время чтобы начать сраться не так ли?

Oleg

и всё-таки меня не очень интересует рантайм система

Маjко

ясно, но вы всё-таки нашли время чтобы начать сраться не так ли?

У меня есть немного времени

Oleg

Ведь говорили мы именно о расширении системы типов