ΑZ
((IList<int>) new[] {1,2,3 }).Add(4)Size: a a a
2021 May 07
[
Тоже наебнется что ли?
ΑZ
а ты проверь
[
Но тут хоть явное приведение
[
Ноут в рюкзаке
TK
В c++ добавили через std::variant. Но далеко не так красиво и просто их описывать.
О
нифига он умный
О
так а какая?
AN
вот так самая краткая запись
type Idx_<E> = <E as Ext>::Idx;
type Eq_<A, B> = <Idx_<A> as IsEqual<Idx_<B>>>::Output;
impl<Head, Tail, E> Contains<E> for HCons<Head, Tail>
where
E: Ext,
Head: Ext,
Tail: Contains<E>,
Idx_<E>: IsEqual<Idx_<Head>>,
Eq_<E, Head>: BitOr<<Tail as Contains<E>>::Result>,
Or<Eq_<E, Head>, <Tail as Contains<E>>::Result>: Bit,
{
type Result = Or<Eq_<E, Head>, <Tail as Contains<E>>::Result>;
}
AN
@odessa_virtual надо было вместо Cmp баунда ставить сразу IsEqual
О
а, это осталось от старого IsEqual2
gо
можно ли двигая токены влево построить произвольный язык?
AN
???
H
не особо
gо
Это я
ΑZ
а я думал тебе не хватает формальности
H
у C# сама атмосфера скуки
П
А зачем