185 похожих чатов

Давненько сюда не заглядывал. Два вопроса: 1. У меня впечатление, что

когда говорят про AST — кажется, что разговор про какое-то совсем стандартизованное представление. Так ли это или все-таки разговор об идее, а детали реализации AST каждый раз свои?

2. Есть ли смысл строить AST по результатам чистого синтаксического анализа без проверки типов, в частности? Или лучше выполнять проверку соответствия типов уже в процессе построения AST?

6 ответов

9 просмотров

Для вывода типов в общем случае нужно полностью знать код функции. Даже если языку достаточно простого вывода типов переменных вроде var x = f(); вам нужно знать тип функции f которая может быть определена ниже по коду

2. Проблема хорошо знакома тем, кто имеет дело с C++. Clang строит AST в явном виде. MSVC в явном виде AST не строит. В результате MSVC не способен поддерживать некоторые фичи последних стандартов (кажется, это какой-то вариант SFINAE on return type). Проблема очень большая. Лет 7 тому назад Микрософт даже нанимала специального человека, что-бы приделать Clang-front-end к своему компилятору, но это так ни чем и не закончилось.

Lone Geek
2. Проблема хорошо знакома тем, кто имеет дело с C...

<<<приделать Clang-front-end к своему компилятору>>> На этом месте я немного впал в смысловой ступор, если честно...

Lone Geek
Parser and preprocessor.

Я - в том смысле, что артефакты на выходе Parser and preprocessor у МС и силанга, должны разниться. Тогда, если мы приводим силанга-фронт-энд к форматам ввода родного ядра МС-компилятора, то это уже не совсем силанг. Если наоборот - тогда - да.

Похожие вопросы

Обсуждают сегодня

А чем вам питонисты не угодили?😂
.
79
Язык Си можно выучить за день? По книжке ANSI C на 230 страниц
Vincent Vegan
29
Всем привет, написал код ниже, но он выдает сегфолт, в чем причина? #include <stdio.h> #include <stdlib.h> #include <string.h> struct product { char *name; float price; };...
buzz базз
75
Есть какой-нибудь для Delphi/FPC T*Compression(Decompression)Stream на базе LZ4/Zstd/любой другой быстрый(и хорошо сжимающий) алгоритм А ещё лучше в pure pascal А ещё лучше од...
notme
7
Dim Dim, [02.07.2024 11:07] DB 0x62 Dim Dim, [02.07.2024 11:07] DB 0x66 Dim Dim, [02.07.2024 11:07] кто пояснит что это?
Dim Dim
14
Ошибка: segmentation fault (core dumped) Код: pastebin.com/BEsNNSSV Сообщение от компилятора: отсутствует ОС: Arch Linux Ядро: x86_64 Linux 6.9.7-arch1-1 Процессор: Intel Cele...
sec
4
Ещё такой вопрос. Мне необходимо хранить пароль пользователя локально. Для этого планирую использовать ini файл. Это для автозаполнения полей логин и пароль при авторизации. Е...
Евгений
19
Ребят, а за скок можно впарить анон чат с апишкой и веб админкой ?
Eugene Неелов
15
Кстати, я тут еще с одной темой столкнулся, вот учу я C++, на таком то ресурсе, а остальные постоянно советуют практиковаться, что то писать, проекты, но как писать если вот т...
aaswq1
7
А как лучше конвертировать физический адрес в виртуальный при маппинге? В случае ядра у меня, например, direct mapping, первые 768МБ я как есть мапплю в higher half, а остальн...
Evg Resh
26
Карта сайта