В хаскеле генерики а не шаблоны

😁

Ты не ответил. Все результаты вызовов Just N различны для натуральных N. Это макрос?

Разница в том что шаблоны проверяются после мономорфизации, а генерики до мономорфизации.

decltype и вне шаблонов применим

Just это функция с генериком, она строго одна

А <template> буквально кодогенерирует функции

то есть, макрос?

Требование работать так не описано в стандарте С++. Проверка может быть выполнена путём генерации всех фактических условий из тела функции, просто это бесполезно. О чем вопрос?

Да, макросы проверяются после раскрытия

Хм, а может ли быть? Там нигде неразрешимостей никаких не возникнет?

Но мой поинт был в другом: с помощью decltype тип возвращаемого значения может быть выведен по типам параметров неявно, и эта неявность приносит головную боль.

Лучше бы, чтобы это было явное типовое выражение, какое-нибудь U, которое бы строилось на основании типов входящих значений в where блоке или чём-то подобном, скажем:

where
U: r_value_ref<C<T>, index_of<T>>

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

Нет, это невозможно в плюсах

ему не нравится утиная типизация, наверное

Что значит невозможно
template <typename T> T add(T a, T b) { return a + b; }

я могу получить требование на T вида { a + b } -> T

Оно создаст по функции на каждый T

И что? Just N создаст Just 42

Не можешь потому что ты не знаешь что такое +

Но оно некорректное же. Таким образом ты отсечешь типы, для которых a + b возвращает U, неявно преобразующийся в T.