Трансляторы в си

Тут metaprog свою Санта-Барбару уже девятых тред ведёт — тебе типа такого надо?

chicken lisp, nim, gforth, gnu-cobol.

gforth может в си транслировать? Можно пример.

новомодный V же. Ну и еще 100500 студ. поделок на гатхабе

Он использует C для компиляции слов, как перевести какой нибудь forth-исходник в .c файл - низнаю. Но можешь в слове делать inline c, с препроцессором и всем другим.

кстати непонятно что ты имеешь в виду «транслируется в Си». Диа тоже транслирувать свои диаграммы в Си могёт. Скорее всего тебя интересует компиляция в Си, если доё**ваться до терминологии.

не, живительные картинки с последующей «динамизацией» оставлю более молодым, мои закостеневшие извилины требуют только текста

Но можешь в слове делать inline c,

нет нельзя

Кстати а чо бы не запилить свой такой языг с закосом на мировое господство. LORlang. «go в github я создал» (с) и все такое.

ну хз, тебе виднее, мне как-то «компиляция в текст» режет ухо, но по смыслу ты прав

А что делает \c?

Не знал про это слово. Спасибо

Vala

Хотя я чот гоню видимо. вики говорит что трансляция это тоже перегон в функциональный эквивалент из L в LL. То есть тоже самое по сути. Я думал что трансляция это то, чем макросы, например, в Си занимаются.

OpenEuphoria ©.

Python to C: Cython, Nuitka (а также Pyrex, Shedskin, Pythran).

P.S. ещё есть JIT-компиляторы PyPy, Numba, Pyston.

Vala поковыряй к приммеру ещё вроде язык V если я не ошибаюсь от транслируется в си

Таких очень много, на самом деле.

Refal-05

Low*
https://fstarlang.github.io/lowstar/html/Introduction.html

Vala уже упоминали?

cfront

Refal-5λ туда же, но там уже C++

трансляцию в си

https://www.basic-converter.org/

zvezdochiot

Кое-кто даже удалил сообщение по причине «дубль», хотя на самом деле это уже было третье. Четвёртым будешь.

паскаль: p2c https://github.com/FranklinChen/p2c

pari/gp: https://pari.math.u-bordeaux.fr/

трансляцию в си

Для полноты картины (бесполезная в принципе штука):

https://github.com/neurobin/shc

zvezdochiot

Трансляторы Оберон-2: ofront, ofront+, voc, XDS Oberon-2/Modula-2.
Транслятор Компонентного Паскаля: CPfront (пускать из консольки на жму/пинусах можно через моё поделие - cpc).

GNU COBOL

Таких очень много, на самом деле.

Хм, вот что странно, пока не нашёл ни одного (кроме «новомодного V»), который бы легко с этим самым си «интеропился»: влёт подчитывал бы сишные файлы и т.д. Работающие поверх LLVM есть, транслирующие в си - пока нашёл только этот самый V.

Ветка заглохла - больше ни кто ничего не вспомнит? )

Хм, вот что странно, пока не нашёл ни одного (кроме «новомодного V»), который бы легко с этим самым си «интеропился»: влёт подчитывал бы сишные файлы и т.д. Работающие поверх LLVM есть, транслирующие в си - пока нашёл только этот самый V.

Ну возьми тот же Haskell, который умеет подключать сишные хидеры в FFI и легко позволяет делать биндинги в сишным библиотекам среди прочего. Плюс GHC умеет выдавать сишный код, только это очень редко кому надо.

Просто штука в том, что до появления LLVM выдача сишного кода была наиболее простым способом сделать бэкенд компилятора твоего языка, поэтому очень многие так делали. Потом появился LLVM, язык которого гораздо лучше подходит в качестве промежуточного, и многие перелезли на него.

P.S. я пропустил тот момент, когда генератор сишного кода выкинули из GHC. Смотри старые версии компилятора, если тебе интересно.

Потом появился LLVM, язык которого гораздо лучше подходит в качестве промежуточного, и многие перелезли на него.

