EG
Box<dyn Any>
Size: a a a
2020 May 08
S
Динамика — это надстройка над статикой
Лооооооооол выйди из чата
S
SP
Берётся изначально слабо статически типизированный C и навешивается PyObject*
тоесть берется язык без типов и становится языком без типов?
EG
тоесть берется язык без типов и становится языком без типов?
Хорошо, я на расте пишу лисп
EG
В расте типы есть
EG
В лиспе у меня Arc<Value>
SP
ну речь о каком то скачке качественном. ты просто делаешь другой язык, вм для языка
e
тоесть берется язык без типов и становится языком без типов?
подожди
а вот есть же mypy или typescript, это разве не пример
а вот есть же mypy или typescript, это разве не пример
EG
ну речь о каком то скачке качественном. ты просто делаешь другой язык, вм для языка
Ну дык
У меня была статическая типизация, я сделал динамическую поверх неё
У меня была статическая типизация, я сделал динамическую поверх неё
SP
подожди
а вот есть же mypy или typescript, это разве не пример
а вот есть же mypy или typescript, это разве не пример
это пример этого https://t.me/rust_offtopic/245572
e
а ок
потерял контекст
потерял контекст
SP
Ну дык
У меня была статическая типизация, я сделал динамическую поверх неё
У меня была статическая типизация, я сделал динамическую поверх неё
ты не сделал поверх ты просто дропнул статику. откатился так сказать
EG
А потом поверх него можно опять сделать статическую
S
Весь смысл динамики в том что в программе могут взаимодействовать сущности не известные на этапе компиляции
EG
ты не сделал поверх ты просто дропнул статику. откатился так сказать
Сделал поверх. Сделал монотип и функции для работы с ним.
SP
ну правильно. теряешь качество чтобы просунуть в рантайме говно невыражаемое через это качество
S
Это вообще ключевой вопрос в теории яп, как сделать так чтобы можно было отказываться к статике когда динамика не нужна
S
ну правильно. теряешь качество чтобы просунуть в рантайме говно невыражаемое через это качество
Эволюционные системы и selfrewriting code только так может работать
AZ
На хабре вышла статья про статическую/динамическую типизацию, опять
бля ребят