Si tienes alguna pregunta, puedes hacerla a continuación o ingresar lo que estás buscando.
Dada la siguiente definición de un Término: data Term = Var String | Application Term Term | Lambda String Term ¿Cómo puedo extraer las variables libres del término en una lista? Estoy trabajando con esta definición para la expresión: findVariables :: Term -> [String] Hasta ahora tengo esto: findVariables (Lambda . . . Read more
¿Por qué se llama “bracket” a la función “bracket”? Supongo que tiene que ver con la sintaxis de “type signature”; los corchetes se utilizan en la “type signature” para denotar una función. Veamos la “type signature” de la función “map”: map :: (a -> b) -> [a] -> [b] El . . . Read more
Estoy usando Servant generic y tengo un tipo de dato para mis rutas: data Routes route = Routes { getLiveness :: route :- GetLiveness, getReadiness :: route :- GetReadiness, getAuthVerifyEmailToken :: route :- GetAuthVerifyEmailToken, postAuthEmail :: route :- PostAuthEmail, … } deriving (Generic) type BackendPrefix = “backend” type AuthPrefix = . . . Read more
Estoy intentando instalar ghcup en Ubuntu con: curl –proto ‘=https’ –tlsv1.2 -sSf https://get-ghcup.haskell.org | sh usando las opciones predeterminadas (agregar al .bashrc, no instalar HLS, no instalar Stack). El problema es que estoy recibiendo un error de “permiso denegado” cuando el script intenta escribir el archivo ghcup-0.0.6.yaml.tmp en el directorio . . . Read more
En este momento estoy trabajando en un programa que elimina todo excepto la letra “a” en un elemento de texto solo como un problema de práctica, aquí está mi código. {-# LANGUAGE OverloadedStrings #-} import qualified Data.Char as C import qualified Data.Text as T removeNonAs :: T.Text -> T.Text removeNonAs . . . Read more