Как LLVM помогает инклудить сишные заголовочные файлы? Я чего-то не знаю? Есть способ оттранслировать сишный файл в удобоваримый структурированный вид?

Интересней трансляторы си в нормальные языки. Я бы на это посмотрел.

Как LLVM помогает инклудить сишные заголовочные файлы?

Перечитай ещё раз. LLVM позволяет легко сделать бэкенд для компилятора, для чего раньше использовали C.

Я чего-то не знаю?

Понятия не имею.

Есть способ оттранслировать сишный файл в удобоваримый структурированный вид?

В AST? Сишных парсеров вагон и маленькая тележка для почти любого языка.

Интересней трансляторы си в нормальные языки. Я бы на это посмотрел.

https://github.com/jameysharp/corrode

Ну посмотри.

Тогда yж https://c2rust.com

Интересней трансляторы си в нормальные языки. Я бы на это посмотрел.

А зачем? Кто-то написал код на си, не отстрелив себе при этом ноги, яйца, уши, задницу, а ты хочешь оттранслировать его в какой-нибудь питон чтобы получить эпические тормоза, вместо использования ffi?

В AST? Сишных парсеров вагон и маленькая тележка для почти любого языка.

И сильно поможет персер си на хидерах какого-нибудь gmp+mpfr, где условных определений, зависящих от окружения (проца, ОС, разрядности, либ, компилятора си и его параметров), 146%?

Cython, Nim, Haxe

А какой удобоваримый вид ты хочешь тогда?

Так в том то и дело, что в случае трансляции в си ничего не надо - инклуд компилятор сам и обработает. В случае самостоятельной генерации IR LLVM количество геморроя при парсинге сишных файлов мне трудно представить, если только используя утилиты llvm/шланга нельзя получить хоть какое-то структурированное представление, годное для дальнейшего использование при генерации того самого ir.

Я вот нифига не понял, что во что ты хочешь транслировать. C в LLVM IR транслирует clang. Другие языки в LLVM IR транслируют соответствующие компиляторы. Некоторые из них умеют частичную поддержку сишных хидеров для нужд FFI. Что не так?

Некоторые из них умеют частичную поддержку сишных хидеров для нужд FFI.

Вот это вот. Когда язык только транслируется в си, поддержка сишных хидеров выходит практически бесплатно (вот в том-же модерновом V это выглядит хорошо). Когда язык использует LLVM _иногда_ подобная поддержка есть, как в зиге, непример, но меня одолевают смутные сомнения, что он проглотит любой сишный хидер.

Когда язык только транслируется в си, поддержка сишных хидеров выходит практически бесплатно (вот в том-же модерновом V это выглядит хорошо).

Нет. В этом случае фронтэнд может про C вообще ничего не знать, и поддержку хидеров один чёрт придётся впиливать. Это довольно ортогональные вещи, если конечно твой язык сложнее полутора макросов.

но меня одолевают смутные сомнения, что он проглотит любой сишный хидер.

А почему он что-то не должен проглотить?

А почему он что-то не должен проглотить?

Он, конечно, может, но для этого надо прикинуться какой-то версией какого-то компилятора, со всеми его дефайнами «по умолчанию», со всей его структурой собственных хидеров и т.д.

ХЗ, надо глянуть что там тот-же зиг делает, но по мне это немалый такой кусок работы: разобрать сишный код, чтобы построить AST, чтобы добавив свой AST сгенерировать сишный код, чтобы потом компилятор си разобрал этот код, чтобы построить AST...

Он, конечно, может, но для этого надо прикинуться какой-то версией какого-то компилятора, со всеми его дефайнами «по умолчанию», со всей его структурой собственных хидеров и т.д.

Зачем? Можно просто использовать существующие хидеры.

Можно просто использовать существующие хидеры.

Ни кто и не говорит, что нельзя. Но это несколько сложнее, чем прочитать файл хидера и запомнить, что __suxx_bloated_struct_size = size_of(*void)