K
Типы - это способ при каждом сложении не проверять, не строку ли мы складываем.
Size: a a a
Типы в языках программирования, моделирования, представления знаний и жизни
505 membersпожаловаться на группу
2021 November 01
gо
проверять, но заранее
K
В рантайме, я имел ввиду
gо
(и то это тоже не совсем правда, потому что с динамическим диспатчингом ты ещё как будешь в рантайме проверять)
gо
или с диндиспатчингом уже не типы?
AG
чем больше гарантий ломаете, тем больше надо проверять конечно
KV
Это "тэги" называется
K
Ну вон хаскелль, если типы фиксированы, сделает просто вызов
+, и можно показать, что проверок не происходитgо
пока у тебя не появляются экзистенциальные типы, для которых вызов тайпклассовой функции будет матчить тип в рантайме, по сути
AB
Ну вот некоторые обзывали типом переменной -
цитата:
"тип переменной — это множество значений, которые она может принимать"
цитата:
"тип переменной — это множество значений, которые она может принимать"
AB
И они в чем-то правы. )
KV
AB
Понятие типа развивалось и претерпевало видимо какоето развитие/изменение, исторический трек.
gо
data ShowEx = forall a. Show a => ShowEx a
runtimeDecision :: IO ShowEx
runtimeDecision = do
line <- getLine
pure $ if line == "string" then ShowEx "forty two" else ShowEx 42
instance Show ShowEx where
show (ShowEx x) = show x
main = do
s <- runtimeDecision
-- Doing runtime check here!
print s
NR
Потом ты задашь вопрос в каком смысле элементы принадлежат тому или иному "множеству" и снова придёшь к типам
AB
Просто, как обычно, есть веер определений и понятий, близких по смыслу.
И эти понятия уточняются постепенно и стандартизируются.
Это банальность, конечно.
И эти понятия уточняются постепенно и стандартизируются.
Это банальность, конечно.
AB
А неопределяемых понятий не должно быть. Этот секрет рассказываю специально для данной группы. ))