Static introspection + CTFE + Boolean constraints + static if = WIN

эскобар.жпг

На какой минуте он там говорит про эти Concepts? Лень всё мотать

Я, честно говоря, так и не понял до конца его проблемы с параметризованными типами. Возможно, в D они как-то особенно через задницу сделаны, и потому Андрей так бесится. Я не знаю.

yoghurt, в районе 29 минуты.

А, домотал, 22:00

Мм, занятно. С первого взгляда как тайпклассы в хаскеле, но для шаблонов

Короч и без того монструозный сипласплас становится ещё монструозней.

Мм, занятно. С первого взгляда как тайпклассы в хаскеле, но для шаблонов

Да, это по сути оно и есть. Бьярн множество раз ссылался на хаскелл в этом плане. Его библиотека с паттерн-матчингом для C++ тоже во многом вдохновлена хаскеллом.

Чует моё сердце (а может и не только оно), что это трехэтажное зашаблонивание на практикте ведет вовсе не к гибкости, а, скорее, к костности :)

Когда куча контрактов прописана и зашита в типах/иерархии, это возможно безопасно и предсказуемо и все дела, но может значительно сократить пространство для возможного последующего манёвра.

Я, честно говоря, так и не понял до конца его проблемы с параметризованными типами

Я думаю, он хотел сказать «вычисления на шаблонах - говно, CTFE рулит». Но, ИМХО, и то, и то - слишком низкоуровневые инструменты (хотя по сравнению с шаблонами CTFE, естественно, просто пришелец из будущего).

Eating your own dog food

Кстати, мне вот что интересно. Есть ли запротоколированные случаи использования Бьярном своего детища по-назначению? Ну там, серьезное что-нибудь написать, большое, а не очередную книжку или абстрактный хелловорлд с демонстрацией очередного концепта.

Беглый обзор сайта ответа не дал

Сложный вопрос. Mach7 действительно позволяет писать более простой и чистый код. Ещё есть довольно неплохая библиотека с монадами (ftl). К сожалению, две эти библиотеки не слишком совместимы друг с другом, и я не слишком уверен, что они будут хорошо работать хотя бы с STL (молчу про Boost).

Можно сказать, что в C++ слишком много старого кода, чтоб вот так кардинально менять язык.

Я думаю, он хотел сказать «вычисления на шаблонах - говно, CTFE рулит». Но, ИМХО, и то, и то - слишком низкоуровневые инструменты (хотя по сравнению с шаблонами CTFE, естественно, просто пришелец из будущего).

Это-то да, но вычисления в compile time - далеко не единственная и даже не главная функция шаблонов в C++.

вычисления в compile time - далеко не единственная и даже не главная функция шаблонов в C++

Насколько я понял этого акробата, ему нужны средства метапрограммирования (фактически, анализа программы и генерации кода на основе этого анализа), которые плохо выражаются шаблонами Си++ даже с учетом вычислений на шаблонах, и он хочет вместо них CTFE. В общем, лисперы сейчас набегут глумиться %)

Плюсовые шаблоны - это ад кромешный. А тут ещё и новенькое. Да ну нафиг.

Кто что думает по этому поводу?

Александреску полностью с катушек съехал. Рассказывает про какие-то тупые аллокаторы, а презентацию обозвал «generic programming must go». Назвал бы он её честно, никто бы слушать не пришёл.

В общем, лисперы сейчас набегут глумиться %)

Чего глумиться над убогим?

Александреску полностью с катушек съехал.

Он несъехавшим и не был никогда.

Гммм. Думал что будет про Generic Programming который Generics, а оказалось про параметрический полиморфизм.

Чего глумиться над убогим?

10 правило гринспуна же. Опять. Все там будете.

Generics - это и есть параметирческий полиморфизм, в отличии от шаблонов.

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

Что за хуйню ты несешь?

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

И это говорит человек, чьё имя в контексте C++ давно стало синонимом «шаблонной магии».

generic programming must go

это он намекает, что в Go все сделали правильно?

Не-не-не, Бьярне Струаструп, не-не-не.

Да, там вообще нет нормального обобщённого программирования.

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

Когда куча контрактов прописана и зашита в типах/иерархии, это возможно безопасно и предсказуемо и все дела, но может значительно сократить пространство для возможного последующего манёвра.

Дык, в случае плюсов контракты будут опциональными - иначе ведь никак, для совместимости с существующим кодом.

Кстати, мне вот что интересно. Есть ли запротоколированные случаи использования Бьярном своего детища по-назначению?

Хз, но ведь он там (в комитете стандартизации) не один далеко. Есть и вполне «практикующие программисты».

Он больше теоретик. Практика на фьючерсных биржах и в игровых движках.

Static introspection + CTFE + Boolean constraints + static if = WIN

Значит ли это, что из D уберут шаблоны? Или несмотря на все доводы по ссылке? D останется C++++?

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

Хаскель еще не труп и будет сопротивляться.

Хаскель еще не труп

Он еще и не родился. Вопрос только в том, помрет ли ребенок еще до родов или нет.

Есть ли запротоколированные случаи использования Бьярном своего детища по-назначению?

само его детище?

В общем, лисперы сейчас набегут глумиться %)

Да тут не только лисперы будут глумиться. Но вообще, чувак вместо этого мегаонанизма мог бы сделать что-то типа Template Haskell для D. Или вообще стороннюю тулзу для кодогенерации и анализа разработать.

В Go не сделали ничего.

Александреску тот еще упорок, я его писанину стараюсь не читать.

появление компьютеров позволило нам решать проблемы, которые до появления компьютеров не существовали =\

++C++

Нет, он о другом. В Go нет того, что он предлагает взамен.

You merely adopt C++, I was born in it, compiled by it! (c)

Я ничего не понял. Там в слайдах язык D что ли?

Ага. Александреску уволился из Facebook и сейчас целиком и полностью занимается разработкой и продвижением D.

надеюсь, кто-то от такого продвижения получает удовольствие

Александреску полностью с катушек съехал.

http://pastebin.com/7c7Lm4CC

Я где-то короткий вариант вроде видел? Этот опус разрастается с каждой новой версией.

Надо коллегам любителям Александреску подарить скрепки.