Из раздела 3.13.3 учебника по карри : Остаточные операции называются жесткими, а узкие - гибкими....
Мне было интересно, почему некоторые приведения в C # проверяются во время компиляции, тогда как в...
Я действительно не могу получить это. Зачем нам это вообще нужно? Я имею в виду, если я использую...
Я прочитал сравнение C # и Java , и первая вещь в списке - это "система с единым корнем...
Как получается, что следующий тип проверяет {-# LANGUAGE RankNTypes #-} module Main where class Foo...
Я создал собственную систему типов для использования в сценариях C # внутри приложения. Скрипты...
Если нет, и набор ссылочных типов и типов значений являются взаимоисключающими, почему эта...
В чем разница между этими двумя функциями типа F #: let defaultInstance1<'a when...
Я недавно поигрался с RankNTypes и думаю, можно ли их использовать? в объявлениях экземпляров. Вот...
Я читал, что система типов Scala ослаблена совместимостью с Java и поэтому не может выполнять...
Я спрашиваю об этом, потому что кажется, что использование Object кажется простым способом решения...
Есть ли у D 'newtype' (как в Haskell). Это наивный вопрос, так как я просто смотрю D, но Google не...
Параметризованные типы, такие как шаблоны C ++, - это хорошо, но большую часть времени они могут...
При изменении файла настроек .NET мне предоставляется выбор типов настроек.Однако не все типы,...
Извините, если вопрос очень элементарный, я все еще очень плохо знаком с Хаскеллом. Допустим, у...
Это может показаться немного странным, но мне действительно нужно создать обходной путь для очень...
Я уже некоторое время изучаю различные функциональные языки, включая Haskell, Scala и Clojure. У...
Мне интересно, почему этот кусок кода не проверяет тип: {-# LANGUAGE ScopedTypeVariables,...
На Haskell обычно ссылаются как на пример чисто функционального языка.Как это может быть оправдано,...
Мне было интересно, можно ли разделить расширения GHC в основном на две разные категории те,...
Поскольку переменные типа не могут содержать поли-типы, кажется, что с типами Rank * мы не можем...
Когда я экспериментировал с разновидностями Хаскелла и пытался получить вид ->, это показало: $...
Hoogle позволяет вам искать во многих стандартных библиотеках Haskell либо по имени функции, либо...
У меня есть следующая реализация кода поиска в ширину. trait State{ def successors:Seq[State] def...
В Scala я могу определить структурные типы следующим образом: type Pressable = { def press(): Unit...