Новый язык программирования для русскоговорящих

С этой точки зрения надо и все книги и вообще все тексты писать на единственно-правильном всемирном языке.

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

Очередная попытка сделать лисп без скобочек? Но зачем? Читается же хуже.

Уверен?

a[5][6] + 2 * h['key]

читается хуже чем

(+ (vector-ref (vector-ref a 5) 6)  (* 2 (hash-ref h ’key))

?

У Хаскеля синтаксис такой не для читаемости, а ради автоматического каррирования и ещё некоторых мелочей. Зачем натягивать его на семантику Ракета?

Вообще-то, именно для читаемости. Никто не мешает писать на Хаскеле вместо:

map head . scanl minus [2..] . map (\p -> [p, p+p..])

в стиле лиспа

(`.` (`.` (map head) (scanl minus [2..])) 
     (map (\p -> [p, p+p..]))))

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

Впрочем, как и на Хаскеле, в моём языке сохраняется возможность писать как на обычном лиспе: единственное ограничение — символ однострочного комментария (;) больше не обозначает комментарий. Тогда существенными отличиями будет конструкция (надо-быстро …) и перевод ключевых слов.

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

Я даже согласен. Но чтобы это имело какой-то практический смысл, надо чтобы были согласны хотя бы 10% населения Земли. Сейчас большее количество человек поймёт фразу на русском чем на эсперанто.

P.S. И если брать конструированные языки, то я за ифкуиль как самый семантически однозначный. Особенно для общения, где надо быть понятым (от комментариев в коде до форумов).

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

Про раскладку я уже дважды отвечал: если не делать из языка Кобол, то символы операций нужны. Для русской раскладки легко переопределить верхний цифровой ряд – там хватит на все необходимые символы.

И фигурные с квадратными не убрал, а использовал для другого: квадратные для доступа к коллекциям, фигурные для вызова методов.

Тут тоже согласен.

я за ифкуиль

Тогда останется два языка. Эсперанто для художественной литературы и ифкуиль/Lojban/и т.д. для документации и общения. А два уже не один - задача не выполнена. :)

В первом случае проблема vector-ref и прочего обращения к данным, да, тут лисп проигрывает, если не прибегать к деструктурированию/паттерн-матчингу. Во втором можно поспорить, скорее всего вкусовщина.

Впрочем, как и на Хаскеле, в моём языке сохраняется возможность писать как на обычном лиспе

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

Впрочем, синтаксис - это сущие мелочи и спора вообще недостойны, кроме совсем запущенных случаев вроде ранних Perl.

Тогда останется два языка. Эсперанто для художественной литературы и ифкуиль/Lojban/и т.д. для документации и общения. А два уже не один - задача не выполнена. :)

По большому счёту, это неважно. Всё равно будут спецязыки: алгебра, химия, знаки на дорогах… Но вопрос выбора средства общения был бы решён.

Правда, вспоминается история эсперанто: Франция была резко против его распространения, так как тогда языком межнационального общения был французский. И теперь только последователи Оомото и Бахаи действительно надеются на эсперанто как единый язык.

Как и на Хаскеле в твоём языке не сохраняется возможность читать как на обычном лиспе

Любой программист на Хаскеле приведённую выше запись прочитает.

Один из примеров факториала на Хаскеле выглядит так:

fac = (\(n) ->
        (if ((==) n 0)
            then 1
            else ((*) n (fac ((-) n 1)))))

Почти лисп.

Впрочем, синтаксис - это сущие мелочи и спора вообще недостойны, кроме совсем запущенных случаев вроде ранних Perl.

Вот поэтому у лисперов до сих пор списки в скобках вместо синтаксиса.

т.к. официальный стиль другой и все будут придерживаться его

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

Любой программист на Хаскеле приведённую выше запись прочитает.

Я про то что так писать никто не будет (что и произошло с Хаскелем). А если будут - то разработчикам придётся привыкать к двум стилям в одном языке, что ещё хуже. У Racket и CL достаточно проблем из-за библиотек с синтаксисом, а в РЯП это даже не библиотека.

Вот поэтому у лисперов до сих пор списки в скобках вместо синтаксиса.

Вы так говорите как будто это что-то плохое. (c)

Но даже если он будет настолько общепризнанным, что у него будет официальный стиль

