La programmation type-systems

9

Langages de types dynamiques et langages de types statiques

Quels sont les avantages et les limites des langages de type dynamiques par rapport aux langages de type statiques? Voir aussi : ce qui est avec l'amour des langages dynamiques (un fil beaucoup plus argumentatif ...)

205 programming-languages dynamic-languages type-systems

1

Différence entre `data` et` newtype` dans Haskell

Quelle est la différence lorsque j'écris ceci? data Book = Book Int Int contre newtype Book = Book (Int, Int) -- "Book Int Int" is syntactically invalid

191 haskell types type-systems newtype

11

Qu'est-ce qu'un type existentiel?

J'ai lu l'article de Wikipédia Types existentiels . J'ai compris qu'ils sont appelés types existentiels à cause de l'opérateur existentiel (∃). Je ne sais pas trop à quoi ça sert. Quelle est la différence entre T = ∃X { X a; int f(X); } et T = ∀x { X …

172 language-agnostic types type-systems existential-type

4

Pourquoi ne pas être typé de manière dépendante?

J'ai vu plusieurs sources faire écho à l'opinion selon laquelle "Haskell est en train de devenir progressivement une langue typée de manière dépendante". L'implication semble être qu'avec de plus en plus d'extensions de langage, Haskell dérive dans cette direction générale, mais n'y est pas encore. Il y a essentiellement deux …

161 haskell type-systems dependent-type

4

Que signifie l'opérateur «#» dans Scala?

Je vois ce code dans ce blog: Programmation au niveau du type dans 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 { …

131 scala type-systems

4

Quels sont les cas d'utilisation convaincants des types de méthodes dépendantes?

Les types de méthode dépendants, qui étaient auparavant une fonctionnalité expérimentale, ont maintenant été activés par défaut dans le coffre , et apparemment cela semble avoir créé une certaine excitation dans la communauté Scala. À première vue, il n'est pas immédiatement évident à quoi cela pourrait être utile. Heiko Seeberger …

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

1

Que signifient les types dépendants du chemin de Scala?

J'ai entendu dire que Scala a des types dépendant du chemin. C'est quelque chose à voir avec les classes internes, mais qu'est-ce que cela signifie réellement et pourquoi est-ce que je m'en soucie?

125 scala type-systems path-dependent-type

4

Pourquoi ne puis-je pas faire de String une instance d'une classe de types?

Donné : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo Je veux créer Stringune instance de Fooable: instance Fooable String where toFoo = FooString GHC se plaint alors: Illegal instance declaration for `Fooable String' (All …

85 haskell ghc typeclass type-systems

Questions marquées «type-systems»