P
Сделал и без этих ваших рекурсий
Size: a a a
2020 June 26
P
let lolmap func list = for i in list -> func i
EM
Any idea how to hack around this without using a wrapper non-generic interface for Foo class?
type Foo<‘T> = class end
type Bar =
{
Items: Foo<_> list // Anonymous type variable error :(
}
type Foo<‘T> = class end
type Bar =
{
Items: Foo<_> list // Anonymous type variable error :(
}
AH
Any idea how to hack around this without using a wrapper non-generic interface for Foo class?
type Foo<‘T> = class end
type Bar =
{
Items: Foo<_> list // Anonymous type variable error :(
}
type Foo<‘T> = class end
type Bar =
{
Items: Foo<_> list // Anonymous type variable error :(
}
In .net type system you could use Foo<object>.
Every field in conrete type has to be concrete as well. Your record is not generic, so it could not have open generic fields
Every field in conrete type has to be concrete as well. Your record is not generic, so it could not have open generic fields
EM
Yeah, I know I could use Foo<obj> in there or just create a wrapper interface - Items: IFoo list.
Was hoping there is something else out there I don’t know about
Was hoping there is something else out there I don’t know about
SN
type Foo<‘T> = class end, no?
type Bar<'T>=
{
Items: Foo<'T> list // Anonymous type variable error :(
}
AH
type Foo<‘T> = class end, no?
type Bar<'T>=
{
Items: Foo<'T> list // Anonymous type variable error :(
}
Yep, but you have to make it generic.
SN
компилятор выведет тип по инстанциированию, не?
AH
компилятор выведет тип по инстанциированию, не?
Ну да, но мне казалось товарищ хотел не дженерик класс с открытым дженериком
VK
Ну да, но мне казалось товарищ хотел не дженерик класс с открытым дженериком
ну такого нет у нас, он там obj будет
AH
ну такого нет у нас, он там obj будет
Что я и написал в ответе
SN
Ну да, но мне казалось товарищ хотел не дженерик класс с открытым дженериком
это как - "создай мне тип со списком произвольного типа"? вроде так не бывает, параметр типа обязателен. т.к. это рекорд, то параметризовать нужно весь тип
AH
это как - "создай мне тип со списком произвольного типа"? вроде так не бывает, параметр типа обязателен. т.к. это рекорд, то параметризовать нужно весь тип
В дотнете не бывает да
AH
А во всяких тайп эрейжр рантаймах изи
VK
это как - "создай мне тип со списком произвольного типа"? вроде так не бывает, параметр типа обязателен. т.к. это рекорд, то параметризовать нужно весь тип
ну технически этот тип есть но наверно рантайм их создавать не умеет
VK
И прочее
EM
Да, проблема что это не дженерик класс. Понятно что внутри там будет объект. Хотелось как в Котлине например
EM
С его star projections and such
EM
Oh well, wrapper interface it is then. Thank you all for your help!