Resultados de la búsqueda a petición "type-parameter"
Scala: evidencia implícita para la clase con parámetro de tipo
Aquí hay una configuración simple con dos rasgos, una clase con un parámetro de tipo covariante limitado por los rasgos anteriores y una segunda clase con un...
Manejo de clases inherentes a la clase abstracta y al parámetro de tipo
Tengo una clase abstracta base y su parámetro de tipo abstracto como: public abstract class Database<T> where T : DatabaseItem, new() { protected List<T> _items = new List<T> (); protected virtual void Read (string[] cols) { T item = new T (); ...
Tipos abstractos versus parámetros de tipo
¿En qué situaciones deberían preferirse los tipos abstractos sobre los parámetros de tipo?
Cómo "extraer" el parámetro de tipo para instanciar otra clase
El siguiente código Scala funciona: object ReducerTestMain extends App { type MapOutput = KeyVal[String, Int] def mapFun(s:String): MapOutput = KeyVal(s, 1) val red = new ReducerComponent[String, Int]((a: Int, b: Int) => a + b) val data ...
F # A un parámetro de tipo le falta una restricción
Estoy tratando de definir un operador de suma genérico para una clase de contenedor. Hasta ahora tengo esto: (simplificado del código real) type Wrap<'a> = | Wrap of 'a static member inline (+) (Wrap x, Wrap y) = Wrap (x + y) let inline addSelf ...
¿Advertencia sobre un argumento de tipo no verificado en esta coincidencia de patrón Scala?
Este archivo object Test extends App { val obj = List(1,2,3) : Object val res = obj match { case Seq(1,2,3) => "first" case _ => "other" } println(res) } Da esta advertencia: Test.scala:6: warning: non variable type-argument A in type pattern ...
Sintaxis de tipo Scala
He observado que, si quiero hacer una función genérica que pueda aceptar una lista de cualquier tipo y devolver un valor booleano, puedo usar la siguiente sintaxis para una declaración de función: def someFunction[A](l:List[A]):BooleanSin ...
Comprender los parámetros de tipo en Scala
Estoy tratando de entender los parámetros de tipo en Scala. Veamos el siguiente ejemplo general: def func1[T](a : T) : T = aEntiendo que func1 toma 1 parámetro de cualquier tipo y devuelve ese parámetro del mismo tipo. Lo que no entiendo es por ...
Exponer un tipo dependiente de la ruta proveniente de un tipo singleton
Estoy tratando de hacer que Scala encuentre el tipo correcto para un tipo dependiente de la ruta que proviene de un tipo singleton. Primero, aquí está el contenedor de tipo para el ejemplo, y una instancia: trait Container { type X def get(): ...
Escribir tipo de datos algebraicos en Scala
En Haskell, puedo definir unTree: data Tree a = Empty | Node a (Tree a) (Tree a) ¿Cómo podría escribir esto en Scala? No estoy seguro de cómo mantener el parámetro de tipo[A] en Scala paraNode para que coincidaTreetipo dea.