p
И Display у каждого сохраняется
где?
1. Объявить сумтип
2. Имплементировать у него дисплей руками
3. Имплементировать у него
From<> из каждого типа, если хочешь просто оборачивать, тоже руками4. Матчить на каждом использовании
Size: a a a
2020 May 22
EG
В статике мне нужно:
1. Объявить сумтип
2. Имплементировать у него дисплей руками
3. Имплементировать у него
4. Матчить на каждом использовании
1. Объявить сумтип
2. Имплементировать у него дисплей руками
3. Имплементировать у него
4. Матчить на каждом использовании
p
если у одного типа нет дисплея то габелла
SP
ну да церемонии зато все очень просто
EG
Динамика: hahaha
[1, 2, 3] + ["1", "2", "3"] goes brrrrp
В статике мне нужно:
1. Объявить сумтип
2. Имплементировать у него дисплей руками
3. Имплементировать у него
4. Матчить на каждом использовании
1. Объявить сумтип
2. Имплементировать у него дисплей руками
3. Имплементировать у него
From<> из каждого типа, если хочешь просто оборачивать, тоже руками4. Матчить на каждом использовании
1. нет.
2. нет.
3. нет.
4. нет.
2. нет.
3. нет.
4. нет.
EG
1. нет.
2. нет.
3. нет.
4. нет.
2. нет.
3. нет.
4. нет.
Покажи гетерогенный список без этого, лол
EG
Не кортеж
EG
А гетерогенный список
EG
С переменной длиной и нефиксированным положением типов
p
Динамика: hahaha
[1, 2, 3] + ["1", "2", "3"] goes brrrrхаскель: hahaha (
1, 2, 3) ++ ("1", "2", "3")SP
зачем вообще юзать гетерогенный список
p
хаскель: hahaha (
1, 2, 3) ++ ("1", "2", "3")ну или если нет то сделать
EG
Чтобы сложить в него всякую одноразовую хуйню, очевидно
EG
хаскель: hahaha (
1, 2, 3) ++ ("1", "2", "3")goes два экрана ошибок
EG
И ты не можешь это тривиально имплементировать
EG
Потому что это нужны variadic generics
EG
Ты не можешь тупо сложить два кортежа, несмотря на то, что это, в целом, корректная операция
EG
Ты точно знаешь входные и выходные типы
EG
Но имплементировать это нельзя, потому что компилятор тупой.