Questions programmation type-systems

Score Aff Date
Avatar de free_easy

2

1 Rép
131 Aff

Types dépendants

Résolu
Demandé el 22 de Mai, 2016 par free_easy
Etiquettes :
Photo de adelbertc

11

2 Rép
998 Aff

Scala - Renforcer la taille d'un vecteur au moment de la compilation

Résolu
Demandé el 7 de Février, 2013 par adelbertc
Etiquettes :
Avatar de pirix-gh

2

1 Rép
69 Aff

Est-il exact que `any[never]` est du type `any` ?

Résolu
Demandé el 8 de Juillet, 2019 par pirix-gh
Etiquettes :
Photo de zell

2

2 Rép
129 Aff

Fournir un système de type pour la spécification de l'analyseur/lecteur ?

Résolu
Demandé el 24 de Juillet, 2020 par zell
Etiquettes :
Avatar de edofic

2

1 Rép
165 Aff

Type scala 'extraction'.

Résolu
Demandé el 23 de Août, 2012 par edofic
Etiquettes :
Photo de Freewind

59

3 Rép
49593 Aff

Petits et bons projets scala pour apprendre scala - en particulier la programmation fonctionnelle et le système de type

Résolu
Demandé el 19 de Mars, 2012 par Freewind
Etiquettes :
Photo de keiter

35

1 Rép
1780 Aff

Pourquoi sélectionner les membres d'un type Scala avec un hachage au lieu d'un point ?

Résolu
Demandé el 13 de Juillet, 2011 par keiter
Etiquettes :
Photo de Norswap

57

2 Rép
867 Aff

Le système de type C # est-il solide et décidable?

Résolu
Demandé el 29 de Mai, 2014 par Norswap
Etiquettes :
Photo de JwameeQohwiye

40

1 Rép
487 Aff

Comment Haskell a-t-il ajouté la complétude de Turing au Système F ?

Résolu
Demandé el 12 de Août, 2014 par JwameeQohwiye
Etiquettes :
Photo de Curry

38

5 Rép
5784 Aff

Qu'est-ce qui rend le système de types de Haskell plus "puissant" que les systèmes de types d'autres langages?

Ouvert
Demandé el 24 de Septembre, 2010 par Curry
Etiquettes :
Photo de Joan Venge

34

11 Rép
1590 Aff

Pourquoi null existe-t-il dans .NET ?

Résolu
Demandé el 1 de Mars, 2011 par Joan Venge
Etiquettes :
Avatar de jpalecek

46

2 Rép
4506 Aff

Pourquoi est-PartialFunction <: Fonction dans Scala?

Ouvert
Demandé el 30 de Mai, 2009 par jpalecek
Etiquettes :
Avatar de dsg

52

4 Rép
1872 Aff

Qu'est-ce qu'une structure de données de type "somme et produit" ?

Résolu
Demandé el 6 de Mai, 2011 par dsg
Etiquettes :
Photo de TheIronKnuckle

43

2 Rép
1243 Aff

Les fonctions n'ont pas que des types: ce sont des types. Et des genres. Et trie. Aidez à reconstituer un esprit renversé

Résolu
Demandé el 31 de Janvier, 2012 par TheIronKnuckle
Etiquettes :
Avatar de StevenC

64

4 Rép
3118 Aff

Haskell type vs newtype à l'égard de la sécurité de type

Résolu
Demandé el 13 de Juin, 2009 par StevenC
Etiquettes :
Avatar de Stefan Schmidt

46

5 Rép
5664 Aff

Est Haskell vraiment un rôle purement fonctionnel de la langue considérant unsafePerformIO?

Résolu
Demandé el 26 de Juin, 2010 par Stefan Schmidt
Etiquettes :
Photo de Adrian

55

2 Rép
4075 Aff

Le système de types de Scala est complet au sens de Turing. Preuve ? Exemple ? Avantages ?

Résolu
Demandé el 28 de Octobre, 2010 par Adrian
Etiquettes :
Avatar de Zifre

57

5 Rép
4540 Aff

Pourquoi Haskell types de données algébriques "fermé"?

Résolu
Demandé el 15 de Mai, 2009 par Zifre
Etiquettes :
Avatar de Eli Schneider

53

5 Rép
4191 Aff

Inconvénients du système de types de Scala par rapport à Haskell ?

Résolu
Demandé el 11 de Septembre, 2010 par Eli Schneider
Etiquettes :
Avatar de Chris Taylor

70

3 Rép
2111 Aff

Quelle est la base théorique des types existentiels ?

Résolu
Demandé el 25 de Mai, 2012 par Chris Taylor
Etiquettes :
Photo de Edward Z. Yang

60

3 Rép
1954 Aff

Quelles sont les principales difficultés théoriques liées à l'ajout de modules de style ML à Haskell ?

Résolu
Demandé el 17 de Avril, 2011 par Edward Z. Yang
Etiquettes :
Photo de Alexey Romanov

67

3 Rép
1611 Aff

L'équivalent de Scala Hoogle ?

Résolu
Demandé el 20 de Mai, 2010 par Alexey Romanov
Etiquettes :
Photo de Łukasz Lew

63

3 Rép
2732 Aff

Quelles sont les différences et les similitudes entre les systèmes de types Scala et Haskell?

Résolu
Demandé el 29 de Novembre, 2009 par Łukasz Lew
Etiquettes :
Avatar de Freewind

136

4 Rép
2202 Aff

Que signifie l'opérateur `#` en Scala ?

Résolu
Demandé el 25 de Février, 2012 par Freewind
Etiquettes :
Photo de SHiNKiROU

65

1 Rép
3418 Aff

Haskell Weird Kinds : Le genre de (->) est ? ? -> ? -> *

Résolu
Demandé el 13 de Juin, 2010 par SHiNKiROU
Etiquettes :
Avatar de John F. Miller

84

4 Rép
2727 Aff

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

Résolu
Demandé el 9 de Mai, 2011 par John F. Miller
Etiquettes :
Photo de oxbow_lakes

136

1 Rép
5906 Aff

Qu'entend-on par les types dépendants du chemin d'accès de Scala ?

Résolu
Demandé el 22 de Avril, 2010 par oxbow_lakes
Etiquettes :
Photo de martingw

147

4 Rép
6702 Aff

Pourquoi y a-t-il "data" et "newtype" en Haskell ?

Résolu
Demandé el 15 de Avril, 2010 par martingw
Etiquettes :
Photo de ewggwegw

207

1 Rép
6367 Aff

Différence entre « données » et « newtype » en Haskell

Résolu
Demandé el 4 de Mai, 2011 par ewggwegw
Etiquettes :
Avatar de Claudiu

201

5 Rép
8343 Aff

Ce qui est un type existentiels ?

Résolu
Demandé el 15 de Novembre, 2008 par Claudiu
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