к
Size: a a a
2021 February 12
A
да, только что сам понял
A
только почему байнд?
A
Ага, спасибо
YP
А если ещё определить дерево, там пустое дерево тоже Nothing? Это как-то мутновато, даже если бы можно было так делать
Чего мутного кроме того что хаскель не умеет?
KV
Yuriy Pachin
Чего мутного кроме того что хаскель не умеет?
Пустой список и пустое дерево -- это принципиально разные вещи, а то, что у них например представление в памяти может быть одинаковое, не должно играть роли в именовании
YP
То, что оно является типом дерева должно быть достаточно. А не делать каждому конструктору префикс типа.
KV
Yuriy Pachin
То, что оно является типом дерева должно быть достаточно. А не делать каждому конструктору префикс типа.
Ага, и потом вместо этого префикса везде тип писать. Нахрена?
YP
Как-то в расте/скале справляются локальными импортами.
YP
Вот это тоже в hateHaskellers
к
Ага, и потом вместо этого префикса везде тип писать. Нахрена?
List.Empty строго лучше чем ListEmpty
KV
Это бессмысленная фича. Если у разных типов есть одинаковое свойство "быть пустым" или типа того, оно должно быть выделено не именем конструктора, а какой-то вменяемой формой ад-хок полиморфизма, ну типа например mempty можно писать
YP
Это бессмысленная фича. Если у разных типов есть одинаковое свойство "быть пустым" или типа того, оно должно быть выделено не именем конструктора, а какой-то вменяемой формой ад-хок полиморфизма, ну типа например mempty можно писать
Нет конечно, это корявость хаскеля.
KV
Yuriy Pachin
Нет конечно, это корявость хаскеля.
Но в хаскелле можно писать с префиксами
YP
Где угодно можно.