Коробки из мелованного картона: свойства, преимущества и сферы применения 
Пока обед. Во всей этой свистопляске с голами Овечкина... 
Фронтовик 
26 марта 1857 года — В Москве основан завод братьев Бромлей (в СССР — завод 
Россиянка описала привычные для россиян вещи фразой «в Америке это роскошь» 
Пальма 2 
Тарифная истерика 
Апрель - акварель. 
Мышка в отпуске\\Куршская коса телефоном ( часть 1)
11.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) и появляется возможность получить сверхлинейное ускорение, то есть, перевести квадратичный алгоритм в линейный. До чтения этой статьи я думал, что для этого требуется возгонка (дистилляция, вот тут есть реализация этого алгоритма), но, похоже, наиболее точное обобщение имеет сходную силу преобразований.
Как минимум, надо проверить.
Сохранено
|
|
</> |
Разное про программирование
Оставить комментарий
Популярные посты:
Предыдущие записи блогера :
02.09.2024 —
Табло
Архив записей в блогах:
Вот наконец-то у меня появился такой заварничек для зеленого чая. Какой же он удобный, оказывается)))) Заварила било чунь, наслаждаюсь. 5-я заварка — вообще сказка!
п.с. Фото ...
После сытного обеда, состоящего из риса с курицей, кофе и шоколада, ей стало так спокойно, хорошо, щеки разрумянились, захотелось просто лечь, обнять плюшевого дракошку и бездумно лежать… В квартире было прохладно, лицо пылало, а ноги и руки ...
Тут Ашуркова потеряли. Нет, серьёзно. Правая рука Навального, который вёл переговоры с западными спонсорами, сверкал в медиапространстве своими заявлениями или призывами помочь несчастному оппозиционеру Навальному деньгами, теперь, как сообщает «Политонлайн», «пропал с радаров». ...
Панове, а есть ли украiньский интернет-ресурс, где перечислялись бы все российские подразделения, уничтоженные на Украине? Информации-то полно, но вся какая-то разрозненная, не систематизированная. А то по моим прикидкам получается, что в принципе всё, у России почти ничего не осталос ...
Визит состоялся. Традиционно — обмен любезностями.
Мне — доставка продуктов за мой счёт, паяльник и очередная порция штанов и курток на ремонт, чтобы бабушка не скучала. Сыну— гостинцы моим сладкоежкам.
...
