День добрый,

> 3.  А еще хочется отметить неявную конкатенацию - хотя почему она
> лучше явного конструктора, сказать трудно.

Ой, это я всегда понимал: два больше одного.  Вот и все.

В Лиспе все пораждается из атомов (один из которых Nil) одним
конструктором (Cons _ _), причем он жесткий:

(Cons A1 B1) == (Cons A2 B2) <==> A1==A2 && B1==B2

В Рефале два конструктора (_) и _ _
При этом второй не жесткий.

Это противоречит лозунгу минимализма из п.4 письма Аркадия.  Зато
делает предметную область языка гораздо богаче, а жизнь программиста
гораздо веселее.  А метапрограммиста -- метавеселее.

С уважением,

Абрамов С.М.
ab...@botik.ru
мобильный: +7(903)2928308




  • Re: Рефал "... Василий Стеллецкий swi_AT_cnshb . ru
    • Re: Рефал ... Василий Стеллецкий swi_AT_cnshb . ru
      • Re[2]:... Александр Гусев gusev_aleksandr_AT_mail . ru
      • Re: Ре... Василий Стеллецкий swi_AT_cnshb . ru
      • Re: Ре... Eisymont Leonid verger-lk_AT_yandex . ru
      • Re: Re... Arkady Klimov arkady . klimov_AT_gmail . com
      • Re: Re... Arkady Klimov arkady . klimov_AT_gmail . com
      • Re: Re... Boyko Bantchev boykobb_AT_gmail . com
      • AW: Re... nikolai . kondratiev_AT_gmail . com
      • Re: Re... Arkady Klimov arkady . klimov_AT_gmail . com
      • Re: Ре... Sergei M. Abramov
      • Re: Ре... Arkady Klimov arkady . klimov_AT_gmail . com
      • Музейн... Александр Гусев gusev_aleksandr_AT_mail . ru
      • Re: Му... Arkady Klimov arkady . klimov_AT_gmail . com
      • Re: Му... Boyko Bantchev boykobb_AT_gmail . com
      • Re: Ре... Василий Стеллецкий swi_AT_cnshb . ru
      • Re[2]:... Александр Гусев gusev_aleksandr_AT_mail . ru

Ответить