Прочетох статията в Уикипедия Екзистенциални типове . Разбрах, че се наричат ​​екзистенциални типове поради екзистенциалния оператор (∃). Не съм сигурен обаче какъв е смисълът от това. Каква е разликата между T = ∃X { X a; int f(X); } и...

Какво работи (част A) Да предположим, че имам черта с параметър тип: trait A[T] Мога да използвам екзистенциален тип, за да напиша метод, който ще вземе колекция от A s, които всички имат едно и също T : def foo(as: Seq[A[X]] forSome...

Когато се опитвам да използвам екзистенциали от по-висок вид в Scala, се натъквам на следния проблем: trait A[H[_]] trait Test { val l: A[List] // [error] type mismatch; // [error] found : A[List] // [error] required: A[_[_] <:...

Да предположим, че имам ADT, като data Foo = Foo !Int | Bar (Int->Int) Foo Сега кажете, че искам да наложа някакъв вид допълнителна безопасност на типа, като се отърва от „типа магическо число“: {-# LANGUAGE GADTs #-} newtype...

Моля, вижте по-долу кратък пример, който ме озадачава. Трябва да призная, че имам известни затруднения да манипулирам екзистенциални типове в Scala. Как трябва да реша реда 56 за несъответствие на типа? proposer е OK тип _$1, докато proposers е...

Вероятно е по-лесно първо да очертая накратко общия си проблем и след това да покажа къде съм заседнал. Искам да получа списък с JSON на някакъв единично индексиран тип, където типът на индексиране също има свързано семейство типове. В код:...

Чрез този въпрос открих тази статия за шаблона „config“ от Precog. Опитах това с два модула: case class Pet(val name: String) trait ConfigComponent { type Config def config: Config } trait Vet { def vaccinate(pet: Pet) = {...