Posts

Showing posts from December 10, 2018

SMP Racing

Image
Cet article est une ébauche concernant le sport automobile et l’endurance automobile. Vous pouvez partager vos connaissances en l’améliorant ( comment ? ) selon les recommandations des projets correspondants. .mw-parser-output .entete.sport-automobile{background-image:url("//upload.wikimedia.org/wikipedia/commons/a/af/Picto_infobox_sport_auto.png")} SMP Racing Caractéristiques Caractéristiques de l'écurie Localisation Moscou Dirigeants et pilotes Président Boris Rotenberg Directeur Dmitry Belousov Team Manager Sébastien Philippe Directeur technique Gaëtan Jego Pilotes WEC : Mikhaïl Aleshin Vitaly Petrov Jenson Button Stéphane Sarrazin Egor Orudzhev Matevos Isaakyan ELMS : Viktor Shaytar  (en) Caractéristiques techniques Châssis BR Engineering BR1 (WEC LMP1) Dallara P217 (ELMS LMP2) Moteurs Advanced Engine Research (WEC LMP1) Gibson (ELMS LMP2) Pneumatiques Michelin (WEC LMP1)

Scala type mismatch when composing traits

Image
up vote 0 down vote favorite I am trying to compute some types that I later need to refer to. I am trying to achieve this by storing the types in type members. Here's an example: trait TypeClass[A] { def op(x: A): A } object TypeClass { implicit object FloatIsTypeClass extends TypeClass[Float] { override def op(x: Float) = x } implicit object DoubleIsTypeClass extends TypeClass[Double] { override def op(x: Double) = x } } object TraitBounds { trait Types1 { type Member1 val cls1: TypeClass[Member1] } class Types1Impl[A](implicit ev: TypeClass[A]) extends Types1 { type Member1 = A override val cls1 = ev } trait Types2 { type Member2 val cls2: TypeClass[Member2] } class Types2Impl[A