В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Compiler Development

1050 membersпожаловаться на группу
2021 July 01

AG

Alex Gryzlov in Compiler Development
например

https://tel.archives-ouvertes.fr/tel-02362912/document Rubiano, [2017] "Implicit Computational Complexity and Compilers"
источник
18:22пожаловаться#1

AG

Alex Gryzlov in Compiler Development
карри-говард собственно про это и есть
источник
18:22пожаловаться#2

B

Brenoritvrezorkre in Compiler Development
Да, я о нём
источник
18:22пожаловаться#3

B

Brenoritvrezorkre in Compiler Development
Только на самом деле это экстраполяция Карри-Говарда на неформальные языки
источник
18:23пожаловаться#4

B

Brenoritvrezorkre in Compiler Development
Посмотрю, так как просто интересно, что это такое
источник
18:24пожаловаться#5

AG

Alex Gryzlov in Compiler Development
ну грубо говоря вшивание комплексити в типы
источник
18:25пожаловаться#6

AG

Alex Gryzlov in Compiler Development
чтобы тайпчекер не давал написать алгоритм медленнее полиномиального например :)
источник
18:25пожаловаться#7

B

Brenoritvrezorkre in Compiler Development
Ну и вот: например, было бы доказано, скажем, что построение структур вида X в языке L требует экспоненциального времени от числа параметров такой структуры

Очень крутой результат был бы
источник
18:25пожаловаться#8

B

Brenoritvrezorkre in Compiler Development
А также было бы известно, что такого-то рода структуры в L вообще невыразимы
источник
18:26пожаловаться#9

B

Brenoritvrezorkre in Compiler Development
Очень классно
источник
18:26пожаловаться#10

K

Kir in Compiler Development
Реверс односвязного списка в applied-order функциональных языках требует либо 2х проходов, либо одного, но с колдунством и мутациями in place. А хаскель может в один проход.
источник
18:27пожаловаться#11

AG

Alex Gryzlov in Compiler Development
ленивость это разновидность колдунства с инплейс мутациями :)
источник
18:28пожаловаться#12

AG

Alex Gryzlov in Compiler Development
чудес не бывает
источник
18:29пожаловаться#13

K

Kir in Compiler Development
Справедливо.
источник
18:29пожаловаться#14

МБ

Михаил Бахтерев... in Compiler Development
Это называется денотационная семантика.
источник
18:30пожаловаться#15

B

Brenoritvrezorkre in Compiler Development
Речь о сложности
источник
18:31пожаловаться#16

МБ

Михаил Бахтерев... in Compiler Development
Денотанты исследуют на всякие разные свойства, в том числе структурные и сложностные. Кажется, это называется webbing, или как-то так.
источник
18:33пожаловаться#17

IK

Ivan Kochurkin in Compiler Development
Кстати, вот статья. Не то чтобы про компиляторы, но про парсеры: https://habr.com/en/company/JetBrains-education/blog/565280
Habr
Парсинг Markdown и LaTeX в Grazie Chrome Plugin
Возможно, вы уже пользуетесь Grazie — плагином для среды разработки Intellij IDEA, который проверяет естественные языки на грамматические, пунктуационные и прочие виды ошибок. Сейчас команда...
источник
18:45пожаловаться#18

AG

Alex Gryzlov in Compiler Development
ну да, я ж говорю раздел семантики
источник
18:46пожаловаться#19

AG

Alex Gryzlov in Compiler Development
но человека интересовало применение прямо специфического раздела логики
источник
18:46пожаловаться#20