Re: Про параллелизм в Рефале

On Sun, 1 Dec 2019 at 23:24, Andrei Klimov andrei_AT_klimov.net wrote: > > вс, 1 дек. 2019 г., 15:31 Александр Коновалов a.v.konovalov87_AT_mail.ru > : >> >> Кстати, вопрос к знатокам терминологии параллельного и/или функционального >> программирования. Вот есть понятие чистая функция — это

Re: Нужна ли "Ленинская простота" в Рефале?

> Распространённая терминологическая ошибка Александр, Представьте себе, мне хорошо известна разница между понятиями статическая/динамическая и строгая/нестрогая в отношении типизации в языках программирования. Однако я говорю не о нестрогой типизации, а о слабой. Слабо типизированным я

Re: Про параллелизм в Рефале

вс, 1 дек. 2019 г., 15:31 Александр Коновалов a.v.konovalov87_AT_mail.ru < refal@botik.ru>: > Кстати, вопрос к знатокам терминологии параллельного и/или функционального > программирования. Вот есть понятие *чистая функция* — это > детерминированная функция без побочного эффекта. У этого понятия

Re: Про параллелизм в Рефале

Параллелить в Рефале можно гораздо больше, это описано в статье конца семидесятых в УСИМе.То, что описано в Вашем письме, нами пройдено в начале восьмидесятых, я об этих ловушках и говорил.Все описано в упомянутых публикациях и в моей диссертации, которую мне разрешили защитить перед работами по

Re: Нужны ли вещественные числа в Рефале?

Какое-то странное обсуждение. Кусок памяти с числом, на который имеется ссылка в звене списковой памяти, которое с точки зрения рефала - ссылка , это просто вещественное число. Можно по-другому назвать, тип добавить. Какая разница? Своего рода косвенная адресация. Что с ним можно делать - все в

Re: Рефал-2, Рефал-5 и стиль программирования

Первая фраза спорная, даже неправильная. Я много повидал "героев", для которых лучшим документом по программе является сама программа. Конечно без документации на нее со структурами данных, описаниями алгоритмов. Даже обсуждать это бессмысленно. Все это плохо заканчивается.Еще надо учитывать то,

RE: Нужна ли "Ленинская простота" в Рефале?

Добрый вечер, Бойко! «Рефал ведь слабо типизированный язык…» Распространённая терминологическая ошибка, перепутана слабая и динамическая типизация. Сильно типизированный язык — язык, запрещающий неявные преобразования. Слабо типизированный язык — язык, разрешающий неявные преобразования.

Про параллелизм в Рефале

Добрый день, Леонид, ещё раз! Выношу в отдельную тему обсуждение параллелизма. «С функциями с побочным эффектом надо быть осторожными. То, что Вы говорите, сводит на нет все распараллеливание по чистым конкретизациям.» Напишу подробнее, что же мы планируем со студентом получить (добавил его

RE: Нужны ли вещественные числа в Рефале?

Добрый день, Леонид! «С указателями на числа все неправильно. Именно надо работать с тем, на что ссылаемся, на 64-х разрядные числа.» Меня смутила фраза «символы-ссылки» в предыдущем письме. Во многих языках программирования различают типы-значения и типы-ссылки. Типы-значения сравниваются по

Re: Нужна ли "Ленинская простота" в Рефале?

> ... Если ещё немного усложнить язык - получится Хаскелл, зачем тогда Рефал? Получить Haskell или вообще язык с системой типов Hindley–Milner из Рефала не то что с небольшими усложнениями, а вообще нереально ожидать. Рефал ведь слабо типизированнъй язык, тогда как с Hindley–Milner-овскими