Корзина с 51 и 101 розой: кому и когда дарят
02.09.2024 —
Табло
Разное про программирование
thesz — 12.09.2024
https://agda.readthedocs.io/en/v2.7.0/language/syntax-declarations.htmlОказывается, в Агде есть расширение языка своим синтаксисом. Мало им mixfix (
if_then_else_ это функция, а не
синтаксическая конструкция) , теперь ещё и синтаксис можно
(ограничено) менять.Надо приглядеться. Агдой управляют не самые глупые люди (они выбрали нормальный порядок вычислений, в отличии от Идриса), вполне возможно, они всё продумали.
http://meta2016.pereslavl.ru/papers/2016_Glueck_Klimov_Nepeivoda__Non-Linear_Configurations_for_Superlinear_Speedup_by_Supercompilation.pdf
Довольно интересная статья. В ней суперкомпиляция дополняется наиболее точным обобщением (most specific generalization) и появляется возможность получить сверхлинейное ускорение, то есть, перевести квадратичный алгоритм в линейный. До чтения этой статьи я думал, что для этого требуется возгонка (дистилляция, вот тут есть реализация этого алгоритма), но, похоже, наиболее точное обобщение имеет сходную силу преобразований.
Как минимум, надо проверить.
Сохранено
|
|
</> |
Разное про программирование
Оставить комментарий
Популярные посты:
Предыдущие записи блогера :
Архив записей в блогах:
Миша Длинный продолжает поражать прямотой и непосредственностью. Сначала скинул на плечи родной сестры неперспективный и съедающий кучу бизнесового времени балласт под названием "Гражданская платформа. Потом в эфире собственного канала РБК, (который частями принадлежит его группе ...
Плохое всё вот это тут, стоит, не нравится совсем, давай отсюда скорей всё ето уберём, вообще зачем несёшь суда, всево хватает. Оставишь ето тут опять, оно зачем тебе потом, не знаю прямо? Ты думал, может, что принёс, и сразу можно радым быть, и сбоку ...
Кто не знает, не слышал этих слов из книги Бытия, первая глава? Я помню, как размышляла над тайной, скрытой в этой простой фразе: "И сказал Бог: да будет свет!" А что было до того, как появился свет? С чего всё начинается? Всё начинается с нуля, в том числе и световое излучение. ...
Дороие мои, совсем забыла поделиться с вами эмоциями о том как мы с матушкой посетили в ГКД на юбилейный концерт Бориса Моисеева... Скажу честно, я причисляю себя к людям слушающих тяжелую музыку и я вовсе не знаю всего репертуару Бориса, но то, что он гениален и мега талантлив я нис ...
У нас солнечная теплая погода. Любимое занятие возиться в саду под аудио книгу. Очень красиво в этом году пожелтели черешни. Обычно их осенний ветер обрывает в зеленом состоянии. Мои хризантемы радуют до сих пор. И последние розы пахнут необычно сильно. В эти длинные выходные в Коголето ...
