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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Compiler Development

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

IP

Iaroslav Postovalov in Compiler Development
нужна аппаратная реализация лямбда-исчисления
источник
15:50пожаловаться#1

B

Brenoritvrezorkre in Compiler Development
экзешник или любой другой бинарник не ЯП, на котором ты пишешь
источник
15:50пожаловаться#2

K

Kirill in Compiler Development
а есть такая?
источник
16:15пожаловаться#3

IP

Iaroslav Postovalov in Compiler Development
нет
источник
16:15пожаловаться#4

K

Kirill in Compiler Development
: (
источник
16:16пожаловаться#5

МБ

Михаил Бахтерев... in Compiler Development
Вообще-то есть. CAM реализует lambda-алгебру, в которой лямбда-исчисление внутренний язык. Только это не практично. Компьютеры нужны, чтобы быстро считать.
источник
16:27пожаловаться#6

K

Kirill in Compiler Development
хмм, а есть что почитать на эту тему?
источник
16:28пожаловаться#7

МБ

Михаил Бахтерев... in Compiler Development
https://en.m.wikipedia.org/wiki/Categorical_abstract_machine
Wikipedia
Categorical abstract machine
The categorical abstract machine (CAM) is a model of computation for programs that preserves the abilities of applicative, functional, or compositional style. It is based on the techniques of applicative computing.
источник
16:30пожаловаться#8

K

Kir in Compiler Development
https://core.ac.uk/download/pdf/82453178.pdf
источник
16:32пожаловаться#9

K

Kirill in Compiler Development
Cпасибо
источник
16:33пожаловаться#10

s

suhr in Compiler Development
Детали реализации.
источник
17:35пожаловаться#11

RB

Rustem B. in Compiler Development
https://ytakano.github.io/blisp/
ytakano.github.io
BLisp: A Statically Typed Lisp Like Language
источник
17:36пожаловаться#12
2021 June 29

AG

Alex Gryzlov in Compiler Development
https://www.cs.york.ac.uk/fp/reduceron/
источник
01:25пожаловаться#13

IP

Iaroslav Postovalov in Compiler Development
Нихера технологии
источник
03:00пожаловаться#14

IP

Iaroslav Postovalov in Compiler Development
sticker.webp
(29.66 Кб)
источник
03:00пожаловаться#15

МБ

Михаил Бахтерев... in Compiler Development
Занятно, но не взлетит, imho. Главным образом потому что тяжело будет записывать арифметические выражения. Ну, и исключительно чистая lambda запрещает многие удобные приёмы программирования.

P.S. Взяли бы за основу Typed Racket...
источник
08:26пожаловаться#16
2021 July 01

Z(

Zahar Kovaλ (vovan19... in Compiler Development
Переслано от Zahar Kovaλ (vovan19...
Прив. Подскажите пожалуйста, а есть тула / библиотека для нисходящей случайной генерации AST по заданной грамматике?
источник
17:13пожаловаться#17

Z(

Zahar Kovaλ (vovan19... in Compiler Development
Переслано от Zahar Kovaλ (vovan19...
Например, залил большую грамматику (например, С++), а она мне программы на C++ с ограничением на высоту / ширину поддеревьев
источник
17:13пожаловаться#18

Z(

Zahar Kovaλ (vovan19... in Compiler Development
Переслано от Zahar Kovaλ (vovan19...
Я хз как для компиляторов smoke-тесты писать
источник
17:13пожаловаться#19

IK

Ivan Kochurkin in Compiler Development
Есть такой основе ANTLR: https://github.com/renatahodovan/grammarinator Не уверен, что под C++ получится что-то вменяемое, поскольку у него очень сложная грамматика.
GitHub
renatahodovan/grammarinator
ANTLR v4 grammar-based test generator. Contribute to renatahodovan/grammarinator development by creating an account on GitHub.
источник
17:29пожаловаться#20