Если я хочу иметь тип, который может быть несколькими возможными типами, Union s, похоже, то, как я это представляю: U = Union[int, str] U может быть int или str . Я заметил, что TypeVar s допускает необязательные аргументы var-arg,...

Я хотел бы изначально объявить интерфейс Java во Фреге, который имеет общий тип. Например, возьмем ObservableList из JavaFX. Опуская общий тип E, он работает для определения data ObservableList = mutable native...

Это ужасно надуманный пример, но в любом случае... эта проверка типов: newtype Foo c = Foo { runFoo :: c -> Bool } newtype Bar c = Bar { runBar :: Int -> c } foo :: Eq c => Bar c -> (c -> [c]) -> Bar (Foo c) foo bar f = Bar res...

У меня есть класс: import Linear class Coordinate c where rotate :: Num a => Quaternion a -> c a -> c a translate :: Num a => V3 a -> c a -> c a , для которого я определил экземпляры instance Coordinate V3...

Я пытаюсь реализовать поиск в глубину для графиков с использованием стеков. Однако я продолжаю получать ошибки о переменной типа. Вот часть моего кода: public Result<T> depthFirstSearchFrom(String vertexId, Predicate< IVertex<T>...

Я пытаюсь написать свой собственный алгоритм вывода типов для игрушечного языка, но я упираюсь в стену — я думаю, что алгоритм W можно использовать только для чрезмерно общих типов. Вот выражения: Expr ::= EAbs String Expr | EApp Expr...

Эй! GHCi нашел Скулемов в моем коде! ... Couldn't match type `k0' with `b' because type variable `b' would escape its scope This (rigid, skolem) type variable is bound by the type signature for groupBy :: Ord b => (a -> b) -> Set...

Я играю с последовательностями, выровненными по типу , и в частности, я возился с идеей сложить их. Складная последовательность, выровненная по типу, выглядит примерно так: class FoldableTA fm where foldMapTA :: Category h =>...

Следующая подпись действительна и обычно используется в Scala: trait Collection[A] { def reduceLeft [B >: A] (f: (B, A) => B): B } Однако, поскольку >: является Scala-эквивалентом super в Java, моей первой идеей преобразовать...

Отказ от ответственности : это не в этом случае (хотя ошибка звучит так же): класс наследует несвязанные значения по умолчанию для spliterator() от типов java.util.Set и java.util.List и вот почему: рассмотрим два интерфейса (в пакете " a...

Допустим, у меня есть какой-то класс в Java, который реализует List<T> с именем Foo , который расширяет его с помощью String , как я могу получить переменную типа List (в этом примере это String )? [Просто знать, прежде чем я пойду и...

Этот код {-# LANGUAGE GADTs #-} data Expr a where Val :: Num a => a -> Expr a Eq :: Eq a => Expr a -> Expr a -> Expr Bool eval :: Expr a -> a eval (Val x) = x eval (Eq x y) = (eval x) == (eval y) instance Show a =>...

У меня проблема со значением Map("id"), оно может иметь два типа: String или Map[String,String]. Case 1: val a = Map("id" -> "123") Case 2: val a = Map("id"-> Map("ide"->"abcd")) Я хочу сделать проверку с помощью случая Match...

Я пытался написать программу для реализации полиномов в произвольном поле, математической структуре. В качестве языка программирования я выбрал Haskell и использовал расширение языка GADTs . Однако я не понимаю, почему GHCi не может вывести...