Oℕ
Нужна универсальность
Size: a a a
2020 February 03
Oℕ
Если все S[A] представлены одинаково и T[A] тоже, эту общность представления легко использовать для такой трансформации
Oℕ
Если они представлены по-разному трансформация должна быть устроена гораздо сложнее
Oℕ
Ты можешь уже написать свою реализацию и показать, как бы ты её устроил в случае, если нет стирания всего в Object
Oℕ
Ну хорошо, тебе проще - напиши
Oℕ
Я не понимаю, как это можно сделать
ᛒ
Ты можешь уже написать свою реализацию и показать, как бы ты её устроил в случае, если нет стирания всего в Object
щас же напишет
Oℕ
щас же напишет
ну хорошо
Oℕ
Я знаю только ATS из языков, где есть что-то подобное.
И то ATS всё равно лифтит и стирает в таких случаях
И то ATS всё равно лифтит и стирает в таких случаях
V
щас же напишет
тренеру пусть покажет сначала
Oℕ
C++ решил задачу на полшишки
Oℕ
Остальные решили вообще не решать
Oℕ
Хотя раст со скрипом свою полшишку тоже пытается
Oℕ
Хаскель сейчас вводит параметрический анлифтед
Oℕ
Т.е. типа в отдельных случаях обойтись без стирания
Oℕ
Там, где ты можешь доказать, что можно решить
w
Там, где ты можешь доказать, что можно решить
Эх, сча бы решить
А⚙
Хотя раст со скрипом свою полшишку тоже пытается
Это ты про что?
Oℕ
Это ты про что?
Была статья, где были перечислены пропоузалы про
associated generics, asssociated traits и ещё что-то
associated generics, asssociated traits и ещё что-то