AB
Это нужно обходить снаружи
Size: a a a
2021 May 27
AB
Я за hard error
[
instance MyShoy Int where myshow = 5B
пойди сделай
template<class... T, class... U>
struct variant_union {
using type = std::variant<union_t<T..., U...>>;
type into(std::variant<T...>);
type into(std::variant<U...>);
};[
это не тайпчается для любого MyShow
TK
Ну почему же, технически есть, выходит
[
я могу написать
но не могу
f = putStrLn . showно не могу
f = putStrLn . myshowB
этот union_t делать не так сложно, но объемно по коду, такчто его не включаю
TK
А это уже всё, другое
[
у всех перегрузок одно и то же возвращаемое значение
[
но разное количество аргументов
B
если с экстеншом я видел там как раз какое надо
[
крч, тайпкласс
MyShow это нихера не Show с перегрузками, это просто класс, который для любого a заставляет иметь значение myshow, грубо говоря - нейтральный элемент. У этой хуйни любое значение кроме Void может иметь инстанс.а
ну так композиция с перегруженными функциями ни в одном япе не работает
а
логично
[
работает!
[
хотя ладно
[
лишь для конкретных типов
B
это ни в расте, ни в хаскелле нельзя
а
да