IK
в осознании пролемы
Size: a a a
2021 November 24
˸A
Тут нельзя скрины аттачить... я бы показал, что let - тооже в ФП выводится контекстом в этой книге... Даже больше - там даже про алгоритмическое (не про тесты) доказательство верности алгоритмов расписывается (глава 7)... Просто не прочитали introduction to functional programming..
IK
Это все прекрасно
IK
Расскажите как это влияет на описанную выше проблему именно в контексте typescript :)
EK
Профессиональный байт на покупку книги
TS
ну если серьезную теорию к тайпскрипт применить, то претензий будет побольше, чем к жс))
˸A
Там есть глава про типы в лямбда-исчислениях - помогает понять, почему тип именно такой, а не то, что вы придумали
N
Давайте вы сначала базу выучите а потом будет судить про тайпскрипт 🤣
IK
какой же? :)
IK
тип для функции f(unknown) => return Boolean(...args)
IK
если для Boolean(...args) известен тип boolean :)
IK
пока вы ни одного аргумента не привели )
˸A
Тут банальное незнание джс и falsy приведения типов - ТС это не катит)))
IK
а ошибка не тут
IK
это фикс )
IK
isLegacyFunctionalComponent возвращает boolean
IK
так что при falsy-типе он гарантированно строго false как инвариант
IK
похоже вы не разобрались )