это точка-с-запятой😀😁

О кстати, для холиваров с пюсовиками полезный сниппет:

constexpr bool foo(int n) { return (n % 2 == 0); }

template<bool b>
struct bar { static int value; };

template <> 
struct bar<true> { 
    template<int n> class value { };
};

template <int n> 
struct baz : bar<foo(n)> { };

baz<42>::value<3> v;

В зависимости от значения, которое вернёт функция foo, последняя строчка может оказаться как объявлением переменной bar<true>::value<42> v, так и выражением (bar<false>::value < 3) > v

к слову о фатальном недостатке в синтаксисе)

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

А я видел твою библиотеку и поставил уже звёздочку :-)

Нет, это другая

Прошлая была только для Result, эта для произвольных ADT

ааа

И как будет выглядеть ПМ, что там насчёт анализа исчерпывания? 😜

1) Анализ исчерпывания есть
2)

MATCH(
    result,
    ARMS(
        ARM(Ok, FILE *, ok,
            puts("A file was opened!");
        ),
        ARM(Error, OpenFileError, error,
            puts("Cannot open a file!");
        )
    )
)

Откуда примерчик? Выглядит очень прикольно

Только не вкурю что такое bar<true>::value? Неужто value template?

Или шаблон значения по русски

Или там слово struct потерялось просто

Когда привыкнешь, будешь писать так же быстро как на какой-нибудь Java или быстрее. Сравнивать надо когда привык, а не когда только начал писать…

Из комментов к https://m.habr.com/ru/company/yandex/blog/488588/

Привык к атс -- познал дзен

Привык к джаве -- просто набил руку

Немного разные вещи