Lisp

[mibori]

Пойдем дальше.

Было бы не плохо в динамически типизированном лиспе иметь некоторый аналог ADT. Каждый, кто знает Лисп и Хаскель, наверное, уже задумывались над этим вопросом. Пропущу формальное описание (его все равно никто не читает) и перейду сразу к примеру. Примером у нас будет аналог хаскельного типа Maybe. Для того, чтобы его определить,

Comments

[swizard]

В следующей редакции, видимо, будет паттерн-матчинг? =) Потому что я не вижу, как можно комфортно применять ADT без него, если только простыней (cond ...

[mibori]

Действительно, паттерн-матчинг на конструкторах ADT рулит, но хочу пока обходится без него, неявным cond в def: в лиспе мне он не нравится... плохо выглядит.
Не буду пока про него писать до макросов.

Вообще в минималистичном лиспе и ADT тоже особо не нужны. Но мне кажется более удобным декларировать свой собственный тип, чем выворачивать что-то из стандартных. Допустим, если бы в Эрланге было какое-то подобие ADT, не пришлось бы, например, в receive, выворачиваться со списками и кортежами/записями.