typeclass

3La chaleur

2Répondre

Installations pour générer des types Haskell à Haskell ("second order Haskell")?

Excuses d'avance si cette question est un peu vague. C'est le résultat de quelques rêveries de fin de semaine. Avec le système de type merveilleux de Haskell, il est délicieusement agréable d'exprimer

5La chaleur

2Répondre

Ajout de contraintes de type au contexte des déclarations d'instance dans Haskell

J'essaie de représenter des arêtes pondérées. Je veux finalement avoir OutE pour être une instance de Eq et Ord, avec la contrainte que etype est une instance de Eq et Ord. Supposons que je suit le fi

5La chaleur

1Répondre

Dépendance fonctionnelle dans Haskell

Je ne peux pas vraiment l'obtenir. Pourquoi avons-nous besoin du tout? Je veux dire que si j'utilise le même paramètre de type, je pense que cela signifie qu'ils devraient être du même type. J'ai ente

1La chaleur

3Répondre

Comment est-ce que j'utilise le système de type de Haskell pour appliquer la correction tout en étant capable de faire correspondre le modèle?

Disons que j'ai un HAA représentant une sorte de structure arborescente: data Tree = ANode (Maybe Tree) (Maybe Tree) AValType | BNode (Maybe Tree) (Maybe Tree) BValType | CNode (Maybe Tr

3La chaleur

1Répondre

Utilisation du type Int et de la contrainte Integral. Avantage?

Tenir compte de ces (plus ou moins) les signatures de type équivalent: f1 :: [a] -> Int -> a f2 :: Integral b => [a] -> b -> a f2 est plus générale que f1, et qui est un gros avantage, mais est-il

0La chaleur

1Répondre

Exportation d'une fonction MonadState polymorphe pour un type de données d'état particulier

Ce que j'essaie de faire est (dans un module que j'écris) exporter une fonction qui fonctionne sur un type particulier dans une monade d'état (dans l'exemple ci-dessous, ce type serait Foo). Cependant

4La chaleur

1Répondre

Instances contraints par classe polymorphes

Je veux faire tous les types qui sont des instances de Enum et Bounded également des instances de Random. Le code suivant fait cela, et devrait travailler (avec les extensions appropriées ont permis):

7La chaleur

2Répondre

Ajout d'un contrôle de validité dépendant d'une classe de type (Implicits facultatifs)

Dans scala, nous pouvons utiliser impleclasses pour ajouter de manière conditionnelle des méthodes sur un type paramétré en fonction des paramètres de ce type. Par exemple, Iterator.sum: def sum[B >:

15La chaleur

3Répondre

Comment obtenir une instance de la classe de type associée à un contexte lié?

Note: Je pose cette question pour y répondre moi-même, mais d'autres réponses sont les bienvenues. Tenir compte de la méthode simple: def add[T](x: T, y: T)(implicit num: Numeric[T]) = num.plus(x,y)

1La chaleur

2Répondre

Recherche d'un exemple d'utilisation de classe de type qui fonctionnera dans les scripts Scala 2.7.7 et 2.8

Salut, je cherche un exemple rapide d'utilisation de classe de type dans Scala qui fonctionnera dans les environnements 2.7.7 et 2.8. Tous les exemples que j'ai vus ne fonctionnent que dans 2.8, mais