structural-typing

0La chaleur

1Répondre

Est-il possible d'accepter un extracteur arbitraire comme argument de méthode?

Je souhaite réutiliser des extracteurs existants et les composer. A => Option[B] correspond parfaitement à B => Option[C]. Mais je suis confus, comment pourrais-je exprimer une telle relation dans le

scala type-parameter extractor structural-typing 2016-12-30

---

2La chaleur

1Répondre

Scala type structural avec la méthode où seuls quelques params sont connus

Étant donné ce code: object Testy extends App { case class Person( id: Option[Long], firstName: String, lastName: String, address: Address) case class Ad

scala structural-typing 2016-01-18

---

0La chaleur

1Répondre

La classe typée readonly typée ne se heurte pas à la classe typographique régulière si la structure est la même

Je sais que le typecript a un mécanisme de typage structurel. Je me attends cependant, que si vous avez une classe comme ceci: et celui défini comme ceci: class ReadonlyCountry { readonly id: str

typescript structural-typing 2017-01-09

---

2La chaleur

1Répondre

Pourquoi cet accès aux membres de type statique pense-t-il que c'est un getter?

rvm est un objet, pas une fonction. Pourquoi la contrainte (^b:(member ReportSubTitle:(String -> unit)) rvm) apparaît-elle en tant que getter au lieu d'un setter? Est-ce un problème Tooltip ou autre c

f# duck-typing structural-typing 2015-08-03

---

1La chaleur

1Répondre

Appliquer la méthode utilisée dans le type [Scala]

Je parcourais le code Scala et j'ai trouvé que la méthode apply est également utilisée dans type. Exemple: type Common = { def apply: {val func: {} => {val a: A}; val c: C} => {val b: B} } Qu'

scala apply structural-typing 2017-04-14

---

0La chaleur

1Répondre

GO - Comment fonctionne une méthode implicite?

Dans GO, je l'ai appris, 1) programmeur ne peut définir des méthodes sur les types nommés (X) ou pointeur (*X) aux types nommés 2) Une définition de méthode explicite pour le type X définit implicitem

pointers go methods structural-typing 2017-01-29

---

1La chaleur

3Répondre

Comment définir le type structurel que la méthode renvoie cette

J'ai un nombre de Builder s qui provient de la bibliothèque dont le code source est généré automatiquement en Java et au-delà de mon contrôle. Ces Builder ne sont pas liés les uns aux autres, mais ils

java scala structural-typing 2016-02-24

---

2La chaleur

1Répondre

Est-ce que le sous-typage structurel du flux "oublie" des propriétés de sous-types spécifiques?

J'étudie actuellement le typage structurel. Je suis sceptique quant à l'idée que deux types sont considérés comme équivalents simplement parce qu'ils ont une partie de leur structure en commun. Cela r

javascript types flowtype static-typing structural-typing 2017-09-13

---

2La chaleur

1Répondre

La perte d'information du flux est-elle associée au sous-typage structurel inhérent à ce type de polymorphisme?

sous-typage structurel en flux peut entraîner une perte d'information: type O = {x: number, y: number}; type P = {x: number, y: number, z: number} function f(o: O) { return o.x * 2, o.y * 2, o

javascript polymorphism flowtype subtyping structural-typing 2017-09-14

---