Tag: TYPECLASS
Estoy ejecutando composer update en un proyecto que requiere ext-http en el archivo composer.json y obtengo este error. Advertencia de PHP: inicio de PHP: no se pudo cargar la biblioteca dinámica ‘http’ (intenté: ext\http (No fue posible encontrar el módulo especificado), ext\php_http.dll (No fue posible encontrar el módulo especificado) ) . . . Read more
Antes, devolvía tipos concretos desde un rasgo, pero nunca desde un objeto compañero de un rasgo y no pude encontrar un ejemplo de mi escenario exacto en línea. Por favor, siéntase libre de indicarme si esto es un duplicado. Tengo este rasgo: trait Problem[T <: ProblemInput] { // utiliza el . . . Read more
Tengo una declaración de tipo de función: f :: MonadHandler m => SqlPersistT m () Que quiero convertir a: f :: MonadHandlerDB m => m () Intento todo lo que se me ocurre para definir la restricción MonadHandlerDB, pero no logro hacer que tanto eso como la declaración de tipo . . . Read more
En Haskell puedo hacer algo como: {-# LANGUAGE FlexibleInstances, FlexibleContexts #-} class C a where c :: a -> a instance C (f Integer) where c = id Como se ve, la instancia de C es polimórfica, pero solo en el constructor de tipo y no en el parámetro de . . . Read more
Soy un traductor de español que traduce documentos de TI. Traduzca lo siguiente al español. No traduzca el código y la salida con markdown. Soy nuevo en Coq y me preguntaba cuál es la diferencia entre las siguientes cosas: Clase prueba (f g: nat – & gt; nat): = { . . . Read more