AL
Каким образом делается такой вывод?
Size: a a a
2020 July 19
AC
Каким образом делается такой вывод?
Посмотри в википедии. Я не силен сходу пересказать. Может тут найдется кто-то кто на пальцах сможет объяснить
AL
Там дело скорее не в типах, а в том что языки которые мы относим к динамическим все работают через исполнение интерпретированного байткода в VM, выделяют память на хипе, не имеют доступ к стеку и почти все вызовы в них вынуждены быть виртуальными
Неинтерпетированные языки с динамической типизацией это языки с хинтам или промежуточной компиляцией типа Carp
A
Каким образом делается такой вывод?
Чтобы все описать, нужно все на 100% знать. А это недостижимо. Как то так, наверно.
AL
Посмотри в википедии. Я не силен сходу пересказать. Может тут найдется кто-то кто на пальцах сможет объяснить
Я в курсе как формулируется теорема Гёделя о неполноте
AL
Чтобы все описать, нужно все на 100% знать. А это недостижимо. Как то так, наверно.
Она тащемта не про это
AC
Неинтерпетированные языки с динамической типизацией это языки с хинтам или промежуточной компиляцией типа Carp
Ну хинты может и динамический язык генерить. И типы выводить.
AL
Она про то что нельзя делать выводы о внешних для члена уравнения членов. Я бы не стал из этого делать вывод что "нужно знать 100%"
AL
Это скорее к теории моделей
AL
Ты можешь не знать что происходит между Юпитером и Землёй но ты можешь быть вполне уверен что на всем этом пространстве работает общая теория относительности
AL
Потому что если бы она где-то на этом пространстве не работала, ты бы наблюдал другие результаты сидя на Земле и смотря на свои носки
A
Эмм, сдаюсь :) пойду мапки попилю
AC
Потому что если бы она где-то на этом пространстве не работала, ты бы наблюдал другие результаты сидя на Земле и смотря на свои носки
Ну системы типов мы наблюдаем как не работают
ИФ
Ну тут бы адепт типов тебе сказал что как раз типы помогают дизайну и позволяют компилятору валидировать твой дизайн
да, для командной работы спека хороша
AC
и все такое
AL
Вроде можно доказать что NPE происходит из-за того что стейт-машина корявая
AL
Если взять язык с формальной верификацией во время компиляции и рантайма, то нулл пойнтеров не будет
AL
У тебя будут раньше вылетать ошибки о том что данные не соответствуют типу
AC
Если взять язык с формальной верификацией во время компиляции и рантайма, то нулл пойнтеров не будет
Вопрос все ли можно верифицировать