Официальный стиль уже есть - это стиль используемый в документации и примерах кода. У любого человека открывшего этот тред сразу в мозгу отпечатается как должен выглядеть код на РЯП.

Кстати, я понимаю что это очень большая проблема, у меня самого ушло недели две в прошлый раз, но всё же придумайте название получше чем «Русский Язык Программирования». :)

Уточню. Я не говорю что нужно заменить стиль на лисповый - это преимущественно вкусовщина (если нет семантики требующей тот или иной). Я говорю что язык объективно станет лучше если у него будет один стиль - тот который комфортнее для Вашей целевой аудитории. Так что прекратите хотя бы рассказывать о возможности использования нескольких стилей как о преимуществе.

Любопытно чей флуд?
https://forum.ixbt.com/topic.cgi?id=26:42261 Хорош ли синтаксис языка программирования?

C 8 августа 2013 года флудят.

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

Официальный стиль уже есть - это стиль используемый в документации и примерах кода.

Уже есть прецедент: Си/Си++. Есть «стиль документации», «стиль, унаследованный из Си», «стиль, унаследованный из раннего Си++». И все могут встречаться в разных файлах одного проекта.

У меня из-за совместимости и тесной интеграции с Racket получается аналогичная ситуация: где-то может быть проще скопипастить кусок кода из Racket или Scheme, а привести к стилю документации когда-нибудь потом.

Кстати, я понимаю что это очень большая проблема, у меня самого ушло недели две в прошлый раз, но всё же придумайте название получше чем «Русский Язык Программирования». :)

Гм… в документации сейчас имени нет (просто «этот язык программирования»). Имя пакета russian-lang, имя языка в файле с программой «1». Можно называть «Первый». :-)

P.S. Вспоминается, как эсперанто получил название после выхода книги «Дръ Эсперанто. Международный языкъ. Предисловіе и полный учебникъ.». До этого он был просто «международный язык».

Я говорю что язык объективно станет лучше если у него будет один стиль - тот который комфортнее для Вашей целевой аудитории.

В этом смысле согласен. Но тут как в математике: произведение может обозначаться, может пропускаться, деление может быть знаком, а может быть двухэтажной дробью. И есть примеры записи, которые считаются «удобнее». Например, дискриминант не пишут с использованием «∶», «÷», «×» и «⋅». Хотя могут.

Потому что конструкция типа

рассчитать зарплату используя менеджер-расчёта за период с 1-го января 2020 по 30 июня 2020 по (получить сотрудника с фамилией Иванов) выглядит ужасно

из примеров к KM, Knowledge Machine: …

(*Pete has (salary (100)))

(*Joe  has (salary (100)))

(*Mycompany has 
       (instance-of (Company))
       (employees (*Pete *Joe)))

(every Company has 
	(salaries ((the salary of (the bag of (the employees of Self)))))
	(total-payroll ((the sum of (the salaries of Self)))))

((the total-payroll of *Mycompany) = 200)

(*Pete has (salary ((a MoneyUnit with (magnitude (100)) (units (*dollar))))))

(*Joe  has (salary ((a MoneyUnit with (magnitude (100)) (units (*dollar))))))

в самом начале:

(reset-kb)

(a Car)                     ; create an instance of a car

(Car has (superclasses (Vehicle)))

(every Car has
  (wheel-count (4))
  (parts ((a Engine) (a Chassis))))

(the parts of (a Car))

; ((a Car) parts)

(a Car)

(parts has
  (instance-of (Slot))
  (domain (Physobj))
  (range (Physobj))
  (cardinality (1-to-N))
  (inverse (part-of)))

(wheel-count has
  (instance-of (Slot))
  (domain (Vehicle))
  (range (Integer))
  (cardinality (N-to-1)))

(showme (thelast Car))     ; refers to the most recent instance of car

;;; ----------------------------------------

(Car has (superclasses (Vehicle)))

(every Car has
  (wheel-count (4))
  (fuel-type (*Gas))
  (parts ((a Engine) (a Chassis))))

