Size: a a a

2020 May 08

EG

Emmanuel Goldstein in rust_offtopic
Box<dyn Any>
источник

S

Sooqa in rust_offtopic
Emmanuel Goldstein
Динамика — это надстройка над статикой
Лооооооооол выйди из чата
источник

S

Sooqa in rust_offtopic
источник

SP

Stanislav Popov in rust_offtopic
Emmanuel Goldstein
Берётся изначально слабо статически типизированный C и навешивается PyObject*
тоесть берется язык без типов и становится языком без типов?
источник

EG

Emmanuel Goldstein in rust_offtopic
Stanislav Popov
тоесть берется язык без типов и становится языком без типов?
Хорошо, я на расте пишу лисп
источник

EG

Emmanuel Goldstein in rust_offtopic
В расте типы есть
источник

EG

Emmanuel Goldstein in rust_offtopic
В лиспе у меня Arc<Value>
источник

SP

Stanislav Popov in rust_offtopic
ну речь о каком то скачке качественном. ты просто делаешь другой язык, вм для языка
источник

e

egoarka in rust_offtopic
Stanislav Popov
тоесть берется язык без типов и становится языком без типов?
подожди
а вот есть же mypy или typescript, это разве не пример
источник

EG

Emmanuel Goldstein in rust_offtopic
Stanislav Popov
ну речь о каком то скачке качественном. ты просто делаешь другой язык, вм для языка
Ну дык
У меня была статическая типизация, я сделал динамическую поверх неё
источник

SP

Stanislav Popov in rust_offtopic
egoarka
подожди
а вот есть же mypy или typescript, это разве не пример
это пример этого https://t.me/rust_offtopic/245572
источник

e

egoarka in rust_offtopic
а ок
потерял контекст
источник

SP

Stanislav Popov in rust_offtopic
Emmanuel Goldstein
Ну дык
У меня была статическая типизация, я сделал динамическую поверх неё
ты не сделал поверх ты просто дропнул статику. откатился так сказать
источник

EG

Emmanuel Goldstein in rust_offtopic
А потом поверх него можно опять сделать статическую
источник

S

Sooqa in rust_offtopic
Весь смысл динамики в том что в программе могут взаимодействовать сущности не известные на этапе компиляции
источник

EG

Emmanuel Goldstein in rust_offtopic
Stanislav Popov
ты не сделал поверх ты просто дропнул статику. откатился так сказать
Сделал поверх. Сделал монотип и функции для работы с ним.
источник

SP

Stanislav Popov in rust_offtopic
ну правильно. теряешь качество чтобы просунуть в рантайме говно невыражаемое через это качество
источник

S

Sooqa in rust_offtopic
Это вообще ключевой вопрос в теории яп, как сделать так чтобы можно было отказываться к статике когда динамика не нужна
источник

S

Sooqa in rust_offtopic
Stanislav Popov
ну правильно. теряешь качество чтобы просунуть в рантайме говно невыражаемое через это качество
Эволюционные системы и selfrewriting code только так может работать
источник

AZ

Alex Zhukovsky in rust_offtopic
Emmanuel Goldstein
На хабре вышла статья про статическую/динамическую типизацию, опять
бля ребят
источник