type-systems

0La chaleur

1Répondre

Abstraction empêchant l'utilisation de types personnalisés, quelles sont les règles à suivre dans une implémentation?

J'ai construit un système de types personnalisé à utiliser dans les scripts C# dans une application. Les scripts sont compilés à la volée et permettent l'interaction avec les données internes de l'app

c# design implementation base-class type-systems 2010-11-01

---

2La chaleur

2Répondre

Paramètres .NET Types de fichiers disponibles

Lors de la modification d'un fichier de paramètres .NET, plusieurs types sont proposés pour un paramètre. Cependant, tous les types accessibles par mon projet n'apparaissent pas, même dans la fenêtre

.net settings type-systems settings.settings 2010-07-29

---

3La chaleur

4Répondre

Comment les types F # personnalisés correspondent-ils aux types CLR?

Je ne sais pas si le titre de la question est clair mais je me demande les types réels de types F # personnalisés. Comme dans C#, il existe des types de valeurs et des types de références. Pour F #, e

c# f# type-systems 2010-09-18

---

2La chaleur

7Répondre

Typedefs et la spécialisation du modèle

Tenir compte de ce code: typedef int type1; typedef int type2; template <typename> struct some_trait; template <> struct some_trait<type1> { static const int something=1; }; template <

c++ templates typedef type-systems template-specialization 2010-08-05

---

3La chaleur

3Répondre

Comment obtenir la classe de _: Any

J'ai encapsulé un message et j'aimerais enregistrer le message que j'ai enveloppé. val any :Any = msg.wrappedMsg var result :Class[_] = null La seule solution que je pouvais trouver est tout assort

class scala types scala-2.8 type-systems 2010-06-29

---

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

haskell types typeclass type-systems functional-dependencies 2010-11-25

---

9La chaleur

2Répondre

Est-ce que D a 'newtype'?

Est-ce que D a 'newtype' (comme dans Haskell). C'est une question naïve, car je ne fais que passer par-dessus D, mais Google n'a rien trouvé d'utile. Dans Haskell, il s'agit d'une manière de distingue

haskell types d type-systems 2010-08-26

---

5La chaleur

1Répondre

RankNTypes pour les déclarations d'instance?

J'ai récemment joué avec RankNTypes et je me demande s'il est possible de les utiliser dans les déclarations d'instance. Voici un exemple simple en utilisant des types de données ouvertes data (Expr a

haskell types type-systems higher-rank-types 2010-10-18

---

4La chaleur

2Répondre

F fonctions # type et un [<GeneralizableValue>] attribut

Quelle est la différence entre ces deux F fonctions # type: let defaultInstance1<'a when 'a:(new: unit->'a)> = new 'a() [<GeneralizableValue>] let defaultInstance2<'a when 'a:(new: unit->'a)> = new

generics f# attributes type-systems 2010-10-18

---

50La chaleur

2Répondre

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

Certains prétendent que le système de type Scala est complet à Turing. Mes questions sont: Y at-il une preuve formelle pour cela? A quoi ressemblerait un calcul simple dans le système de type Scala? E

language-agnostic scala type-systems turing-complete 2010-10-28

---