ocaml + llvm, за месяц управишься.
Еще я бы тебе посоветовал покопать в сторону dsl, но при таких исходных данных думаю смысла нет, тебе проще с нуля будет запилить.
> ЯП - Си,
Кресты не вариант?
Я делал что-то подобное на кюте, Структуры описывались в дсл на основе csv таблиц, чтобы можно было забивать в экселе копипастом из тз. Туда же вставлялись скрипты на жаваскрипте (в кют встроен v8, так что это довольно шустро работает).
Сделал за месяц особо не напрягаясь.
>Отсюда вопрос -- в какую сторону копать, что изучать, на чем учиться для создания такого языка и jit-компилятора к нему
Бери luajit и встраивай. Велосипеды не нужны
Ему нужна производительность. Твой луаджит может в генерацию нативного кода как в8?
luajit быстрее v8.
Если бы не нужна была производительность, советовал бы питон встраивать
>luajit быстрее v8.
Погуглил - действительно...
Решил переизобрести матлаб?
Не трать время зря, аспирантик.
Оглянись вокруг, и задай себе вопрос: сколько есть похожих велосипедов?
Хинт: это не потому, что ты умный и особенный.
Говорят, в Guile в крайней версии jit завезли. Я бы на твоём месте присмотрелся, всё-таки official GNU extension language.
Если следовать правилу "велосипеды ненужны", то следует брать рэкет, ибо это как раз тулкит для быстрого написания языков. Плюс схему потом можно транслировать в си, так что производительность будет соответствующая.
Там HPC стек - C + OpenCL 1.2 + MPI, код функции, скажем, обновления состояния элемента на основе шага временной сетки, кое-какой информации о физической среде и состоянии связанных компонент должен максимально быстро численно интегрировать приличные такие диффуры. Не катит.
Благодарствую за подсказку. Ocaml в свое время доставил хотя поменьше, чем haskell, может, это судьба :-)
Над этим тоже подумаю, потому что, как я писал выше, хотелось бы обойтись без велосипедостроения -- заставлять пользователей программы учить новый, нужный только для данной системы ЯП - издевательство, а его реализация - потеря времени.
Я еще не аспирант, хотя на PhD уже кое-где ждут но формально следует сначала окончить магистратуру. Что касается разрабатываемой мной системы -- собственно, это ни разу не велосипед, профессор тщательно искал готовые решения с нужной функциональностью, пилю потому, что готового не нашлось. А тред создал потому как раз, что хочется минимизировать количество велосипедов внутри поделки.
Тоже гляну, спасибо.
>А тред создал потому как раз, что хочется минимизировать количество велосипедов внутри поделки.
Блин, я охуеваю, можно подумать, ты первый в мире реализуешь кастомную математику. Профессор что-то там поискал, вообще охуеть.
Есть миллион возможных решений, и DSL в самом низу по отношению затрат к результату. Возьми нормальный фреймворк типа Scilab и прототипь там свою систему в качестве модуля. Если скорость не будет устраивать, то можно уже переписывать модуль на той же Яве.
>профессор
Кислых щей? Матлаб кому запилили?
Я, наверное, не очень хорошо пояснил, в чем заключается проблема. Есть ПО, довольно-таки узконаправленное и максимально оптимизированное вплоть до спецэфических для стоящих в кластере железяк инструкций для своих задач. Есть модуль этого ПО, в котором пользователю могут понадобиться (и понадобятся) отсутствующие в программе алгоритмы и структуры данных. И мне нужно дать пользователю достаточно безболезненный способ задания таких алгоритмов и структур данных. При этом очень важна скорость работы этих алгоритмов, что явно означает необходимость в компиляции созданного пользователем кода. Впрочем, забейте. Попробую поковырять luajit, выше советовали, возьму производительность с ним за единицу и буду отталкиваться от этого.
Блин, как же заебали студенты, как я счастлив, что ушел из академии.
Наверное, все время обьяснять очевидные для себя вещи а некоторым и не по разу действительно бесит. Или речь идет о чем-то еще?
>Попробую поковырять luajit
Можешь еще asmjit попробовать. Он крестовый и только х86, зато там есть SIMD инструкции. Он умеет не только ассемблер, там есть еще и регаллокатор с оптимизациями, то есть вручную по регистрам раскидывать не обязательно. Простенький компилятор пишется очень быстро.
https://github.com/asmjit/asmjit
Речь о том, что у тебя в голове каша, и вместо того, чтобы ее систематизировать и отделить важное от второстепенного, а потом найти подходящее решение, которым до тебя пользовались тысячи других людей с совершенно аналогичными задачами, ты будешь пилить свой уникальный велосипед, который потом никто не будет поддерживать и про который все забудут через год-два.
>которым до тебя пользовались тысячи других людей
А если не пользовались я тебе ебальник сломаю, окей?
Пиши контакты.
>которым до тебя пользовались тысячи других людей с совершенно аналогичными задачами
Люди с аналогичными задачами бывают делают хуйню вроде трансляции формул в сишку, которая компилируется gcc, поставляющемся вместе с дистрибутивом проги. Это наиболее распространенное решение, кстати.
>трансляции формул в пиздон/онгулярий/1с
Поправил этого наивного ребенка.
Съеби уже со своим нытьем отсюда.
Ты о чем вообще? Какой питон? 1С?
Ребенок НЕ ПОНИМАЕТ
Ох лол.
Это ничего - все у тебя впереди.
>НЕ ПОНИМАЕТ
Хуй знает, кто тебя вообще понимает. Ты общаешься как полный мудофел. Какие-то ебанутые многозначительные намеки без конкретики. Пук-пук вы дети, а я дедуля, мудя седые.
Маги-шизотерики в /sn примерно так друг с другом общаются. Ты оттуда приплыл, видимо.
>трансляции формул во всякое говно (жс включительно) потому что кромешные дебилы вообще везде
>намеки без конкретики
А вот и иллюстрация.
Ты опять пердишь с многозначительным видом. Трансляция в другой язык - абсолютно обыденная вещь. В сишку и js каждый второй язык транслируется.
>вычислительные задачи
>обыденная вещь
>В js
И правда олигофрен.
Впрочем, as expected.
Но ведь там говорилось про си...
Не разговаривай с ним, он ебанько.
>говорилось
Так и ты говори (с)
>этот обиженный дебил
Ясно.
Отсюда вопрос -- в какую сторону копать, что изучать, на чем учиться для создания такого языка и jit-компилятора к нему? Могу потратить на эту задачу примерно месяцев 6-7, за это время желательно получить рабочий результат с ненулевой производительностью. ЯП - Си, обязательное требование -- поддержка векторных инструкций. На ЯП требуется описывать определенного рода объекты, его компоненты и правила их добавления/изменения/обновления состояния. Накидайте трушной литературы по теме, пожалуйста. Любой сложности, с этим проблем нет. Ссылки на готовые реализации для аналогичных целей приветствуются.