Об универсальных языках программирования/моделирования 1

[justy_tylor]

В начале века я ещё считал, что прогресс технологий работы с информацией сильно сдерживается существующими языками программирования, но достаточно заменить C++ чем-то более развитым по части функциональщины и метапрограммирования (но сохраняющим возможность генерации оптимального нативного кода), чтобы стало легко и удобно разрабатывать продукты

Comments

[fi_mihej]

>>я понимаю, почему никто ещё не создавал ничего подобного, хотя предпосылки были и десятилетия назад

[justy_tylor]

Спасибо. Но вопросы парсинга я решил достаточно давно. И поддерживается только один синтаксис.

Вот мы разговариваем на русском языке, и правила языка общие, а слова в предметных областях разные.

Так и здесь. Разные фрагменты могут генерировать C++ или XML, но входной синтаксис един, только слова различаются.

[fi_mihej]

А, ага - ОК - значит пока пусть в долгом ящичке полежит :)

[ex_juan_gan]

А вот же народ уже занят же, на базе Эрланга.

Я-то лично думаю, что начинать надо с логики. Ее просто не понимают ни хрена. С логики и теории моделей.

[justy_tylor]

Насколько понимаю, они подбирают новые удобные метафоры для записи кода-и-пруфов (в ту же нишу, что Agda, Coq, Idris и другие подобные системы).

У меня же задача иная. Не только наличие удобных метафор в ядре языка, но и возможность нативной работы со сторонними метафорами, из тех систем, с которыми пользователю необходима интеграция.

[theiced]

я искренне считаю что они хернёй маются например :)

[formerchild]

Справедливости ради, у Максима похожий подход на то, что ты говоришь, уже работает в N2O. В частности, они умеют html/javascript из erlang. Но это лишь верхушка айсберга, насколько я понимаю они умеют генерить гораздо больше domain specific вещей. Тут просто некоторая путаница с его последним проектом (om/exe). Мне erlang глаз ломит, но это вкусовщина - правда же в том, что они это уже делают.

[formerchild]

>>если это можно сгенерировать из единой исполняемой спецификации, гарантируя отсутствие расхождений на стыках языков?
Мыслим похоже. Хочу генерить усё. Как думаешь, какой язык? :)

@ if dc.IsEditable() { @
//Obtain editable fields for sending to server
func (el *$(dc.Name)) Edited() *element.Packet {
packet := &element.Packet{
E: el.E,
Data: map[string]interface{}{
@ dc.Range(dc.AllEditables, func(v onto.DVar, cmt, name, t string) bool { @
#name: el.$(v.UpName()),
@ return true; }) @
},
}
return packet
}
@ } @

[justy_tylor]

Выглядит как Go с макро-надстройкой.

[formerchild]

ну в макро не надстройка, а полноценный Go. В целом так, да.

[formerchild]

Но это конечно лишь часть стека, там у меня задумана именно "нативная работа со сторонними метафорами", как ты и говоришь.

[gineer]

Идете на поводу у своего ментора Левенчука,
и упускаете важный момент, проистекающий из более общей картины --
на самом деле главная проблема ЯП -- это не бесконечный, и не расширяемый объем внимания у человека-программиста,
из-за чего, любые ухищрения на тему "универсального языка" обречены на провал (ну разве вы не понимаете, хотя бы, что ваши предшественники были не глупее вас, и думали на идеей "самого универсального языка" уже много раз?),
потому что ни у какого программиста просто не хватит головы, для того чтобы держать в ней все возможные детали реализации этой универсальности (и "ортогональность" тут совсем не спасает).

[justy_tylor]

Фигню пишете. В голове разработчика и так держится дофига "универсальностей", на все те языки, которые он использует в проекте. Генерация позволяет уменьшить их количество - не надо помнить и многократно повторять boilerplate.

Что касается ailev, то у него какие-то свои проекты и соображения по данной теме, так что я даже не могу сказать, в чём наши точки зрения совпадают или расходятся на данный момент времени.

[gineer]

\\В голове разработчика и так держится дофига "универсальностей", на все те языки, которые он использует в проекте

[justy_tylor]

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

[palex]

я предлагаю различные разделы внутри одного программного файла: https://habrahabr.ru/post/219419/
и https://github.com/palexisru/pl2_rus/wiki/file-source

hallo.pl2

meta source="form" name="form1"
get var1 {picture "999.99"}
/meta

meta source="pl2" name="example2"
using user.OS.IO; // using OS Console interface

program (String arguments[] )
{&
Console.write_line("Hallo, world!");
&}
/meta
*** hallo.pl2 ***