Ü (Programmiersprache) (3 стр)

üдобненько

Правка: 17 окт. 2017 15:19

Совместимость с крестами я планирую оставить в виде возможности звать некоторые C++ функции.
Уже реализована совместимость на уровне кодирования имён для нешаблонных функций. Есть частичная совместимость на уровне ABI - можно вызывать в обе стороны функции с значениями фундаментальных типов и ссылочными значениями в сигнатурах.
Планируется возможность создания бинарно-идентичных с крестовыми структур.

Шаблон с простой сигнатурой:

template</ type T />
stuct Box</ T /> {}

Шаблон с конкретной специализацией:

template<//>
stuct Box</ i32 /> {}

Шаблон со сложной специализацией и выводом типа:

template</ type T />
stuct Box</ std::vector</ T /> /> {}

Шаблон с ещё более сложной специализацией и выводом типа:

template</ type T />
stuct Box</ std::vector</ std::pair< / T, T /> /> /> {}

Убервывод типов:

template</ type T, type Q, type V, type W />
stuct Box</ A</ T />::B::C</ Q />::D</ V, W />::RRR /> {}

Весь этот хитрый вывод работал примерно так:
Брался данный тип и строилась его родословная - набор пространств, в котором он находится. Дальше этот набор сравнивался с фактической сигнатурой и происходил вывод параметров шаблона.

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

A::B</O/>::C</P/>::D</Q, R/>

Обычно шаблон класса выглядит как-то так:

template</ type A, type B />
class Pair</ A, B />
{
    A a;
    B b;
}

Казалось бы, зачем нужно дублирование параметров? А примерно вот зачем:

template</ type T />
struct Box</ T />{ T t; }

template</ type T />
struct Unbox</ Box</ T /> />
{
  type unboxed= T;
} 

template</ type T, T size />
struct Foo</ size />
{
    T baz;
    [ u8, size ] arr; 
}

Но вот беда - такая запись всё-эе слишком многословна.

Теперь я добавил упрощёную запись:

template</ type T />
struct Box
{
   T t;
}

В ней параметры шаблона интерпретируются так же, как параметры сигнатуры. Этого вполне достаточно для 90% шаблонов, для остальных же случаев по-прежнему остаётся полная форма.

Простота - вещь относительная.
Относительно C++, например, "Ü" простой, относительно Java, или С90 - сложный.
У меня есть цель не переусложнить язык лишними сущностями и понятиями. Но я не уверен, что её удастся достигнуть.

> цветами , черточками и другими инструментами IDE  программист понимал бы что
> pair это шаблон
Ну, это не ко мне. Язык, хоть "Ü", хоть какой-либо другой должен быть читаем хоть с глиняной таблички - иметь простую и понятную текстовую форму. А уж перевести эту форму в цветасто-графический вид это забота всяких IDE, плагинов. Есть ли такое - ХЗ, гугли, если оно тебе надо.

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

> Причём с сахаром - последний параметр шаблона можно выносить за скобки через
> предлог of.

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

Вообще, ненавижу хипстерков, которые добавляют в язык узкоспециализированные конструкции для решения частных задач.
В Ü я стараюсь не воротить лишнего.

einige_scheiße[42];

oderer_scheiße[müll]();

Короче, это неоднозначно, а значит так не будет.

> Пока что от </ /> текут глаза.
Ты погоди. Я скоро добавлю синтаксис для указания времён жизни ссылок, там ещё одну пару скобок добавить придётся. Вот тогда у тебя не только глаза течь начнут.

Правка: 28 окт. 2017 18:39