How to become an author
Search
Write a publication
Pull to refresh

Comments 47

А теперь вопрос — насколько быстрее это было бы реализовано на лисповых макросах?
Total votes 7: ↑6 and ↓1+5
Видимо быстрее, но в моей больной голове так вопрос не стоял. Для меня, в тот момент, было важно, что это МОЖНО сделать на C++, а не то, с какими человеко-потерями это можно сделать. Я думаю, у всех бывали такие моменты.
Total votes 6: ↑5 and ↓1+4
Помнится доказывали, что движок шаблонов в C++ Тьюринг-полный, так что сделать можно всё. Другое дело, что такой код вызывает желание убивать…
Total votes 20: ↑19 and ↓1+18
Рекомендованные стандартом ограничения (максимальное количество шаблонных параметров, вложенных инстанциирований...) скорее всего делают его неполным.
Total votes 4: ↑1 and ↓3-2
В архитектуре ЭВМ нет принципиального ограничения на размер памяти, хотя практически он ограничен размером Вселенной.

Ограничения налагаемые реализацией компилятора делают невозможным решение сколько-нибудь сложных задач с помощью шаблонов.
Total votes 4: ↑0 and ↓4-4
>> хотя практически он ограничен размером Вселенной
После квантовых компьютеров я уже вообще ни в чём не уверен.
Вполне возможно, нам удастся опровергнуть тезис Чёрча, построить память, в которой будет бит больше, чем частиц во Вселенной и т. д.
Total votes 3: ↑1 and ↓2-1
UFO just landed and posted this here
набрал 666 постов и зарегал новый акк
This comment wasn’t rated yet0
Кстати, я с удовольствием почитал бы статью о Lisp-овых макросах.
Total votes 1: ↑1 and ↓0+1
Я тут недавно про scala-макросы писал — статья популярности не имела.
Total votes 1: ↑1 and ↓0+1
Было поздно, вспомнились только упомянутые :)
Вы правы, особенно хороша Let Over Lambda.
This comment wasn’t rated yet0
Вброшу цитатку из него для того чтобы интерес подогреть, тем более что к содержанию поста она некоторое отношение имеет :)
C++ — довольно таки примитивное, но монстровое поделие, полное исторически сложившихся нелепых нагромождений. Человек, который хорошо в нем ориентируется — это хорошее зубрилко а не хороший программист. Умение героически преодолевать трудности, которые создает твой собственный инструмент, вместо того, чтобы решать непосредственно прикладную задачу, в современно мире ценится разве что только среди прыщавых сосок. Работодатель же это сомнительное умение не ценит, и совершенно справедливо.
© Xenocephal
Total votes 8: ↑8 and ↓0+8
Я бы сказал, что в последнее время erlang и clojure набирают обороты, так что я не настолько пессимистично настроен и в свободное от работы время почитываю SICP, чтоб в нужный момент быть в форме.
Total votes 4: ↑3 and ↓1+2
clojure действительно набирает, правда скорость этого набора ну совершенно не радует. Такими темпами пройдёт ещё лет десять, прежде чем он хотя бы приблизится к мейнстриму.
Что до Erlang'а, то тут вообще трудно что-то прогнозировать, больно уж его «рост» нестабилен:

Максимальные же темпы роста сейчас у Objective C по вполне понятным причинам. А вот топе по востребованности вообще висят Java, Javascript, C#, PHP, а в последнее время к ним ещё Python приблизился. Увы, популярность низкоуровневых языков упала ниже плинтуса…
Total votes 2: ↑2 and ↓0+2
А вот нифига не у Objective C. Судя по Tiobe с начала года он только падает.
Total votes 1: ↑1 and ↓0+1
Tiobe показывает, как часто гуглят данный язык, т.е. не востребованность у работодателя, а всего лишь популярность у самих разработчиков.
Чтобы оценить востребованность языка, нужно смотреть статистику вакансий, очень многие биржи труда её предоставляют. Вот как пример.
Total votes 1: ↑1 and ↓0+1
«Увы, популярность низкоуровневых языков упала ниже плинтуса…»
Парней, которые написали вот эту штуку — habrahabr.ru/company/eset/blog/178639/, расстраивает Ваш комментарий :)
This comment wasn’t rated yet0
Это будет тривиально и уже не так интересно.
Радует конечно, что такой инструмент появился, но, IMHO, для очень редкой задачи может действительно понадобиться CompileTime
Total votes 1: ↑1 and ↓0+1
Я знаю. Я не знаю задачи, для которой он мог бы всерьез понадобиться, вот в чем беда.
This comment wasn’t rated yet0
UFO just landed and posted this here
В C++11 constexpr функции очень ограничены (запрещено использовать много конструкций), а в C++14 (C++1y) большая часть ограничений была снята. В C++1y в constexpr функциях можно использовать if, switch, циклы, изменять переменные (если их lifetime начался во время вычисления константного выражения), и прочее.

isocpp.org/files/papers/N3652.html

Можно попробовать в clang -std=c++1y (Clang брать из SVN, реализация ещё не полная).
Total votes 1: ↑1 and ↓0+1
UFO just landed and posted this here
UFO just landed and posted this here
Что-то мне подсказывает, что суть постов Луговского сводилась не к тому, что на цпп чего-то сделать невозможно, а к тому, что на лиспе это будет проще, элегантнее и быстрее.
Total votes 6: ↑5 and ↓1+4
Суть постов Луговского сводилась к доказательству его превосходства над всеми остальными. Nothing more.
Total votes 7: ↑4 and ↓3+1
Если уж вы так интерпретируете это, то превосходство не его, а тех, кто не ограничивает набор своих инструментов одним-двумя языками.
Total votes 7: ↑2 and ↓5-3
Судя по отсутствию комментариев, сливают карму те, кто кроме цпп/пхп ничего больше не знают и знать не хотят…
Total votes 6: ↑0 and ↓6-6
На лиспе бы это было гораздо проще, короче и быстрее (в пране скорости реализации, а не производительности бинарника). Это вызвано, в частности, тем, что метапрограммирование в лисп — результат намеренной направленной работы, а в с++ — «счастливое» недоразумение, «удачное» стечение обстоятельств.

Как минимум, отладка далась бы автору существенно менее болезненно бгадаря наличию интерпретатора и macroexpand-1.
This comment wasn’t rated yet0
да.., моя маленькая статья даже рядом не валялась.
Кто-то мне говорил, что, кроме всего прочего, есть генератор псевдослучайных чисел реализован с помощью шаблонов C++. Всё это очень интересно…
Спасибо за впечатления.
Total votes 5: ↑3 and ↓2+1
У Вас очень хорошая статья. И да, вычисление e в CompileTime, это тоже сложнее факториала.
This comment wasn’t rated yet0
Посмотрите на Clay, в нем все эти шаблонные дела сделаны правильно.
А макросы — зло по типу goto, только на другом уровне. В языке должны быть ограничения
Total votes 1: ↑0 and ↓1-1
А макросы — зло по типу goto

Не надо путать сишный препроцессор с лисповыми макросами.
Total votes 4: ↑3 and ↓1+2
Sign up to leave a comment.

Articles

Show the best of all time

Your account

Sections

Information

Services

Support
© 2006–2024, Habr