[
undefined - каноничный выход же
Size: a a a
2021 March 29
к
я вместо undefined пишу error "что-то конкретное"
[
ну или так, конечно
O
нет, дырка не будет компилировать этот модуль вовсе
да, но может это и не плохо, если всё равно собираешься вернуться к этому коду
к
потому что когда много таких undefined, сложно найти какой именно забыл написать
к
да, но может это и не плохо, если всё равно собираешься вернуться к этому коду
так прежде чем вернуться к этому коду, нужно другой написать
к
а как его написать если репла нет рабочего
[
да, но может это и не плохо, если всё равно собираешься вернуться к этому коду
плохо, в ghci не чекнешь
к
лучше бы дырки конечно кидали ворнинг + вели себя как error, а не блочили компиляцию
к
а ну тогда можно было дырку забыть случайно
O
тут выбор между "чтобы был репл" и "чтобы не забыть"
[
плохо, в ghci не чекнешь
я, конечно, "фальшивый хаскелит", но без ghci не представляю написания проекта
Там и тайпчеки удобные и вообще можно любую крутую штуку вытворять
Там и тайпчеки удобные и вообще можно любую крутую штуку вытворять
к
лучше бы дырки конечно кидали ворнинг + вели себя как error, а не блочили компиляцию
и такое есть -
-fdefer-type-errorsк
будут и дырки, и ворнинг про дырку, и репл
к
теперь буду так делать всегда
к
нет, не буду, дырки тормозят, еще бы выключить солвер который предлагает варианты
[
тут выбор между "чтобы был репл" и "чтобы не забыть"
чтобы не забыть нормально error подойдёт, потому что он тебе прямо напомнит
O
ага, обсчитывая бухгалтерию на проде
O
(хотя кого я обманываю)
[
нет, не буду, дырки тормозят, еще бы выключить солвер который предлагает варианты
*Кана через пять минут*: "и такое есть"