IP
это же просто стертый тип, который ансейф кастят
Size: a a a
2020 December 30
AN
это же просто стертый тип, который ансейф кастят
А кто мешает без хкт этот тип стереть и ансейфом скастить?
IP
А кто мешает без хкт этот тип стереть и ансейфом скастить?
отвратительно выглядит же
IP
так и от дженериков можно было отказаться
IP
неплохо же, да, самому ансейфом кастить
Vector v = new Vector();
v.add("kuku");
(String) v.get(0);
IP
хкт - это редко используемое, но абсолютно естественное продолжение идеи дженериков
AN
Я с тобой не спорю. Вопрос дает ли оно что-то в этом конкретном случае
IP
Я с тобой не спорю. Вопрос дает ли оно что-то в этом конкретном случае
полиморфизм же, например:
val factories = listOf<FactoryOfA<ImplOfA<_>>>(A.Companion)IP
или например
AN
полиморфизм же, например:
val factories = listOf<FactoryOfA<ImplOfA<_>>>(A.Companion)А можно реальный пример? Вот давай для математики, надо сделать операции, которые работали бы на дженеричных типах и подставлялись бы в зависимости от типа того на чем они вызываются. В KMath архитектура построена специально таким образом, чтобы не нужен был никакой HKT, но вот представим, что у тебя есть волшебная палочка и ты можешь творить, что хочешь. Можешь написать лучше?
IP
fun FactoryOfA<SomeType>.someTypes(value: SomeType): A<SomeType> = ...
IP
А можно реальный пример? Вот давай для математики, надо сделать операции, которые работали бы на дженеричных типах и подставлялись бы в зависимости от типа того на чем они вызываются. В KMath архитектура построена специально таким образом, чтобы не нужен был никакой HKT, но вот представим, что у тебя есть волшебная палочка и ты можешь творить, что хочешь. Можешь написать лучше?
так это на самом деле для Buffer + BufferFactory и есть...
AN
так это на самом деле для Buffer + BufferFactory и есть...
Ну так тебе все равно BufferFactory на каждый тип писать надо. Как ни крути
IP
Ну так тебе все равно BufferFactory на каждый тип писать надо. Как ни крути
да, но оно тайпсейфно. можно получить ListBuffer какой-то фигни, зная, что это ListBuffer
AN
Вся разница только в том, можно ли подставлять эту фабрику по типу или надо передавать ее явно. Я за явно.
AN
И у нас, кстати сделан автоматический вывод типа буфера по ограниченному количеству вариантов. По сути - это либная реализация имплиситов.
IP
И у нас, кстати сделан автоматический вывод типа буфера по ограниченному количеству вариантов. По сути - это либная реализация имплиситов.
ну вот что это такое?
IP
некрасиво же
AN
некрасиво же
А как тебе тут хкт поможет?
AN
Там в общем случае два разных буфера