There is a second type class which allows us to create randomly-generated functions.
Hay una segunda clase de tipos que nos permite crear funciones generadas aleatoriamente.
Let's see an example of a type class with two type arguments.
This can be achieved designing a singleton type class.
The higher the type class is rated, the higher the contribution will be.
Cuanto mayor sea la calificación de la clase de tipo, mayor será la contribución.
This chapter also gave an introduction to the notion of type class laws, a technique for proving properties about code which uses type classes for abstraction.
Este capítulo también ha presentado la noción de leyes de clases de tipos, una técnica para probar propiedades acerca del código que usa clases de tipos como forma de abstracción.
Constrained types can contain several type class instances, and the types of the instances are not restricted to simple type variables.
Los tipos restringidos pueden contener varias instancias de clases de tipos, y los tipos de las instancias no están limitados a simples variables de tipo.
It's not the case that a type class can only take a single type as an argument.
No es cierto que una clase de tipos pueda tomar un único tipo como argumento.
This allows us to define type class instances for the same stream type but different element types.
Esto permite definir instancias de clase de tipos para el mismo tipo de flujo pero con diferentes tipos de elementos.
This has certain advantages - we can partially apply functions, and give type class instances for function types - but it comes with a performance penalty.
Esto tiene varias ventajas; podemos aplicar funciones parcialmente y dar instancias de clase de tipos para los tipos de función, pero viene con un sobrecoste de rendimiento.
This is the most common case, but in fact, a type class can be parameterized by zero or more type arguments.
Es el caso más común, pero de hecho, una clase de tipos se puede parametrizar por cero o más argumentos de tipo.
A type class, indicated by the name of the class,
Una clase de tipos indicada por el nombre de la clase.
There are type class instances defined for the primitive types and arrays, and we can define our own instances as well.
Hay instancias de la clase de tipos definidas para los tipos primitivos y arrays, y podemos también definir nuestras propias instancias.
It is the type class that one thinks that it could become crazy suddenly and that it could leave the neck.
Es la clase de tipo que uno piensa que se podría volver loco de golpe y que podría partirte el cuello.