EG
То есть только так
Size: a a a
2020 June 09
EG
Ок, спасибо
AZ
toFormat : (xs : List Char) -> Format
toFormat [] = End
toFormat ('%' :: 'd' :: tail) = Number (toFormat tail)
toFormat ('%' :: 's' :: tail) = Str (toFormat tail)
toFormat (x :: tail) = Lit (cast x) (toFormat tail)AZ
ну вот у меня так сделано
VS
и всем пофиг?
Да на одном этаже больше сотни программистов может сидеть. Там не то что пофиг - многие не знают как тебя звать вообще да и у тебя же причина будет - ждёшь доступы или ещё что.
e
ну мы же МАТЕМАТИКИ, комон
кто те такое сказал
SP
если мы МАТЕМАТИКИ зачем писать else if вместо просто else?
как раз чтобы ловить такую хуйню
e
как раз чтобы ловить такую хуйню
раскрой мысль
чтобы тайпскрипт ловил или кто ( он и так это делает, или ты хочешь еще что то от него?)
чтобы тайпскрипт ловил или кто ( он и так это делает, или ты хочешь еще что то от него?)
AZ
как раз чтобы ловить такую хуйню
ммм, ты написал второй иф, значит ты должен проверить теперь третью ветку
AZ
Если что, формальные пруверы и теория типов является интуиниционистской логикой
AZ
а в ней закона исключенного третьего нет
AZ
а значит если ты проверил то a < 0 и проверил что a >= 0 это не значит что ты покрыл все кейсы
AZ
SP
SP
ну чтож ДОСАДНО
e
ну чтож ДОСАДНО
понимаю ..
SP
ну как бы я до этого не сразу дошел. там был таки эксепшен, без эксепшена была ошибка, я начал ловить эксепшен и забыл почему я его поставил
e
думал ты умнее тайпскрипта?
SP
нет думал тайпскрипт умнее меня )
SP
думал тайпскрипт уже догадался что там может быть nan