Результаты поиска по запросу "type-systems"
Haskell: Задание ограничений одинаковой длины для списков в системе типов
В Хаскеле у меня часто есть такая функция
Тот факт, что определение типа не работает, является намеком на то, что компилятор не доволен этим.
етил, чтоtuple.productIterator всегда возвращаетIterator[Any] Интересно, нельзя ли установить несколько нижних границ (так что это может быть Итератор с наименьшим общим супертипом). Я попытался и искал немного, но только ...
stackoverflow.com/questions/38549174/...
ли наложить ограничение неравенства на переменные типа функции, а ляfoo :: (a ~ b) => a -> b как вСемейные документы типа GHC [http://www.haskell.org/ghc/docs/7.0.3/html/users_guide/type-families.html]кроме неравенства а не равенства? Я ...
Система типов Python - Объект против Типа
Я новичок в Python. Я знаком с Java, C / C ++ и OCaml. Я понимаю лямбда-исчисление и элементарную теорию типов благодаря курсу языков программирования, который я прошел в университете. Вооружившись этим фоном, я попытался прочитать это ...
Scala - принудительный размер вектора во время компиляции
Возможно ли обеспечить соблюдение размераVector передается в метод во время компиляции? Я хочу смоделировать n-мерное евклидово пространство, используя набор точек в пространстве, который выглядит примерно так (вот что у меня сейчас): case class ...
Scala: упорядочение контравариантности
Есть ли причина, по которой ScalaOrdering черта не контравариантна? Мотивирующий пример следует. Предположим, я хочу выполнить заказную вставку. У меня может быть функция с подписью def insert[A, B >: A](list: List[A], item: A)(implicit ord: ...
Каковы различия и сходства систем типа Scala и Haskell?
Как объяснить систему типов Scala эксперту по Haskell? Какие примеры показывают преимущества Scala? Как объяснить систему типов Хаскелла опытному специалисту по Scala? Что можно сделать в Хаскеле, чего нельзя сделать в Скале?
Какова теоретическая основа для экзистенциальных типов?
Haskell Wiki хорошо объясняет, как использовать экзистенциальные типы, но я не совсем понимаю теорию, стоящую за ними. Рассмотрим пример экзистенциального т...
Почему бы не быть зависимым типом?
Я видел несколько источников, повторяющих мнение, что "Haskell постепенно становится типизированным языком ", Предполагается, что с появлением все ...
Написание хорошего ответа
ы различные варианты использования для типов объединения и типов пересечений? В последнее время было много шума по поводу этих функций системы типов, но почему-то я никогда не чувствовал необходимости ни в одном из них!