Вопросы с тегом «type-systems»

9
Языки динамического типа и языки статического типа
Каковы преимущества и ограничения динамических языков типов по сравнению со статическими языками типов? Смотрите также : что с любовью к динамическим языкам (гораздо более спорная тема ...)
11
Что такое экзистенциальный тип?
Я прочитал в Википедии статью Экзистенциальные типы . Я понял, что они называются экзистенциальными типами из-за экзистенциального оператора (∃). Я не уверен, какой в ​​этом смысл. какая разница между T = ∃X { X a; int f(X); } и T = ∀x { X a; int f(X); } ?
4
Почему бы не быть зависимым типом?
Я видел несколько источников, повторяющих мнение, что «Haskell постепенно становится типизированным языком». Предполагается, что с появлением все большего количества языковых расширений Haskell движется в этом общем направлении, но пока не существует. Есть две вещи, которые я хотел бы знать. Первый, довольно просто, что на самом деле означает «быть языком с …
4
Что означает оператор `#` в Scala?
Я вижу этот код в этом блоге: Программирование на уровне типов в Scala : // define the abstract types and bounds trait Recurse { type Next <: Recurse // this is the recursive function definition type X[R <: Recurse] <: Int } // implementation trait RecurseA extends Recurse { type …
4
Каковы убедительные примеры использования зависимых типов методов?
Зависимые типы методов, которые раньше были экспериментальной функцией, теперь включены по умолчанию в магистрали , и, по-видимому, это, похоже, вызвало некоторое волнение в сообществе Scala. На первый взгляд не сразу понятно, для чего это может быть полезно. Хайко Seeberger опубликовал простой пример зависимых типов методов здесь , которые , как …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.