Re: Рефал "мертв"? Да здравствует Рефал.
Не, не противоречит. Может я неточно выразился: "минимализм" тут как бы относительный, это как "цена" в соотношении "цена-качество", где "качество" - это богатство выразительных средств. Цена чуть больше, но качество много больше. Но конечно, возникает вопрос: а что, собственно, мы получаем взамен - из возможности откусывать и приклеивать с обеих сторон. К ответу Сергея (после "Зато") добавлю: более полно используется наша материально-пространственная интуиция. ср, 23 июн. 2021 г. в 15:34, Sergei M. Abramov abram_AT_botik.ru < refal@botik.ru>: > День добрый, > > > 3. А еще хочется отметить неявную конкатенацию - хотя почему она > > лучше явного конструктора, сказать трудно. > > Ой, это я всегда понимал: два больше одного. Вот и все. > > В Лиспе все пораждается из атомов (один из которых Nil) одним > конструктором (Cons _ _), причем он жесткий: > > (Cons A1 B1) == (Cons A2 B2) <==> A1==A2 && B1==B2 > > В Рефале два конструктора (_) и _ _ > При этом второй не жесткий. > > Это противоречит лозунгу минимализма из п.4 письма Аркадия. Зато > делает предметную область языка гораздо богаче, а жизнь программиста > гораздо веселее. А метапрограммиста -- метавеселее. > > С уважением, > > Абрамов С.М. > ab...@botik.ru > мобильный: +7(903)2928308 > > > > > -- ___ *С уважением, * *Аркадий Климов,* *с.н.с. ИППМ РАН,* *+7(499)135-32-95* *+7(916)072-81-48*
Re: Рефал "мертв"? Да здравствует Рефал.
День добрый, > 3. А еще хочется отметить неявную конкатенацию - хотя почему она > лучше явного конструктора, сказать трудно. Ой, это я всегда понимал: два больше одного. Вот и все. В Лиспе все пораждается из атомов (один из которых Nil) одним конструктором (Cons _ _), причем он жесткий: (Cons A1 B1) == (Cons A2 B2) <==> A1==A2 && B1==B2 В Рефале два конструктора (_) и _ _ При этом второй не жесткий. Это противоречит лозунгу минимализма из п.4 письма Аркадия. Зато делает предметную область языка гораздо богаче, а жизнь программиста гораздо веселее. А метапрограммиста -- метавеселее. С уважением, Абрамов С.М. ab...@botik.ru мобильный: +7(903)2928308
Re: Re[2]: Рефал "мертв"? Да здравствует Рефал.
Попытаюсь тоже конкретизировать свое представление о рефал-мышлении. 1. Рекурсивный функциональный стиль - да, но это есть и в Лиспе (и многих других языках). 2. А прежде всего - представление об элементарном шаге как о дереве решений, причем не обязательно двоичном, где на ветвях - предикаты, выраженные, в частности, образцами, но не только. Именно поэтому условия и блоки (в том числе прозрачные, с запятыми и откатами) считаю необходимыми (indispensable). А тонкое управление откатами (заборы, отсечение) - уже, пожалуй, лишнее. 3. А еще хочется отметить неявную конкатенацию - хотя почему она лучше явного конструктора, сказать трудно. Возможно, дает ощущение какой-то свободы (?) - от необходимости все загонять в предопределенные типы. 4. Наконец, Рефал - это непревзойденный пример того, как можно минимальными языковыми средствами выразить все богатство идей и потребностей. Соответственно, воспитывает тот же минимализм в конструировании. ср, 23 июн. 2021 г. в 12:41, nikolai.kondratiev_AT_gmail.com : > Это, вероятно, функциональный стиль программирования вообще. Возможно, что > Erlang, например, тоже требует похожего мышления. > > Немного о другом. > Я весьма скептически отношусь к понятию IQ и к тестам соответственно, но > вроде бы этот показатель стабилен для различных тестов и почти не > тренируется. Инвариантность IQ говорит в его пользу. > > Мне где-то попадалась информация о том, что изучение нового языка > (естественного), сильно отличающегося от уже освоенных, увеличивает IQ на > 2-3 единицы. > > Когда я об этом узнал, то подумал, что мое знание Рефала добавило что-то к > моему "программистскому IQ". > > Такая вот лже-ученая мысль (смайлик). > > Коля > > -Ursprüngliche Nachricht- > Von: Boyko Bantchev boykobb_AT_gmail.com > Gesendet: Montag, 21. Juni 2021 14:27 > An: refal@botik.ru > Betreff: Re: Re[2]: Рефал "мертв"? Да здравствует Рефал. > > Здравствуйте все! > > Несколько человек высказалось в поддержку существования специфического для > Рефала мышления в решении задач. Однако при этом никто не указывает, в чём > эта специфика состоит. > А вопрос интересен даже только ввиду того, что, по-видимому, и среди > рефальщиков не все разделяют данную точку зрения. > > Тем более важно уточнить, в чём состоит связанная с Рефалом специфика, > если говорить об (согласно Александру Гусеву) «обучении Рефалу не как > языку, а как методу мышления». Имеется ли, например, порождённая Рефалом > методология программирования, которую можно излагать и которой можно > следовать, необязательно прибегая к собственно программированию на Рефале, > и которая вместе с тем достаточно чётко отличается от других существующих > методологий? > -- ___ *С уважением, * *Аркадий Климов,* *с.н.с. ИППМ РАН,* *+7(499)135-32-95* *+7(916)072-81-48*
AW: Re[2]: Рефал "мертв"? Да здравствует Рефал.
Это, вероятно, функциональный стиль программирования вообще. Возможно, что Erlang, например, тоже требует похожего мышления. Немного о другом. Я весьма скептически отношусь к понятию IQ и к тестам соответственно, но вроде бы этот показатель стабилен для различных тестов и почти не тренируется. Инвариантность IQ говорит в его пользу. Мне где-то попадалась информация о том, что изучение нового языка (естественного), сильно отличающегося от уже освоенных, увеличивает IQ на 2-3 единицы. Когда я об этом узнал, то подумал, что мое знание Рефала добавило что-то к моему "программистскому IQ". Такая вот лже-ученая мысль (смайлик). Коля -Ursprüngliche Nachricht- Von: Boyko Bantchev boykobb_AT_gmail.com Gesendet: Montag, 21. Juni 2021 14:27 An: refal@botik.ru Betreff: Re: Re[2]: Рефал "мертв"? Да здравствует Рефал. Здравствуйте все! Несколько человек высказалось в поддержку существования специфического для Рефала мышления в решении задач. Однако при этом никто не указывает, в чём эта специфика состоит. А вопрос интересен даже только ввиду того, что, по-видимому, и среди рефальщиков не все разделяют данную точку зрения. Тем более важно уточнить, в чём состоит связанная с Рефалом специфика, если говорить об (согласно Александру Гусеву) «обучении Рефалу не как языку, а как методу мышления». Имеется ли, например, порождённая Рефалом методология программирования, которую можно излагать и которой можно следовать, необязательно прибегая к собственно программированию на Рефале, и которая вместе с тем достаточно чётко отличается от других существующих методологий?