расскажу как-нибудь позже.
С уважением,
Александр Коновалов
From: Александр Коновалов a.v.konovalov87_AT_mail.ru [mailto:refal@botik.ru]
Sent: Thursday, March 7, 2019 2:21 PM
To: refal@botik.ru
Subject: RE: Лесоочистка в Рефале
Добрый день всем!
(Тем, кому не интересна суперкомпиляция
День добрый, всем!
- Чем почтовый список рассылки хуже формата Форумов?
- Дык... лайк негде оставить...
Всего доброго,
Сергей Абрамов
Добрый день всем!
(Тем, кому не интересна суперкомпиляция, письмо можно не читать. Там очередной
дамп моего потока сознания.)
Вернулся мыслями к дефорестации. Напомню, что дефорестация — разновидность
суперкомпиляции, определённая для некоторого подмножества функций, такого что
при суперкомпи
не понятно. Или неитересно.
С уважением,
Александр Коновалов
From: Andrei Klimov [mailto:and...@klimov.net]
Sent: Thursday, June 14, 2018 9:03 PM
To: refal@botik.ru
Subject: Re: Лесоочистка в Рефале
2018-06-14 20:38 GMT+03:00 Александр Коновалов <
<mailto:a.v.konovalo...@m
: Thursday, June 14, 2018 10:48 PM
To: refal@botik.ru
Subject: Re: Лесоочистка в Рефале
2018-06-14 22:19 GMT+03:00 Александр Коновалов mailto:a.v.konovalo...@mail.ru> >:
Добрый вечер, Андрей!
На счёт вольностей — у Вадлера в статье про дефорестацию есть т.н. «blazed
treeles
,
Андрей Климов
> Спасибо,
> Александр Коновалов
>
>
>
> *From:* Andrei Klimov [mailto:and...@klimov.net]
> *Sent:* Thursday, June 14, 2018 9:11 PM
> *To:* refal@botik.ru
> *Subject:* Re: Лесоочистка в Рефале
>
>
>
> Александр, добрый вечер!
>
> Ре
лов
From: Andrei Klimov [mailto:and...@klimov.net]
Sent: Thursday, June 14, 2018 9:11 PM
To: refal@botik.ru
Subject: Re: Лесоочистка в Рефале
Александр, добрый вечер!
Реализовать дефорестацию для Рефала путем синтаксичекого выделения
подмножества, для которого она применима "в лоб"
Александр, добрый вечер!
Реализовать дефорестацию для Рефала путем синтаксичекого выделения
подмножества, для которого она применима "в лоб" (типа примитивных
рекурсивных функций с какими-то расширениями, например, в сторону функций
высших порядков типа map, fold), мне кажется, не очень интересно
Я так и делаю. :-)
Александр Коновалов
From: Andrei Klimov [mailto:and...@klimov.net]
Sent: Thursday, June 14, 2018 9:03 PM
To: refal@botik.ru
Subject: Re: Лесоочистка в Рефале
2018-06-14 20:38 GMT+03:00 Александр Коновалов mailto:a.v.konovalo...@mail.ru> >:
Надеюсь, меня не заба
2018-06-14 20:38 GMT+03:00 Александр Коновалов :
>
> Надеюсь, меня не забанят за Хаскель в рассылке Рефала. :-)
>
Ни в коем случае! Нужно со всего мира воровать идеи и тащить их сюда – в
Рефал, в Рефал, в Рефал... 😁
Андрей
Сергей!
> Тоже интересно. Сведение многопроходных алгоритмов к однопроходному с
> удалением промежуточных структор данных (захватил память -- построил
> структуру -- разобрал структуру -- освободил память) мне всегда казалось
> серьезным пробным камнем именно для суперкомпиляции. А тут тебе "
День добрый, Александр!
> В статье от 1993 года «A short cut to deforestation»
> http://research.microsoft.com/en-us/um/people/simonpj/papers/deforestation-short-cut.pdf
> рассказывается об оптимизации, которая реализована в GHC. Но она не
> является оригинальной дефорестацией по Вадлеру (авторы
-Original Message-
From: Sergei M. Abramov
Sent: Thursday, June 14, 2018 2:41 PM
To: Александр Коновалов ; refal@botik.ru
Subject: Re: Лесоочистка в Рефале
> В личной переписке Андрей Немытых подсказал мне, что дефорестация — по
> сути разновидность суперкомпиляции.
Об этом была форм
> В личной переписке Андрей Немытых подсказал мне, что дефорестация —
> по сути разновидность суперкомпиляции.
Об этом была формальная статья (авторов и статью не помню, но там
очень формально все разобрано). И своим стидентам я так и говорю:
суперкомпиляция уже внедрена в промуышленное программи
Добрый день всем!
В личной переписке Андрей Немытых подсказал мне, что дефорестация — по сути
разновидность суперкомпиляции. И основная идея в том, что если ограничить
входной язык _примитивно-рекурсивными_ функциями, то суперкомпиляция будет
приводить ровно к тем же конфигурациям. Без вложений
15 matches
Mail list logo