Я не буду это сейчас искать, ибо не знаю, где. К тому же, если ты это уже делал, тебе не составит труда сделать ещё раз

бляяяяяя, я то думал он про сабтайпинг говорит

Твоя ключевая ошибка состоит в том, что ты думаешь, что в словах Царя есть какой-то смысл

Нет. Это так не работает. Тебе уже показывали и я тратил на это время. Ты не смог даже распарсить и начал нести херню. Сейчас ты делаешь тоже самое - тянешь время. Вот требуешь с меня траты - потратишь сам и докажешь свою состоятельность

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

Допустим, возльмём то же to_tuple. У нас есть структура, есть магическое get и size. Количество полей и взять поле по индексу. Да, ты можешь написать 10 функций(ну пусть более 10 полей ненужно). Вот ты напишешь там 10 разных функций

Берешь HList и реализуешь на нем. Тот же тапл но на стероидах

В чём бред? Где бред? Покажи что-то выразительнее С++. Покажешь только новомодную типа скалы. И то лишь потому, что она в С++ во многом другая выразительность. Если мы говорим о каком-то расте, жаве и обычных мейнстримных языках - они сливают С++

Это огрызок тапла. И ты ничего на нём не реализуешь. Не трогай сложные материи - просто начни с итераторов. Там будет куда понятнее проблема

я уже видел рассуждения на эту тему. И я не зря говорил про особенности работы человека. Когда ты привык к более слабой концепции - тебе сложно выйти за её рамки. Допустим, опять же, один растоман не смог даже реализовать полиморфный sum

почему ты придумываешь свою терминологию и потом всех путаешь?

каким образом хлист огрызок тапла если одно в другое конвертируется изоморфизмом?

это просто борьба школ

Ух, я один раз два дня выяснял, что человек не понимает в изоморфизме туплов и хлистов. Оказалось у него уже мозги были кое-кем засраны. Но, по крайней мере, удалось добиться взаимопонимания.

это просто борьба школ

покажи кто придерживается твоего определения полиморфизма кроме тебя самого