169 похожих чатов

Скажите пожалуйста, вот допустим я решил написать свой List, или

любую другую рекурсивную структуру данных и у меня есть два варианта:

Data MyList a = Nothing | Node a (MyList a)
либо
Data MyList a = EmptyList | Node a (MyList a)

мне показалось логичным использовать Nothing, но в учебниках кажется встречается чаще EmptyList, есть ли какие-то аргументы за или против использования Nothing?

5 ответов

10 просмотров

А если ещё определить дерево, там пустое дерево тоже Nothing? Это как-то мутновато, даже если бы можно было так делать

главный аргумент - уже занято, и интуитивно будет матчиться именно с Maybe больше аргументов нет

Знойная Булочка Pachin
Чего мутного кроме того что хаскель не умеет?

Пустой список и пустое дерево -- это принципиально разные вещи, а то, что у них например представление в памяти может быть одинаковое, не должно играть роли в именовании

Знойная Булочка Pachin
Чего мутного кроме того что хаскель не умеет?

ну чтоб он это умел придется от вывода типов отказаться, так что для неумения нормальная причина. еще сабтайпинг не умеет и т.д.

Похожие вопросы

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
Ребят в СИ можно реализовать ООП?
Николай
33
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Карта сайта