Результаты поиска по запросу "type-systems"
Scala: упорядочение контравариантности
Есть ли причина, по которой ScalaOrdering черта не контравариантна? Мотивирующий пример следует. Предположим, я хочу выполнить заказную вставку. У меня может быть функция с подписью def insert[A, B >: A](list: List[A], item: A)(implicit ord: ...
Scala: упорядочение контравариантности
Есть ли причина, по которой Scala
Scala - принудительный размер вектора во время компиляции
Возможно ли обеспечить соблюдение размераVector передается в метод во время компиляции? Я хочу смоделировать n-мерное евклидово пространство, используя набор точек в пространстве, который выглядит примерно так (вот что у меня сейчас): case class ...
Scala - принудительный размер вектора во время компиляции
Возможно ли обеспечить соблюдение размера
Система типов Python - Объект против Типа
Я новичок в Python. Я знаком с Java, C / C ++ и OCaml. Я понимаю лямбда-исчисление и элементарную теорию типов благодаря курсу языков программирования, который я прошел в университете. Вооружившись этим фоном, я попытался прочитать это ...
Почему бы не быть зависимым типом?
Я видел несколько источников, повторяющих мнение, что «Haskell постепенно становится типизированным языком». Предполагается, что с появлением все большего количества языковых расширений Haskell движется в этом общем направлении, но пока не ...
Почему бы не быть зависимым типом?
Я видел несколько источников, повторяющих мнение, что "Haskell постепенно становится типизированным языком ", Предполагается, что с появлением все ...
Какова теоретическая основа для экзистенциальных типов?
Haskell Wiki хорошо объясняет, как использовать экзистенциальные типы, но я не совсем понимаю теорию, стоящую за ними. Рассмотрим пример экзистенциального т...
Что означает оператор # в Scala?
Я вижу этот код в этом блоге:Программирование на уровне типов в Scala [http://apocalisp.wordpress.com/2010/06/08/type-level-programming-in-scala/]: // define the abstract types and bounds trait Recurse { type Next <: Recurse // this is the ...