Свой компилятор(С++'о подобный)

[Пепел Феникса]

Поскольку это изначально было функциональное программирование - то если нет вызова, то и функция не нужна. а если она не нужна, нафига выводить тип ?

Что значит при компиляции? В тот момент как Вы закончили её писать .

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

да и тогда это функция IDE, а не компилятора.

[pu4koff]

Господа, вы реально считаете, что всю эту ленивую фигню можно написать нормально в чем-то похожем на плюсы по принципу построения кода?
Такая хрень нормально ложится на сборщики мусора и динамическую генерацию кода и к плюсам вообще рядом не подходит, а если и попытаться реализовать на чём-то типа плюсов, то будет убого, как и есть в этих самих плюсах.
Тема всё больше походит на: а давайте создадим идеальный язык для всего всего всего и чтобы он был крут как плюсы и там было как в питоне и руби и про хаскел не забудем.
Итого имеем о языке:
Целевая область задач - не известна
Зачем нужен язык - чтобы был. из-за отсутствия цели не известно какие языки брать в сравнение и определять чем они не устраивают
дальше можно не анализировать, ибо без этих двух пунктов создание нового языка обречено на провал.

[anyx]

Сообщение от pu4koff

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

Ну я давно пишу просто свои идеи по поводу языков программирования вообще. Если Пепел Феникса всё ещё смотрит в сторону плюсов, то мне его искренне жаль. Но это вроде бы не так

Кстати, реализовать предлагаю на LLVM. В простейшем случае это даст возможность генерации кода на кросплатформенном ассемблере, в лучшем - JIT-компилятор.

[Пепел Феникса]

Если Пепел Феникса всё ещё смотрит в сторону плюсов, то мне его искренне жаль.

Сейчас более в шарп.
Но там на практике все сложнее.(объяснять идею не буду)

Кстати, реализовать предлагаю на LLVM.

Возможно, но тогда надо сначала изучить её мощь, если недостаточна, то не подходит(или только как альтернативная цель(target))

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

И пусть так, это все-таки мое дело.
Я же не тяну никого в саму разработку.
Провал будет только на моей шее.

А так опыт все-таки.
Да и кто знает, авось что-то толковое выйдет.

[Utkin]

Да и кто знает, авось что-то толковое выйдет

Как минимум опыт. Я занимался чем-то подобным, но писал интерпретатор. Сейчас забросил из-за недостатка времени. Реализовывал еще фишку (где-то даже выкладывал на форуме) - ИДЕшка генерировала описания конструкций, близкой к БНФ (Бэкуса-Наура форма) и сбрасывала их в rtf и txt. Иногда полезно. Реализуете - получите фактическое описание языка, удовлетворяющее международным стандартам. Мне было необходимо - я баловался со сменным синтаксисом. На одну конструкцию допускалось несколько синтаксических форм (на русском, на английском и на любых других) + автоматический перевод из одной формы в другую.

[Пепел Феникса]

БНФ

собственно с ней и работаю.

[rpy3uH]

С++ это язык переполненый атавизмами. Да С++ нужен, но нужен новый, прицнипиальной новый язык.

Приведу пару примеров: операторы new и delete, они выделяют/освобождают память и если указан класс вызывают его деструктор/конструктор. Ключевой вопрос: а как они выделляют память? для это не должно быть чёрным ящиком, я должен точно знать какие функции используются при выделении памяти. Основная проблема, я не знаю как они работают, а если и узнаю, то всё равно в следующей версии принцип их работы изменится. Я должен точно знать как они выделяют память. А сейчас их работа напоминает кота в мешке.

Напрмиер, new выделяет память и вызывает конструктор, а если я выделю память под объект другой функцией? как мне вызывать конструктор? НИКАК! это МЕГА ляп языка программирования. В этих случаях приходится выносить код конструктора в отдельный метод и после выделения памяти под объект вызывать этот метод. Вот почему нальзя было сделать специальную диррективу, которая помечала бы некоторый метод как конструктор? Нет блин, они сделали через жопу!

Итог: операторы new и delete ФТОПКУ! со всеми вытекающими. они не нужны, это пережиток древних компиляторов.

Аналогично при объявлении переменных классов, в С++ всегда при объявлении переменной класса сразу вызывается её конструктор. Почему нельзя было сделать так:

class myclass 
{
public:
  void Create(); constructor;
}

myclass perem; //объявление без вызова конструктора
perem.Create();//вызов  конструктора
.......
myclass perem();//объявление с вызовом конструктора

Это только малая часть раковой опухоли под именем С++.

[Пепел Феникса]

Приведу пару примеров: операторы new и delete, они выделяют/освобождают память и если указан класс вызывают его деструктор/конструктор. Ключевой вопрос: а как они выделляют память? для это не должно быть чёрным ящиком, я должен точно знать какие функции используются при выделении памяти. Основная проблема, я не знаю как они работают, а если и узнаю, то всё равно в следующей версии принцип их работы изменится. Я должен точно знать как они выделяют память. А сейчас их работа напоминает кота в мешке.

ну приму к сведению.

Напрмиер, new выделяет память и вызывает конструктор, а если я выделю память под объект другой функцией? как мне вызывать конструктор? НИКАК! это МЕГА ляп языка программирования.

я как то видел вызов new(по сути конструктора) без выделения памяти(ему передавали указатель на память).

Аналогично при объявлении переменных классов, в С++ всегда при объявлении переменной класса сразу вызывается её конструктор. Почему нельзя было сделать так:

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

[rpy3uH]

Сообщение от Пепел Феникса

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

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

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

Это как история с протоколом IPv4, теперь вот мы мучаемся с переходом на IPv6. Ну не могли они сразу сделать как положено. Ладно, ну буду троллить на тему IPv4

[the_deer_one]

rpy3uH

я должен точно знать какие функции используются при выделении памяти.

Но зачем? Главное что выделяется, а уж какие функции вызываются, как там электроны бегают, не пофиг ли?

Почему нельзя было сделать так:

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