Size: a a a

Compiler Development

2021 May 07

AT

Alexander Tchitchigi... in Compiler Development
Продолжение там: https://t.me/LanguageDev/32729
источник

VM

Victor Miasnikov in Compiler Development
После 1995 года и в US начались негативные тенденции:
Разорили DEC, свернули курс на Ada и т.п.
источник

M

MaxGraey in Compiler Development
У JavaScript есть полностью описвнный стандарт ECMAScript (кстати спека считается одной из лучших и самых полных) и тех. комитет. Еще он очень популярный. И даже используется в SpaceX для отрисовки GUI. но боюсь вам его надежность (точнее неочевидность) вряд ли понравиться =)
источник

卜根 in Compiler Development
ветка разговора была про языки, которые одновременно надёжные и системные
источник

[

[BRM]White Rabbit in Compiler Development
Хаскель - лучший язык для системного программирования!
источник

AT

Alexander Tchitchigi... in Compiler Development
Напоминаю, что про языки — это в другой чат.
источник

[

[BRM]White Rabbit in Compiler Development
А
источник

[

[BRM]White Rabbit in Compiler Development
Я думал, это проязыковой
источник

s

suhr in Compiler Development
О, поклонники военного паскаля в чате.
источник

DF

Dollar Føølish in Compiler Development
кек
источник

s

suhr in Compiler Development
Но справедливости ради, те же типы-суммы в паскале и аде в виде variant records были всегда, например.
источник

s

suhr in Compiler Development
Не так удобно, как паттерн матчинг, но тем не менее.
источник

Т8

Т-34 85 in Compiler Development
Визиторы
источник

s

suhr in Compiler Development
Это костыль.
источник

s

suhr in Compiler Development
Но я к тому, что в алголосемействе кроме выбора индексов от балды есть ещё и полезные фичи.
источник

卜根 in Compiler Development
в Ada 2022 обсуждают
источник

s

suhr in Compiler Development
> Pattern matching is seen as particularly useful in the context of discriminated records, because it allows safe and complete handling of every case, in a fashion that is very close to what is done with sum types in functional languages. It is seen as a strictly better way of accessing fields whose existence depends on a discriminant, because it cannot fail at runtime.

Я думал у вас там flow analysis есть.
источник

D

Danya in Compiler Development
Переслано от Alexander Tchitchigi...
Продолжение там: https://t.me/LanguageDev/32729
источник

卜根 in Compiler Development
оно в SPARK, на котором не всем удобно
источник

Т8

Т-34 85 in Compiler Development
почему?
источник