OCaml: ¿Por qué usar tipos de datos personalizados?
¿Por qué utilizamos tipos de datos personalizados como: type vegetables = (string * classification) ¿Puedo usarlo? ¿Puedo crear una lista de vegetables?
Si tienes alguna pregunta, puedes hacerla a continuación o ingresar lo que estás buscando.
¿Por qué utilizamos tipos de datos personalizados como: type vegetables = (string * classification) ¿Puedo usarlo? ¿Puedo crear una lista de vegetables?
El mejor código es aquel que no existe, y en ese sentido, Haskell tiene un gran soporte para derivar implementaciones (que se volvió aún mejor con deriving via). {-# LANGUAGE DeriveTraversable #-} {-# LANGUAGE KindSignatures, PolyKinds #-} import Data.Kind (Type) data NTree (a :: Type) = NLeaf a | NNode . . . Read more
Supongamos que tengo un montón de declaraciones let…in anidadas. Me di cuenta de que si tengo (* un montón de let… in arriba *) let test = expr1 in (* un montón de let … in abajo *) obtengo este Error (advertencia 26): variable no utilizada test, sin embargo, cuando . . . Read more
Estoy tratando de generar LLVM ir, y actualmente tengo esto: let fill_structs = StringMap.iter (fun k v -> L.struct_set_body k v false ) structs (* más declaraciones let…in *) El mensaje de error que estoy obteniendo es sobre mi ‘k’ que paso a L.struct_set_body. StringMap.key This expression has type string . . . Read more
Estoy viendo un compilador escrito para una versión extremadamente simplificada de C. Soy nuevo en OCaml y estoy especialmente confundido acerca de esta estructura. let check (globals, functions) = (* Un montón de cosas abstraídas *) let check_function … …. (* Un montón de cosas abstraídas *) in (globals, List.map . . . Read more