Но его замазан всё равно потом забанил

так, мне осталось со смитом разобраться, он кто такой?)

Разработка бинарных протоколов и форматов с версионностью и другими необходимыми фичами, а также автоматическое преобразование между форматами.
Любые существующие языки и форматы типа protocol buffers, JSON, XML, BSON, MsgPack и другие всегда представляют собой некоторый фиксированный компромисс, на который можно соглашаться или нет, на основании чего обычно выбирают что-то одно. Мой язык будет универсальным решением, которое позволяет полностью самостоятельно определять характеристики, влияющие на скорость парсинга, компактность формата, локальность данных, сжатие, шифрование и так далее. Все эти факторы находятся под контролем пользователя и описываются на простом декларативном языке. То есть, компромисс пользователь определяет сам, идеально подходящий под задачу.
Этот язык это что-то типа языка схем данных, позволяющего помимо схем определять также сами данные. При этом сами схемы представляют собой типы, которые сами по себе тоже являются данными в частном случае. Получается нечто вроде языка с явной динамической типизацией, в котором типы являются переменными типа "тип" и возможны типы типов типов и т.п. любой глубины. А учитывая, что структуры могут иметь вычисляемые поля, из них можно сделать нечто, напоминающее функцию с именованными аргументами и возвращаемыми значениями. Так расширением и обобщением языка схем я пришёл к чему-то похожему на некий функциональный язык программирования, но с необычной и очень мощной типизацией.

Это персонаж со своей хлебо(bread)печкой. Долгая история, но раньше было лучше

я уже где-то такое видел)

типы типо типов.. интересно..

а когда его можно будет пощупать? может уже альфа есть?

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

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

Инвесторов уже смогли привлечь? Проект очень перспективный

А вот для меня пока не очень понятно, смысл писать свою замену STL, если есть уже std

И увидим Isomorphism Profunctor'ы, которые в haskell Control.Lens.Iso были ещё со времен царя Гороха

и будет ли какая-то совместимость с GUI?

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

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

а net уже будет встроен? можно ли будет на нем сразу поднимать HTTP серверы?

Скорее всего это будет реализовано не сразу, но мысль такая была. Ведь автоматическое создание REST API, могло бы очень сильно упростить жизнь программистам.
Но в принципе я планирую делать этот язык встраиваемым как Lua и т.п., так что такую штуку будет просто запилить кому угодно.

круто

а работа с БД из коробки будет? ну там mysql/postgres/mongo и прочие?