Questions programmation typeclass

Score Aff Date
Avatar de pintoch

3

1 Rép
98 Aff

Déplier les définitions imbriquées en Coq

Résolu
Demandé el 8 de Juillet, 2016 par pintoch
Etiquettes :
Photo de Bercovici Adrian

9

2 Rép
135 Aff

Pourquoi une instance de type paramétré fonctionne-t-elle sans spécifier de paramètre de type

Résolu
Demandé el 15 de Mai, 2019 par Bercovici Adrian
Etiquettes :
Photo de luqui

21

1 Rép
585 Aff

Proposition de déclarations / instances de données locales

Résolu
Demandé el 10 de Mars, 2013 par luqui
Etiquettes :
Avatar de ecthiender

10

1 Rép
107 Aff

Comment ne pas appliquer de contraintes d'instance à une fonction restreinte qui utilise une fonction plus générique ?

Résolu
Demandé el 23 de Mai, 2019 par ecthiender
Etiquettes :
Avatar de spaceCamel

3

1 Rép
164 Aff

Pourquoi `succ i` est-il valide lorsque `i : : Num a => a` (et non un `Enum a`) ?

Résolu
Demandé el 22 de Mars, 2019 par spaceCamel
Etiquettes :
Photo de oshyshko

8

2 Rép
106 Aff

Réutilisation des instances MArray pour un nouveau type de tableau

Résolu
Demandé el 1 de Janvier, 2020 par oshyshko
Etiquettes :
Avatar de Jake King

5

1 Rép
344 Aff

Puis-je passer un dictionnaire de classe de type à une fonction de manière explicite ?

Résolu
Demandé el 30 de Juin, 2016 par Jake King
Etiquettes :
Avatar de August Jelemson

23

2 Rép
3385 Aff

Que signifie "instance" en Haskell ?

Résolu
Demandé el 3 de Juillet, 2017 par August Jelemson
Etiquettes :
Photo de Gregyski

15

2 Rép
7759 Aff

Classes de types dans les types de données Haskell

Résolu
Demandé el 5 de Juillet, 2009 par Gregyski
Etiquettes :
Avatar de Sriotchilism O'Zaic

6

1 Rép
113 Aff

Comment puis-je combiner cette famille de type fermé avec une classe de type dépendant ?

Résolu
Demandé el 21 de Novembre, 2019 par Sriotchilism O'Zaic
Etiquettes :
Photo de mergeconflict

27

1 Rép
1147 Aff

Est-il possible de mettre en œuvre liftM2 en Scala?

Résolu
Demandé el 3 de Décembre, 2011 par mergeconflict
Etiquettes :
Avatar de zale

52

4 Rép
3286 Aff

Puis-je définir l'interface Negatable en Java?

Résolu
Demandé el 8 de Août, 2018 par zale
Etiquettes :
Avatar de Jason Yeo

52

6 Rép
2139 Aff

Quelle est la chose la plus proche des classes de type de Haskell en OCaml ?

Résolu
Demandé el 18 de Février, 2013 par Jason Yeo
Etiquettes :
Photo de Doug McClean

30

2 Rép
1213 Aff

L'ascenseurM peut-il être différent de l'ascenseurA ?

Résolu
Demandé el 28 de Octobre, 2009 par Doug McClean
Etiquettes :
Photo de Chris Taylor

28

3 Rép
845 Aff

Quand utiliser une classe de type, quand utiliser un type

Résolu
Demandé el 5 de Septembre, 2012 par Chris Taylor
Etiquettes :
Photo de leftaroundabout

29

1 Rép
481 Aff

Est-il un standard de mise en œuvre de la "trivial contrainte", ou "classe d'objets"?

Résolu
Demandé el 6 de Février, 2014 par leftaroundabout
Etiquettes :
Avatar de TheIronKnuckle

68

4 Rép
2268 Aff

Différence entre les interfaces OOP et les classes de type FP

Résolu
Demandé el 14 de Novembre, 2011 par TheIronKnuckle
Etiquettes :
Avatar de Evan Carroll

43

5 Rép
1629 Aff

À Haskell, pourquoi n'y a-t-il pas une TypeClass pour les choses qui peuvent agir comme des listes?

Ouvert
Demandé el 2 de Septembre, 2010 par Evan Carroll
Etiquettes :
Photo de Dan Burton

35

1 Rép
1084 Aff

Comment fonctionne IncoherentInstances ?

Résolu
Demandé el 3 de Décembre, 2011 par Dan Burton
Etiquettes :
Avatar de Noldorin

46

5 Rép
7016 Aff

Fonctions avec des types de paramètres génériques

Résolu
Demandé el 1 de Février, 2009 par Noldorin
Etiquettes :
Photo de Jacques Carette

33

3 Rép
679 Aff

Le choix entre une classe et un record

Résolu
Demandé el 12 de Novembre, 2011 par Jacques Carette
Etiquettes :
Photo de martingw

56

2 Rép
1326 Aff

A quoi sert le "|" dans une définition de classe Haskell ?

Résolu
Demandé el 20 de Avril, 2010 par martingw
Etiquettes :
Avatar de CodexArcanum

43

2 Rép
3039 Aff

Comment pourrais-je traduire une classe de type Haskell en F #?

Résolu
Demandé el 27 de Octobre, 2010 par CodexArcanum
Etiquettes :
Photo de Łukasz Lew

41

1 Rép
1184 Aff

Pourquoi les classes de types sont-elles difficiles à implémenter?

Résolu
Demandé el 7 de Mars, 2012 par Łukasz Lew
Etiquettes :
Avatar de Matt Fenwick

70

3 Rép
1274 Aff

Confus par le sens de la classe de types 'Alternative' et ses relations avec les autres classes de types

Résolu
Demandé el 26 de Octobre, 2012 par Matt Fenwick
Etiquettes :
Photo de awashburn

54

5 Rép
1945 Aff

Pourquoi Haskell manque-t-il des classes "évidentes"?

Ouvert
Demandé el 7 de Août, 2014 par awashburn
Etiquettes :
Photo de Dan Burton

42

2 Rép
2096 Aff

Quel est le problème avec GHC Haskell actuelle du système de contraintes?

Résolu
Demandé el 9 de Octobre, 2012 par Dan Burton
Etiquettes :
Avatar de Grega Kešpret

67

1 Rép
1470 Aff

Qu'est-ce qu'un "polymorphisme à la carte" et comment puis-je en bénéficier?

Ouvert
Demandé el 25 de Novembre, 2012 par Grega Kešpret
Etiquettes :
Avatar de jakebman

70

5 Rép
11344 Aff

Les types de Haskell frustrant une simple fonction 'moyenne'

Résolu
Demandé el 4 de Mars, 2010 par jakebman
Etiquettes :
Avatar de Jérôme

72

5 Rép
3491 Aff

Scala double définition (2 méthodes ont le même type gomme)

Résolu
Demandé el 22 de Juillet, 2010 par Jérôme
Etiquettes :

Top Tags

Prograide.com

Prograide est une communauté de développeurs qui cherche à élargir la connaissance de la programmation au-delà de l'anglais.
Pour cela nous avons les plus grands doutes résolus en français et vous pouvez aussi poser vos propres questions ou résoudre celles des autres.

Powered by:

Yandex
X