Запитання з тегом «type-systems»

Які переваги та обмеження мов динамічного типу порівняно з мовами статичного типу? Дивіться також : що з любов'ю до динамічних мов (куди більш аргументована тема ...)

205 programming-languages  dynamic-languages  type-systems 

Яка різниця, коли я це пишу? data Book = Book Int Int проти newtype Book = Book (Int, Int) -- "Book Int Int" is syntactically invalid

191 haskell  types  type-systems  newtype 

Я читав статтю у Вікіпедії Екзистенційні типи . Я зрозумів, що їх називають екзистенціальними типами через екзистенціальний оператор (∃). Я не впевнений, в чому справа. Яка різниця між T = ∃X { X a; int f(X); } і T = ∀x { X a; int f(X); } ?

171 language-agnostic  types  type-systems  existential-type 

Я бачив, як кілька джерел перегукуються з думкою про те, що "Haskell поступово стає мовою залежної типу". Наслідком здається, що з дедалі більшою кількістю розширень мови Haskell рухається в тому загальному напрямку, але ще цього немає. В основному я хотів би знати дві речі. Перший, досить просто, що це «будучи …

161 haskell  type-systems  dependent-type 

Я бачу цей код у цьому блозі: Програмування на рівні в 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 Next …

131 scala  type-systems 

Залежні типи методів, які раніше були експериментальною особливістю, тепер увімкнено в магістралі , і, мабуть, це викликало деяке хвилювання у спільноті Scala. На перший погляд, не відразу очевидно, для чого це може бути корисно. Хайко Seeberger опублікував простий приклад залежних типів методів тут , які , як можна бачити , …

127 scala  haskell  programming-languages  type-systems  dependent-method-type 

Я чув, що Scala має типи, що залежать від шляху. Це щось спільне з внутрішніми класами, але що це насправді означає і чому мене це хвилює?

125 scala  type-systems  path-dependent-type 

Дано : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo Я хочу зробити Stringекземпляр Fooable: instance Fooable String where toFoo = FooString Потім GHC скаржиться: Illegal instance declaration for `Fooable String' (All instance types must …

85 haskell  ghc  typeclass  type-systems