M
Мы знаем, да...
Felis Chaus: Похоже вот выше человек с авой генту не знает
Size: a a a
2021 March 15
D
Felis Chaus: Похоже вот выше человек с авой генту не знает
Знает
D
Он про другое
DP
хотелось бы чего-то такого
Prelude> let func :: Integer -> String; func n = if n then "a" else "b"
<interactive>:6:44:
Couldn't match expected type ‘Bool’ with actual type ‘Integer’
In the expression: n
In the expression: if n then "a" else "b"
D
хотелось бы чего-то такого
Prelude> let func :: Integer -> String; func n = if n then "a" else "b"
<interactive>:6:44:
Couldn't match expected type ‘Bool’ with actual type ‘Integer’
In the expression: n
In the expression: if n then "a" else "b"
Ля это что
W
Felis Chaus: Мне он кажется легче, чем c++ в схожих библиотеках.
У него одна большая проблема - динамическая типизация.
Все есть PyObject. И defined в рантайме.
Из-за чего нет типобезопасности. Для этого приходится покрывать 100% кода тестами, т.к. иначе ты не пройдешься по всем типам объектов.
А в плюсах очень много валидации можно вынести в типы. И получать ошибки на более раннем этапе - при компиляции.
Все есть PyObject. И defined в рантайме.
Из-за чего нет типобезопасности. Для этого приходится покрывать 100% кода тестами, т.к. иначе ты не пройдешься по всем типам объектов.
А в плюсах очень много валидации можно вынести в типы. И получать ошибки на более раннем этапе - при компиляции.
D
Вроде не хаскелль
DP
Вроде не хаскелль
он)
D
А, не видел там let просто
DP
костыль для старых версий интерпритатора
DP
в новых и без let заведётся
CD
хотелось бы чего-то такого
Prelude> let func :: Integer -> String; func n = if n then "a" else "b"
<interactive>:6:44:
Couldn't match expected type ‘Bool’ with actual type ‘Integer’
In the expression: n
In the expression: if n then "a" else "b"
ну это перебор, в дизайне стоит задаваться вопросом "можем ли мы понять, что пользователь имел в виду"
M
У него одна большая проблема - динамическая типизация.
Все есть PyObject. И defined в рантайме.
Из-за чего нет типобезопасности. Для этого приходится покрывать 100% кода тестами, т.к. иначе ты не пройдешься по всем типам объектов.
А в плюсах очень много валидации можно вынести в типы. И получать ошибки на более раннем этапе - при компиляции.
Все есть PyObject. И defined в рантайме.
Из-за чего нет типобезопасности. Для этого приходится покрывать 100% кода тестами, т.к. иначе ты не пройдешься по всем типам объектов.
А в плюсах очень много валидации можно вынести в типы. И получать ошибки на более раннем этапе - при компиляции.
Felis Chaus: Либо вручную проверять типы
DP
У него одна большая проблема - динамическая типизация.
Все есть PyObject. И defined в рантайме.
Из-за чего нет типобезопасности. Для этого приходится покрывать 100% кода тестами, т.к. иначе ты не пройдешься по всем типам объектов.
А в плюсах очень много валидации можно вынести в типы. И получать ошибки на более раннем этапе - при компиляции.
Все есть PyObject. И defined в рантайме.
Из-за чего нет типобезопасности. Для этого приходится покрывать 100% кода тестами, т.к. иначе ты не пройдешься по всем типам объектов.
А в плюсах очень много валидации можно вынести в типы. И получать ошибки на более раннем этапе - при компиляции.
ну так не надо писать функции которые по вторникам принимают инт а по средам стринг
DP
+ аннотации типов конечно
DP
ну это перебор, в дизайне стоит задаваться вопросом "можем ли мы понять, что пользователь имел в виду"
да мы всегда можем понять, тут вопрос что лучше
W
Felis Chaus: Либо вручную проверять типы
Как?
Их нету. Они есть только при исполнении.
А моделировать весь граф потока исполнения в голове - не всегда тривиальная задача.
Их нету. Они есть только при исполнении.
А моделировать весь граф потока исполнения в голове - не всегда тривиальная задача.
M
Как?
Их нету. Они есть только при исполнении.
А моделировать весь граф потока исполнения в голове - не всегда тривиальная задача.
Их нету. Они есть только при исполнении.
А моделировать весь граф потока исполнения в голове - не всегда тривиальная задача.
Felis Chaus: Если функция должна принимать только определенный тип, то проверить можно. Если нет, то надо написать так функцию, что бы она смогла.
W
Felis Chaus: Если функция должна принимать только определенный тип, то проверить можно. Если нет, то надо написать так функцию, что бы она смогла.
Вот. Надо самому руками валидировать не только данные, но и типы.
В плюсах валидацию типов делает компилятор.
В плюсах валидацию типов делает компилятор.
M
Вот. Надо самому руками валидировать не только данные, но и типы.
В плюсах валидацию типов делает компилятор.
В плюсах валидацию типов делает компилятор.
Felis Chaus: В плюсах это делается ещё на этапе написания кода в нормальной ide, в python частично тоже.