S
Я видел в каких то языках, в зависимости от передаваемых аргументов, вызывались разные функции
Size: a a a
2020 August 08
S
Я видел в каких то языках, в зависимости от передаваемых аргументов, вызывались разные функции
Это скорее перегрузка функций
S
Если не путаю, сам-то я на динамике пишу
S
Начальная мысль моя была, что рантайм проверка твоих типов бесполезна
S
Недоверие ресурсоемко
S
Я видел в каких то языках, в зависимости от передаваемых аргументов, вызывались разные функции
Но может в каких то языках можно сделать исключение для такого, это уже хз
S
То, что ты описал - это уже контракты на границе двух систем, и это уже решается на более высоком уровне, чем простая проверка типов
S
А то, что тебе прилетело три аргумента в функцию вместо двух - ты же про сеть говоришь? Жсон какой-нибудь, к примеру? Так вот в открытых системах ты из этого жсона вытаскиваешь из трех полей только два нужных, остальное - мимо, и передаешь в функцию. А внутри твоего рантайма уже могут быть проверки типов, которые по сути ортогональны проверке твоих контрактов.
S
А то, что тебе прилетело три аргумента в функцию вместо двух - ты же про сеть говоришь? Жсон какой-нибудь, к примеру? Так вот в открытых системах ты из этого жсона вытаскиваешь из трех полей только два нужных, остальное - мимо, и передаешь в функцию. А внутри твоего рантайма уже могут быть проверки типов, которые по сути ортогональны проверке твоих контрактов.
А если во время разработки ты дашь в эту функцию такое, то тебя поругают
S
Следовательно в рантайме не будет этой проверки
S
И она не оправдана, на самом деле
S
Тут только валидация
S
Давай проясним ситуацию: тс или жс?)
S
В тс тоже нет рантайм проверки типов
S
Там тоже решается валидацией
S
В тс тоже нет рантайм проверки типов
Тс транслируется же в жс в итоге?
S
Может не транслировать
S
Это отдельный язык
S
Ну браузер же не понимает тс?