чем плохи шаблоны? - Nemerle

Здравствуйте, Аноним, Вы писали:

А>вообще то сделали на спирит. Правда дефакто не более чем демонстрация принципиальной возможности

Демонстрация отличается от реальной реализации примерно так же как теория от практики

.

Ради прикола сравни говногод который у них получился с вот этим. И, как говорится, почувствуйте разницу. А когда заработает ParserGenerator, как следует, разговоры о Спирите даже смешными не будут казаться. Шутка ли? Полностью декларативный парсер с возможностью динамического расширения да еще и рвущий лучше генераторы парсеров написанных на С++ по скорости.

Примерчик использования.

Здравствуйте, Alexey F, Вы писали:

AF>Здравствуйте, CodingUnit, Вы писали:

AF>Итааак...

>>А как запустить шаблон из шаблона, с новыми аргументами?
AF>Это я уже показал: http://rsdn.ru/forum/nemerle/4603395.1.aspx

Да, алгоритм вам удался, получаются многие алгоритмы на шаблонах, но до каких же извращений вы дошли ребята. Я хоть и программлю на С++ по работе, но мне все же больше интересней работа с Н во время компиляции и перевод его в АСТ С++ и генерация кода. Так можно делать больше вещей во время компиляции и генерировать что нужно.

Здравствуйте, CodingUnit, Вы писали:

CU>Так о каких таких шаблонах идет речь, если не о С++ и где там чисто функциональный язык и хвостовая рекурсия?

Если на самом деле хочется сравнить мощность шаблонов и макросов то лучше посмотреть на лучшую по моему на данный
момент их реализацию, то есть на язык D:

http://www.d-programming-language.org/template.html
http://www.d-programming-language.org/template-mixin.html
http://www.d-programming-language.org/function.html#interpretation

Здравствуйте, CodingUnit, Вы писали:

CU>Здравствуйте, Alexey F, Вы писали:

AF>>Здравствуйте, CodingUnit, Вы писали:

AF>>Итааак...

>>>А как запустить шаблон из шаблона, с новыми аргументами?
AF>>Это я уже показал: http://rsdn.ru/forum/nemerle/4603395.1.aspx

CU>Да, алгоритм вам удался, получаются многие алгоритмы на шаблонах, но до каких же извращений вы дошли ребята. Я хоть и программлю на С++ по работе, но мне все же больше интересней работа с Н во время компиляции и перевод его в АСТ С++ и генерация кода. Так можно делать больше вещей во время компиляции и генерировать что нужно.

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

Здравствуйте, VladD2, Вы писали:

WH>>Если у меня вдруг появится настроение я даже машину Тьюринга на шаблонах могу изобразить.
VD>Это вряд ли. Что будешь в качестве непрерывной ленты использовать?
Не забывай с кем разговариваешь...

template<class H, class T>
struct TypeList
{
    typedef H Head;
    typedef T Tail;
};
struct NullType{};

template<class LeftItemsArg, class ItemArg, class RightItemsArg>
struct Tape
{
    typedef LeftItemsArg  LeftItems;
    typedef ItemArg       Item;
    typedef RightItemsArg RightItems;

    template<class NewItemArg>
    struct Replace
    {
        typedef Tape<LeftItems, NewItemArg, RightItems> Value;
    };
};

template<class ItemsArg, class DefaultItemArg>
struct PopItem;

template<class ItemArg, class TailArg, class DefaultItemArg>
struct PopItem<TypeList<ItemArg, TailArg>, DefaultItemArg>
{
    typedef ItemArg Item;
    typedef TailArg Items;
};

template<class DefaultItemArg>
struct PopItem<NullType, DefaultItemArg>
{
    typedef DefaultItemArg Item;
    typedef NullType       Items;
};

template<class TapeArg, class DefaultItemArg>
struct MoveLeft
{
    typedef PopItem<typename TapeArg::LeftItems, DefaultItemArg> NewLeftItems;
    typedef Tape<typename NewLeftItems::Items, typename NewLeftItems::Item, TypeList<typename TapeArg::Item, typename TapeArg::RightItems> > Value;
};

template<class TapeArg, class DefaultItemArg>
struct MoveRight
{
    typedef PopItem<typename TapeArg::RightItems, DefaultItemArg> NewRightItems;
    typedef Tape<TypeList<typename TapeArg::Item, typename TapeArg::LeftItems>, typename NewRightItems::Item, typename NewRightItems::Items> Value;
};

typedef Tape<NullType, int, NullType> Tape1;
typedef MoveRight<Tape1, int>::Value Tape2;
typedef Tape2::Replace<char>::Value Tape3;
typedef MoveRight<Tape3, int>::Value Tape4;
typedef MoveLeft <Tape4, int>::Value Tape5;
typedef MoveLeft <Tape5, int>::Value Tape6;

int main(int argc, char* argv[])
{
    std::cout << typeid(Tape1).name() << std::endl;
    std::cout << typeid(Tape2).name() << std::endl;
    std::cout << typeid(Tape3).name() << std::endl;
    std::cout << typeid(Tape4).name() << std::endl;
    std::cout << typeid(Tape5).name() << std::endl;
    std::cout << typeid(Tape6).name() << std::endl;
    return 0;
}

Печатает

struct Tape<struct NullType,int,struct NullType>
struct Tape<struct TypeList<int,struct NullType>,int,struct NullType>
struct Tape<struct TypeList<int,struct NullType>,char,struct NullType>
struct Tape<struct TypeList<char,struct TypeList<int,struct NullType> >,int,struct NullType>
struct Tape<struct TypeList<int,struct NullType>,char,struct TypeList<int,struct NullType> >
struct Tape<struct NullType,int,struct TypeList<char,struct TypeList<int,struct NullType> > >