Кодогенерация LISP → C

В принципе могу и кодом поделится. В частности, мы на этом деле пилим шнягу для кодогенерации в числ. моделировании.

В принципе могу и кодом поделится.

Было бы вообще отлично.

Было бы вообще отлично.

Кинул в мыло.

Кинул в мыло.

Там что-то секретное?

Мда, написал на ночь глядя синус от двух аргументов и define-syntax вместо define-syntax-rule.

Вот как правильно:

#lang racket

(define-syntax-rule (sin x)
  (format "sin(~a)" x))

(define-syntax-rule (set! x y)
  (format "~a = ~a" 'x y))

(define-syntax-rule (+ x y ...)
  (string-append
   x
   (apply string-append
          (map (lambda (arg) (string-append "+" arg))
               (list y ...)))))

(define-for-syntax (process-body var-symbols body)
  (let ((body-e (syntax-e body)))
    (if (list? body-e)
        (datum->syntax body
                       (map (lambda (s)
                              (process-body var-symbols s)) body-e))
        (if (member body-e var-symbols)
            (symbol->string body-e)
            (if (number? body-e)
                (number->string body-e)
                body)))))

(define-syntax (let stx)
  (syntax-case stx ()
    ((_ ((var-name var-value ...) ...) body ...)
     (let ((var-names (syntax->datum #'(var-name ...))))
     #`(string-append
        "{\n"
        (apply string-append 
               (map (lambda (name value)
                      (if (empty? value)
                          (format "double ~a;\n" name)
                          (format "double ~a = ~a;\n" name (car value))))
                    '(var-name ...) `#,(process-body
                                        var-names
                                        #'((,var-value ...) ...))))
        #,@(process-body var-names #'((string-append body ";\n") ...))
        "}\n")))))

Пример использования:

> (printf (let ((x) (y 2) (z (+ y 4)) (w)) (set! x (+ y 10)) (set! w (+ x y (sin z)))))
{
double x;
double y = 2;
double z = y+4;
double w;
x = y+10;
w = x+y+sin(z);
}

Скорее всего прост лютый говнокод.

лучше так:

#lang racket
(require syntax/parse/define)

(begin-for-syntax
  (define-syntax-class arg
    (pattern (x ...)
             #:with expr #'(x ...))
    (pattern y
             #:with expr #'(format "~a" 'y))))

(define-simple-macro (binary-ops [op:id name:str] ...)  
  (begin 
    (define-simple-macro (op arg:arg (... ...))
      (string-join `(,arg.expr (... ...)) (format " ~a " name))) ...))

(define-simple-macro (functions [fun:id name:str] ...)  
  (begin 
    (define-simple-macro (fun arg:arg (... ...))
      (format "~a(~a)" name (string-join `(,arg.expr (... ...)) ", "))) ...))

(define-simple-macro (set! x:arg e:arg)
  (format "~a = ~a;~n" x.expr e.expr))

(define-simple-macro (let ([x:arg e:arg] ...) body:arg ...)
  (format "{~n~a}" (string-append (format "double ~a = ~a;~n" x.expr e.expr) ... 
                                  body.expr ...)))

(binary-ops [+ "+"] 
            [- "-"] 
            [/ "/"] 
            [* "*"])

(functions [sin "sin"])

Мне лениво слушать анонимусов и проч. школоту про несоблюдение PEP8, неоптимальный с их точки зрения дизайн и т.д. Если кому то правда нужно/интересно - могу тоже кинуть в мыло, а так ЛОР это последнее место, где я бы стал выкладывать свой код как просто код (без описания, постановки задачи и проч.).

ЛОР это последнее место, где я бы стал выкладывать свой код

Это верно, есть специальные места для этого, например - github. Код выложить можно так, а здесь просто опубликовать ссылку.

Вот когда этот проект дойдет до той стадии, что бы его выпускать в массы, тогда я его где нить выложу и тисну статейку на главной ЛОР-а. А пока мы обсуждали какую то очень частную задачу, и я просто описал одну из возможностей ее решения. Если кому то правда нужен этот код в качестве иллюстрации - стучитесь на мыло aivanov(злая собака)keldysh(жирная точка)ru, представляйтесь (фамилия-имя, где работаете, зачем оно вам;-)), вышлю и отвечу на все вопросы.

Я во первых не люблю анонимов, во вторых незаконченную работу не всем показывают;-)

Мне лениво слушать анонимусов и проч. школоту (...)

Боишься критики? Думаешь, что потеряешь от этого мнимый авторитет?

Вот когда этот проект дойдет до той стадии, что бы его выпускать в массы, тогда я его где нить выложу и (...)

Такими темпами (после 8 лет разработки кодогенератора узнать, что такое синтаксическое дерево!) этого не случится никогда.

Я во первых не люблю анонимов (...)

А кто их любит-то? Я тоже не переношу.

Нет, ну надо же! Какой я умный, это что то - сам AST придумал... ;-)

российские математики настолько суровы... (с)

значит ребятки вам придется критиковать и отнимать мнимый авторитет друг у друга;-)

наверное... не знаю, я не матетматик;-)

AIv

наверное... не знаю, я не матетматик;-)

российские физики... WAIT, OH SHI~ :)

Octave не хочешь вместо математики?

(сказать честно, не проверял, есть ли в ней данная фича, но раз она есть в Mathematica, то почему бы ей не быть в Octave?)

Ты хочешь создать что-то очередное принципиально новое с нескучным кодогенератором?

Флаг - в руки, формальные грамматики - в зубы, книгу дракона - в зад, и приспосабливайц макры лиспа для генерации кода Си. Этих трех составляющих достаточно для истории успеха через месяцок.

(сказать честно, не проверял, есть ли в ней данная фича, но раз она есть в Mathematica, то почему бы ей не быть в Octave?)

Потому что это разные пакеты с разным назначением?

Этих трех составляющих достаточно для истории успеха через месяцок.

Ну это ты загнул на счет месяца.

Интересно знать, а как это реализуется на практике?

sbcl/src/compiler/srctran.lisp?

Пускай рассматривается коммон лисп и его подмножество: арифметика, векторы (aref должно переводится в сишную индексацию с квадратными скобками), а также функции соответствующие сишному <math.h>.

В CL числа неограниченного размера, в си - фиксированные. Так что нужно генерировать код для (g)mp, а для этого - переводить эти скобочки в SSA.

В CL числа неограниченного размера, в си - фиксированные.

Если известно, что размер не выходит за int, например, то никаких проблем нет.

Что за бред, транслировать элементарную математику с CL на C для какого-то эфемерного прироста производительности - это как писать сложение асемблерными вставками потому что «асемблер эта крута, асемблер быстрее чем си!». Компилируешь, профилируешь, смотришь низкоуровневый код (асемблер а CL, java-байткод в Clojure) в боттлнеках, оптимизируешь. Вот тебе совет на практике, вот тебе независимость от платформы.

переводить эти скобочки в SSA

SSA не про скобочки

Я скобочками деревья назвал - у GMP такое API, он не понимает вложенных выражений, ему нужно расписать готовую секвенцию (3-operand instructions, фактически).

quasimoto

у GMP такое API, он не понимает вложенных выражений, ему нужно расписать готовую секвенцию (3-operand instructions, фактически).

трёхадресный код - это понятно, но таки static single assignment - это совсем про другое, SSA - это то как конпелятор представляет себе присваивания

это совсем про другое

Оговорился - переводить вложенную арифметику в секвенции (2/3-operand instructions, etc, не обязательно SSA).

ага, фикс )

Для студента месяца достаточно будет, чтобы разобраться, и хоть как-то криво-косо, но написать хоть что-то.

Лол, Вот где тебя обидели.

Интересно знать, а как это реализуется на практике?

Смотри на Wolfram Mathematica, там для такой кодогенерации есть CForm (и аналогичная FortranForm).

Пускай рассматривается коммон лисп и его подмножество:

Никому обычно не надо генерить код из самого Лиспа в Си. Исходником служит обычно какой-либо DSL.

Лол, онанимному лиспофанбою так БОМБАНУЛО от ТСа, что он решил распечатать годовалую тему. Лол.