[
read :: Read a => String -> aSize: a a a
2021 June 12
AF
Да в принципе даже с эвалом можно было бы реализовать такую "проверку типов", просто отключать её, если где-то этой переменной присваивается результат эвала. Суть в том, что утверждения о типах в коде все равно присутствуют
t
ну это все жеж не то, на string ограничений не накладывается
[
тип для
a подбирается ниже по коду, после вызоваt
да, но String при этом никак на это не реагирует. я про что-то типа обратного рефайнмента типов, скорее
t
где для
a специфицированного Number получается какой-нибудь недонаселенный StringWithNumber в аргументеt
хотя в какой-то момент все равно придется String как-то приводить к StringWithNuber
ЗП
nasm по умолчанию с маком, он идет в купе с икскодом
t
dosbox 😉
[
dualboot
AF
мы говорим, что это не undefined/null, но не говорим, какой это тип. Когда мы используем (), мы явно говорим, что здесь функция
AF
И да, интерпретаторы это не проверяют, и это никому не нужно. Но они могли бы.
[
ну да, потому что () => {} это не функция, это делегат
[
да, оттуда