(*Gas has       ; (NB no `every', as *Gas is an instance)
  (unit-cost (1.34)))

(Engine has (superclasses (Physobj)))

(every Engine has
  (material (*Metal)))

(Chassis has (superclasses (Physobj)))

(every Chassis has
  (material (*Metal *Plastic *Wood)))

(*Plastic has
  (instance-of (Synthetic-Material)))

;;; ----------------------------------------

(a Car)

(the unit-cost of (the fuel-type of (thelast Car)))

((thelast Car) fuel-type * unit-cost)

(the material of (the parts of (thelast Car)))

(the material of (the Engine parts of (thelast Car)))

((thelast Car) parts Engine material)

((thelast Car) parts Chassis material)

((thelast Car) parts Chassis material Synthetic-Material)

;(watchon)

((a Car) parts Chassis material Synthetic-Material)

;(watchoff)

(a Car)

(thelast Car)

(the Engine parts of (thelast Car))

(a Car with (color (*Red)))

(the color of (thelast Car))

собственно, возможно и под схему и ракет можно адаптировать, но KM изначально на CL.

здесь правила вывода можно настраивать.

так что возможно, нечто подобное изобразить можно.

от вложенных скобочек там першит в горле. но вроде бы употреблены более-менее разумно.

ещё там в том файле с примерами: конечные автоматы, акторы, события, ситуации, алгоритмы планирования. в общем, произвольную базу знаний с инференсом можно изобразить на вполне человекочитаемых S-выражениях (в отличие от какого-нибудь Cyc/OpenCyc), здесь эта сетевая база более похожа на фреймовую или ООП в духе CLOS, importing/projection примерно соответствует наследованию/полиморфизму в ООП, но там всё довольно композабельно, см. Building Concept Representations from Reusable Components

вот, собственно вопрос.

1. сложно ли нечто подобное KM к твоему языку прикрутить, только с русскими буквами в нейтральной форме ?

2. если накрутить морфологию. то тут думать надо как разные словоформы в разные скобочки с разными онтологиями оттранслируются.

2. как в разные скобочки оттранслируются

собственно вот тут хочется упростить нечто вроде

(every Company has 
	(salaries ((the salary of (the bag of (the employees of Self)))))
	(total-payroll ((the sum of (the salaries of Self)))))

((the total-payroll of *Mycompany) = 200)

(*Pete has (salary ((a MoneyUnit with (magnitude (100)) (units (*dollar))))))

(*Joe  has (salary ((a MoneyUnit with (magnitude (100)) (units (*dollar)))))

в нечто вроде

рассчитать зарплату используя менеджер-расчёта за период с
результата выражения "получить из формы результат выражения "получить форму ввода данных" дату начала" 
по результат выражения "получить из формы результат выражения "получить форму ввода данных" дату окончания" 
по результату выражения "получить сотрудника с фамилией Иванов"

чтобы вместо

(salaries ((the salary of (the bag of (the employees of Self)))))

было более человекопонятное

зряплаты := зряплата по списку-без-повторов сотрудников этого

где «это», «этого» нечто вроде «this», «it», «self»

а скобочки чтобы потом само расставило по понятным правилам.

и по падежам x было понятно что (the x of y) нужно автомагически term rewrit-ить.

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

вообще, напрашивается на макрос, пишуший макросы в нужных падежах сразу.

результата выражения «получить из формы результат выражения «получить форму ввода данных» дату начала»

двойные кавычки вложенные, тоже неудобно.

сдается мне, что эти вопросы/задачи нужно решать через разработку базы знаний …

уже есть готовые же, на лиспе?

«Наметки есть» …, но полного понимания как должны быть представлены знания в базе …

там да, можно закопаться. по тому же KM есть материалы сравнительные про сравнение с Cyc . Cyc тоже где-то на гитхабе существует OpenCyc, что-то вроде этой ссылки или этой, сразу на CL

Release 4.0 of OpenCyc includes:

The core Cyc ontology whose domain is all of human consensus reality. The current release includes:

• ~239,000 terms (up from ~177,000 terms in the previous release)
• ~2,093,000 triples (up from ~1,500,000 in the previous release)

2Мб сорцы, ~500Мб репозиторий со скачанной онтологией (датасеты), ещё какой-то driver чтобы этим пользоваться сколько-то занимает.

как этим пользоваться. сходу решительно непонятно. я наткнулся на Cyc вообще через logicmoo из «батареек» в составе SWI Prolog.

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

MOO сервер, в котором модель мира можно на логическом прологе запрограммировать. для чего нужно либо долго и нудно скриптовать NPC-сей и «физические» законы (и прочие святого духа, хи-хи).

либо воспользоваться готовой онтологией и базой знаний типовых известных знаний «здравого смысла», например, Cyc.

формат представления знаний там в Cyc, ЕМНИП KIF на основе лиспоподобных S-выражений. так что для реализации запросов к движку базы знаний по любому понадобится какая-то реализация лиспа. в logicmoo он там лисп на прологе для этого использует.

сила Cyc/OpenCyc в его наполненной онтологии, готовой БЗ, этих вот >200k фактов, >2M триплов с отношениями.

вообще он штука довольно громоздкая.

KM выглядит гораздо проще и компактней. и та статья про повторно используемые компоненты для реализации базы знаний выглядит интересно, довольно разумно.

со всем этим можно невозбранно поэкспериметировать…

интерлингва проще – у эсперанто стандарт с грамматикой на 350 страниц, у интерлингвы где-то на 120

на эльфийском ещё. генераторы VulgarLang

ифкуиль/Lojban/и т.д. для документации и общения

лучше

трансцедентальная алгебра Линцбаха

вполне себе человекопонятные иероглифы. можно догадаться 100% по примерам о назначении.

(salaries ((the salary of (the bag of (the employees of Self)))))

Это же синтаксис. При буквальном переводе будет

каждая Компания имеет
  зарплаты 
     зарплата сумки сотрудников себя
  общая-расчётка 
    сумма зарплат себя

каждая Машина имеет
  количество-колёс 4
  части
    Двигатель
    Шасси

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

Есть проблема словаря. Из окончаний не выводится падеж.

общая-расчётка -> общей-расчётки

горничная-барина -> горничной-барина

Можно решить синтаксисом типа

каждая Компания/-и имеет
  зарплаты/- 
     зарплата сумки сотрудников себя
  общая/--ей/-расчётка/-и
    сумма зарплат себя

каждая Машина/-ы имеет
  количество/-а/-колёс 4
  части/-ей
    Двигатель/-я
    Шасси

А говорили, 16 правил…

В документации нет слова о бэкенде. На чём делаешь, на LLVM или GCC?

В документации нет слова о бэкенде. На чём делаешь, на LLVM или GCC?

На Racket же. А тот на Chez Scheme. А в том JIT компилятор, разработанный Cisco Systems.

Подъязык надо-быстро на GCC (с опциональной возможностью запуска clang, подойдёт любой компилятор Си, умеющий делать динамические библиотеки).

Подъязык …

Например, код на чистом Си, который является фронтендом GCC, в предпоследней стадии компиляции превращается в ассемблер, который имеет синтаксис AT&T. И затем, в финальной стадии ассемблер траслируется в машинные коды.

Русский ЯП —-> Семантико-синтаксический анализ —> Ассемблер —> Машинный код.

По серъёзному не пробовал?

По серъёзному не пробовал?

Без использования GCC?

А смысл? Писать в одну харю стандартную библиотеку не хуже, чем у Racket и компилятор с оптимизацией не хуже чем GCC? У меня не настолько мания величия. И секс стоя в гамаке не люблю.

LLVM хуже Си хотя бы тем, что Си более переносим. Поэтому для критических по скорости кусков трансляция в Си — естественный выбор.

А для основного языка необходима полная совместимость с Racket по библиотекам, так как это даёт макросы, продолжения, графику, пользовательский интерфейс, сеть, многопоточность, …

Ты или разбань или забань штирлица. Пусть в теме разберет класификацию. Чо за подлость? Твои псы тут его провоцировали после появился ты в лучах модераторской славы и подрезал ему крылышки. Показываешь высший пилотаж в модераторстве как надо? Или говно в тебе кипит? Ты с виду такой няша а на деле та еще сволочь. Ну я понимаю что должность обязывает, но все же.

Ты или разбань или забань штирлица.

Разбанен ещё вчера.

Твои псы

Мои кто? У меня сейчас мания величия возникнет.

Добавил пример решения реальной задачи: шаблонизатор.1.

Исходная задача: https://github.com/Kalimehtar/templater/

йопта скрипт уже есть, зачем это?

брейнфак тоже есть, но раст зачем-то ведь придумали

Уверен?

уверен, как минимум не нужно заморачиваться

• приоритетом операций

• изобретением нового синтаксиса

(+ (vector-ref (vector-ref a 5) 6) (* 2 (hash-ref h ’key))

а, вам так и не завезли деструктуризацию нормальную и thread-first/thread-last, да?

Но первый вариант читается почти с ходу

кем?

Думаю, потому же, почему математические теоремы предпочитают записывать значками.

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

Вроде по русски, но понимается с трудом.

в тред врывается нормальный язык

(->> сотрудники
     (some (comp (partial = "Иванов") :фамилия))
     (менеджер-расчёта "1 января 2020" "30 июня 2020"))

а, вам так и не завезли деструктуризацию нормальную и thread-first/thread-last, да?

(->> a (vector-ref 5) (vector-ref 6)) для вас проще, чем a[5][6]?

в тред врывается нормальный язык

У меня это будет

->> сотрудники
  some 
    comp (partial = "Иванов") :фамилия
  менеджер-расчёта "1 января 2020" "30 июня 2020"

или

->> сотрудники
  some $ comp 
    partial = "Иванов"
    :фамилия
  менеджер-расчёта "1 января 2020" "30 июня 2020"

Скобочки не обязательны.

кем?

Человеком, который в школе изучал математику.

У меня это будет

ну какой из тебя хаскелист после этого?

Скобочки не обязательны.

но с ними проще примерно всё

А какое отношение школьная математика имеет к CS?

для меня проще

(get-in a [5 6])

синтаксиса никакого нового придумывать не надо, приоритеты придумывать не надо, парсер придумывать не надо

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

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

синтаксиса никакого нового придумывать не надо, приоритеты придумывать не надо, парсер придумывать не надо

Так можно не пользоваться. Старую семантику ведь никто-не отбирает и операциями насильно пользоваться не заставляет.

Макросы работают в полном объёме, можно и get-in сделать.

Ну и такой вопрос, с какого фига понадобилось обращаться по индексу, тем более, по вложенным индексам,

Например в функции умножения матриц. И вообще в любой тензорной операции.

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

Я его пишу для себя. Для того, чтобы писать себе полезные утилиты без необходимости переводить предметную область на английский, и с возможностью получать бинарники с графическим интерфейсом (для скриптов без компиляции и графики достаточно OneScript).

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

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

И вдруг кто-нибудь присоединится и поможет.

И вдруг кто-нибудь присоединится и поможет.

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

ИМХО поэтому то и редки проекты в которых контрибьюторов много …

не нужно

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

В моём случае много времени тратить не надо. Парсер полностью готов, а весь переведённый словарь занимает 300 строк и почти весь является линейным перечислением.

Тут больше вопрос про «(не)нужность». Как я уже написал, мне лично нужно. Предполагаю, что я такой всё-таки не единственный.

Тут больше вопрос про «(не)нужность».

Программисты в любом случае выберут не ваши и не мой проекты, а тот за который получают зарплату.
Единственное исключение может быть лишь в том случае, если сторонний API будет прост и много упростит решение проблемных задач.
Как-то Fastreport, …, но проект должен быть бесплатным.
А таких разработчиков мало …

Программисты в любом случае выберут не ваши и не мой проекты, а тот за который получают зарплату.

Для коммерческих проектов, разумеется, всё так. Но программисты пишут и для себя. Тот же UNIX и C ведь так и родились. За зарплату тогда писали на PL/I.

Но программисты пишут и для себя.

Если бы Линус для себя писал, то он в форумах не трепался.
ИМХО его заслуга как раз в том, что он делал для всех.
Еще раз скажу о том, что пока нет хороших технологий разработки проектов.
Разработано много разного API /скорее ЛАБА/, но нет технологии, которая
умела бы понимать и СУЩЕСТВЕННО УПРОЩАТЬ логическую взаимосвязь всех модулей проекта в целом.
И конечно понимать логику алгоритмов и подсказывать программистам, где они начинают ТУПИТЬ.
Вот такого рода технологию ныне и разрабатываю.
В ней будет использован объектно-ориентированный концепт разработки алгоритмов, основанных на метаданных /в т.ч. и всего проекта/.

monk, вы хороший профессионал и вполне могли бы произвести разработку многих не решенных задач.
А их МНОГО! …

Когда пописываю посты, то мои «друзья» их трут до пятого колена.

Владимир

Форум этот РУСОФОБСКИЙ

Однозначно ...

Владимир