В последнее время я играл с LiquidHaskell и Idris, и у меня возник довольно специфический вопрос,...

Скажем, я хочу проанализировать переменную окружения и по умолчанию использовать localhost при ее...

Я работаю над реализацией MLF на основе статьи Повышение ML до силы системы F . В статье типы...

Я изучаю типы, зависящие от пути, и типы уточнения.Но путают со сценарием, зависящим от пути.Ниже...

Используя компилятор машинописного текста, можно ли проверить, что типы элементов интерфейса...

У меня есть этот простой DSL, вдохновленный примером мини-Java, но основанный на XBase. Смотрите...

У меня есть этот код в моем HW, и он не упоминает, на каком языке он находится, и вопросы ниже кода

Я пытаюсь изучить CL, используя ClozureCL, и я нахожусь в середине Lisp koans от Google ....

В системе, приведенной ниже, можно ли заменить все подстановки and t1 t2 в некотором операторе T...

Допустим, у меня есть: trait X { val x: String } Используя миксин, я могу определить такую ​​черту,...

Как уже упоминалось в руководстве по TypeScript : Одним из основных принципов TypeScript является...

Как в Scala я могу сделать что-то вроде этого: def cast [Type] (x: _ >: Type, errMsg: String):...

Я изучал скалу в течение нескольких месяцев, но все еще на начальном уровне.Теперь я обнаружил, что...

Имеет ли D достаточно экспрессивную систему типов , позволяющую работать динамически (то есть с...

Я пытаюсь выучить агду.Однако у меня возникла проблема.Все учебники, которые я нашел в agda wiki,...

Я вижу этот код в этом блоге: Программирование на уровне типов в Scala : // define the abstract...

Да, я знаю, что UndecidableInstances может быть плохим. Я очень старался спроектировать свой модуль...

Может ли кто-нибудь объяснить четко и кратко концепции систем языковых типов? Я прочитал один или...

Я почти уверен, что об этом уже спрашивали, однако мне не удалось найти правильный ответ: Я...

Может кто-нибудь сказать мне концепцию «поэтапных тегов» в представлении информации о типе в...

let a = b in c можно рассматривать как синтаксический сахар для (\a -> c) b, но в типизированной...

http://www.dartlang.org/docs/spec/dartLangSpec.pdf Спецификация языка для Dart упоминается ниже Dart...

Зависимые типы методов, которые раньше были экспериментальной функцией, теперь включены по...

В Scala операции высшего порядка над коллекциями всегда возвращают наилучший возможный тип в...

По сути, я хочу, чтобы карта была проиндексирована по типам объектов. В этом случае я пытаюсь...