import gleam/io
pub fn main() {
io.debug(double(10))
}
fn double(a: Int) -> Int {
multiply(a, 2)
}
fn multiply(a: Int, b: Int) -> Int {
a * b
}
import gleam/io
pub fn main() {
io.debug(double(10))
}
fn double(a: Int) -> Int {
multiply(a, 2)
}
fn multiply(a: Int, b: Int) -> Int {
a * b
}
Los atributos del módulo son metadatos que describen el módulo en sí. ¿Dónde podemos encontrar estos metadatos cuando no tenemos acceso a la fuente? Bueno, al compilar un módulo, recogerá la mayoría de los atributos del módulo y los almacenará (junto con otra información) en una función module_info/0. Puedes ver los metadatos del módulo useless de la siguiente manera:
9> useless:module_info().
[{exports,[{add,2},
{hello,0},
{greet_and_add_two,1},
{module_info,0},
{module_info,1}]},
{imports,[]},
{attributes,[{vsn,[174839656007867314473085021121413256129]}]},
{compile,[{options,[]},
{version,"4.6.2"},
{time,{2009,9,9,22,15,50}},
{source,"/home/ferd/learn-you-some-erlang/useless.erl"}]}]
10> useless:module_info(attributes).
[{vsn,[174839656007867314473085021121413256129]}]
El fragmento anterior también muestra una función adicional, module_info/1, que le permitirá obtener una información específica. Puede ver funciones exportadas, funciones importadas, atributos (aquí es donde irían sus metadatos personalizados) y opciones e información.
vsn es un valor único generado automáticamente que es diferente en cada versión del código, excluyendo los comentarios. Se utiliza en la carga en caliente de código (actualización de una aplicación mientras se ejecuta, sin detenerla) y en algunas herramientas relacionadas con el manejo de versiones. También podemos especificar un valor vsn: simplemente agregando -vsn(VersionNumber) al módulo.
Otro punto que sería bueno abordar con respecto al diseño general del módulo: ¡evite las dependencias circulares! Un módulo A no debe llamar a un módulo B que también llama al módulo A. Estas dependencias suelen terminar dificultando el mantenimiento del código. De hecho, depender de demasiados módulos, incluso si no están en una dependencia circular, puede dificultar el mantenimiento. Lo último que desea es despertarse en medio de la noche y encontrar a un ingeniero de software o informático maníaco tratando de arrancarle los ojos debido al terrible código que ha escrito.
Por motivos similares (mantenimiento y miedo a la vista), suele considerarse una buena práctica reagrupar funciones que tienen funcionamiento similar.
import gleam/io
const ints: List(Int) = [1, 2, 3]
const floats = [1.0, 2.0, 3.0]
pub fn main() {
io.debug(ints)
io.debug(ints == [1, 2, 3])
io.debug(floats)
io.debug(floats == [1.0, 2.0, 3.0])
}
Y el resultado será:
[1, 2, 3]
True
[1, 2, 3]
True
Además de permitir tareas, Gleam también tiene constantes, que se definen en el nivel superior de un módulo.
Las constantes deben ser valores literales, no se pueden utilizar funciones en sus definiciones.
Las constantes pueden ser útiles para los valores que se utilizan en todo el programa, ya que permiten nombrarlos y garantizar que no haya diferencias en la definición entre cada uso.
Usar una constante puede ser más eficiente que crear el mismo valor en múltiples funciones, aunque las características de rendimiento exactas dependerán del tiempo de ejecución y de si se compila en Erlang o JavaScript.
Si compilamos el modulo se genera un '.beam' significa Erlang Abstract Machine de Bogdan/Björn, que es la propia VM. Existen otras máquinas virtuales para Erlang, pero ya no se usan y son historia: JAM (Joe's Abstract Machine, inspirada en WAM de Prolog y el antiguo BEAM, que intentó compilar Erlang en C y luego en código nativo. Las pruebas comparativas demostraron pocos beneficios en esta práctica y se abandonó el concepto.
Existen una gran cantidad de indicadores de compilación para tener más control sobre cómo se compila un módulo. Podemos obtener una lista de todos ellos en la documentación de Erlang. Las banderas más comunes son:
-debug_info
Las herramientas de Erlang, como los depuradores, la cobertura de código y las herramientas de análisis estático, utilizarán la información de depuración de un módulo para realizar su trabajo.
-{outdir,Dir}
De forma predeterminada, el compilador de Erlang creará los archivos 'beam' en el directorio actual. Esto le permitirá elegir dónde colocar el archivo compilado.
-export_all
Ignorará el atributo del módulo -export y en su lugar exportará todas las funciones definidas. Esto es principalmente útil al probar y desarrollar código nuevo, pero no debe usarse en producción.
-{d,Macro} o {d,Macro,Valor}
Define una macro que se utilizará en el módulo, donde Macro es un átomo. Esto se usa con más frecuencia cuando se realizan pruebas unitarias, lo que garantiza que un módulo solo tendrá sus funciones de prueba creadas y exportadas cuando se deseen explícitamente. De forma predeterminada, el valor es "verdadero" si no está definido como el tercer elemento de la tupla.
La compilación de código nativo no está disponible para todas las plataformas y sistemas operativos, pero en aquellos que lo admiten, puede hacer que sus programas vayan más rápido (aproximadamente un 20% más rápido, según evidencia anecdótica). Para compilar en código nativo, necesita usar el módulo hipe y llamarlo de la siguiente manera: hipe:c(Module,OptionsList). También puedes usar c(Módulo,[nativo]). cuando está en el caparazón para lograr resultados similares. Tenga en cuenta que el archivo .beam generado contendrá código nativo y no nativo, y la parte nativa no será portátil entre plataformas.
pub fn main() {
let ints = [1, 2, 3]
io.debug(ints)
// Immutably prepend
io.debug([-1, 0, ..ints])
// Uncomment this to see the error
// io.debug(["zero", ..ints])
// The original lists are unchanged
io.debug(ints)
}
Las listas son colecciones ordenadas de valores.
La lista es un tipo genérico y tiene un parámetro de tipo para el tipo de valores que contiene. Una lista de enteros tiene el tipo List(Int) y una lista de cadenas tiene el tipo List(String).
Las listas son listas inmutables de enlace único, lo que significa que son muy eficientes para agregar y eliminar elementos del principio de la lista.
Contar la longitud de una lista u obtener elementos de otras posiciones en la lista es costoso y rara vez se hace. Es raro escribir algoritmos que indexen secuencias en Gleam, pero cuando se escriben, una lista no es la elección correcta de estructura de datos.
Actualmente existe una gran variedad de atributos de módulo utilizados en el código Erlang en todo el mundo; de hecho, incluso puedes declarar tus propios atributos para lo que quieras. Hay algunos atributos predefinidos que aparecerán con más frecuencia que otros en el código. Todos los atributos del módulo siguen el formato -Name(Attribute). Sólo uno de ellos es necesario para que su módulo sea compilable:
-module(Name).
Este es siempre el primer atributo (y declaración) de un archivo, y por una buena razón: es el nombre del módulo actual, donde Nombre es un átomo. Este es el nombre que usará para llamar funciones de otros módulos. Las llamadas se realizan con la forma M:F(A), donde M es el nombre del módulo, F la función y A los argumentos.
¡Ya es hora de codificar! Nuestro primer módulo será muy simple e inútil. Abra su editor de texto y escriba lo siguiente, luego guárdelo en useless.erl:
-module(useless).
Esta línea de texto es un módulo válido. Por supuesto que es inútil sin funciones. Primero decidamos qué funciones se exportarán desde nuestro módulo 'useless'. Para ello usaremos otro atributo:
-export([Función1/Aridad, Función2/Aridad, ..., FunciónN/Aridad]).
Esto se utiliza para definir qué funciones de un módulo pueden ser invocadas por el mundo exterior. Se necesita una lista de funciones con su respectiva aridad. La aridad de una función es un número entero que representa cuántos argumentos se pueden pasar a la función. Esta es información crítica, porque diferentes funciones definidas dentro de un módulo pueden compartir el mismo nombre si y sólo si tienen una aridad diferente. Por lo tanto, las funciones agregar(X,Y) y agregar(X,Y,Z) se considerarían diferentes y se escribirían en la forma agregar/2 y agregar/3 respectivamente.
Nota: Las funciones exportadas representan la interfaz de un módulo. Es importante definir una interfaz que revele estrictamente lo necesario para su uso y nada más. Hacerlo le permite jugar con todos los demás detalles de implementación sin romper el código que podría depender del módulo.
Nuestro módulo inútil primero exportará una función útil llamada 'agregar', que tomará dos argumentos. Se puede agregar el siguiente atributo -export después de la declaración del módulo:
-export([add/2]).
Y ahora escribe la función:
add(A,B) ->
A + B.
La sintaxis de una función sigue la forma Nombre(Args) -> Cuerpo, donde Nombre tiene que ser un átomo y Cuerpo puede ser una o más expresiones de Erlang separadas por comas. La función finaliza con un punto. Tenga en cuenta que Erlang no utiliza la palabra clave "retorno". En cambio, la última expresión lógica de una función que se ejecutará devolverá su valor.
El código Erlang se compila en código de bytes para poder ser utilizado por la máquina virtual. Puede llamar al compilador desde muchos lugares: $ erlc marca file.erl cuando está en la línea de comando, compile:file(FileName) cuando está en el shell o en un módulo, c() cuando está en el shell, etc.
Es hora de compilar nuestro módulo inútil y probarlo. Abra el shell de Erlang, escriba:
1> cd("/path/to/where/you/saved/the-module/").
"Path Name to the directory you are in"
ok
De forma predeterminada, el shell solo buscará archivos en el mismo directorio en el que se inició y en la biblioteca estándar: cd/1 es una función definida exclusivamente para el shell Erlang, que le indica que cambie el directorio a uno nuevo para que sea menos molesto. para buscar nuestros archivos. Los usuarios de Windows deben recordar utilizar barras diagonales. Cuando haya terminado, haga lo siguiente:
2> c(useless).
{ok,useless}
Si tiene otro mensaje, asegúrese de que el archivo tenga el nombre correcto, que esté en el directorio correcto y que no haya cometido ningún error en su módulo. Una vez que haya compilado el código con éxito, notará que se agregó un archivo useless.beam junto a useless.erl en su directorio. Este es el módulo compilado. Probemos nuestras primeras funciones:
3> useless:add(7,2).
9
4> useless:not_a_real_function().
** exception error: undefined function useless:not_a_real_function/0
La función funciona como se esperaba. Las funciones y expresiones de Erlang siempre deben devolver algo, incluso si no fuera necesario en otros lenguaje.
La expresión 2 muestra un error que se genera porque una función no existe. Si olvidó exportar una función, este es el tipo de mensaje de error que recibirá al probarla.
Recibi este mail y lo quería compartir con ustedes:
|
Para eso están los módulos. Los módulos son un conjunto de funciones reagrupadas en un único archivo, bajo un único nombre. Además, todas las funciones en Erlang deben definirse en módulos.
Los BIF del módulo erlang se diferencian de otras funciones en que se importan automáticamente cuando usa Erlang. Cualquier otra función definida en un módulo que vaya a utilizar debe llamarse con el formato Módulo:Función(Argumentos).
Puedes verlo por ti mismo:
1> erlang:element(2, {a,b,c}).
b
2> element(2, {a,b,c}).
b
3> lists:seq(1,4).
[1,2,3,4]
4> seq(1,4).
** exception error: undefined shell command seq/2
Aquí, la función seq del módulo de lista no se importó automáticamente, mientras que el element sí. El error 'exception error: undefined shell command seq/2' proviene de que el shell busca un comando de shell como f() y no puede encontrarlo. Hay algunas funciones del módulo erlang que no se importan automáticamente, pero no se usan con demasiada frecuencia.
Lógicamente, deberías poner funciones sobre cosas similares dentro de un solo módulo. Las operaciones comunes en listas se mantienen en el módulo de listas, mientras que las funciones para realizar entradas y salidas (como escribir en la terminal o en un archivo) se reagrupan en el módulo io. Uno de los únicos módulos que encontrará que no respeta ese patrón es el módulo erlang antes mencionado que tiene funciones que hacen matemáticas, conversiones, tratan con multiprocesamiento, modifican la configuración de la máquina virtual, etc. No tienen ningún punto en común excepto ser funciones integradas. Debes evitar la creación de módulos como erlang y, en su lugar, centrarte en separaciones lógicas limpias.
pub fn main() {
let fahrenheit = {
let degrees = 64
degrees
}
// io.debug(degrees) // <- This will not compile
// Changing order of evaluation
let celsius = { fahrenheit - 32 } * 5 / 9
io.debug(celsius)
}
Los bloques son una o más expresiones agrupadas entre llaves. Cada expresión se evalúa en orden y se devuelve el valor de la última expresión.
Cualquier variable asignada dentro del bloque solo se puede utilizar dentro del bloque.
Los bloques { } también se pueden utilizar para cambiar el orden de evaluación de expresiones de operadores binarios.
* se resuelve antes que + por lo que la expresión 1 + 2 * 3 se evalúa como 7. Si 1 + 2 debe evaluarse primero para que la expresión se evalúe como 9, entonces la expresión se puede envolver en un bloque: { 1 + 2 } * 3. Esto es similar a agrupar entre paréntesis en otros lenguajes.
pub type UserId = Int
pub fn main() {
let one: UserId = 1
let two: Int = 2
// UserId and Int are the same type
io.debug(one == two)
}
Se puede utilizar un alias de tipo para hacer referencia a un tipo con un nombre diferente. Darle un alias a un tipo no crea un nuevo tipo, sigue siendo el mismo tipo.
El nombre de un tipo siempre comienza con una letra mayúscula, a diferencia de las variables y funciones, que comienzan con una letra minúscula.
Cuando se utiliza la palabra clave pub, el alias de tipo es público y otros módulos pueden hacer referencia a él.
let _name: String = "Gleam"
let _is_cool: Bool = True
let _version: Int = 1
}
let se pueden escribir con una anotación de tipo después del nombre.
Las anotaciones de tipo pueden ser útiles para fines de documentación, pero no cambian la forma en que Gleam verifica el código más allá de garantizar que la anotación sea correcta.
Normalmente, el código Gleam no tendrá anotaciones de tipo para las asignaciones.
1> [ X || <<X>> <= <<1,2,3,4,5>>, X rem 2 == 0].
[2,4]
El único cambio en la sintaxis con respecto a las listas por comprensión normales es <- que se convirtió en <= y usa binarios (<<>>) en lugar de listas ([]). Anteriormente vimos un ejemplo en el que había un valor binario de muchos píxeles en el que utilizamos la coincidencia de patrones para capturar los valores RGB de cada píxel. Estaba bien, pero en estructuras más grandes, posiblemente sería más difícil de leer y mantener. El mismo ejercicio se puede hacer con una comprensión binaria de una línea, que es mucho más clara:
2> Pixels = <<213,45,132,64,76,32,76,0,0,234,32,15>>.
<<213,45,132,64,76,32,76,0,0,234,32,15>>
3> RGB = [ {R,G,B} || <<R:8,G:8,B:8>> <= Pixels ].
[{213,45,132},{64,76,32},{76,0,0},{234,32,15}]
Cambiando <- a <= usemos un flujo binario como generador. La comprensión binaria completa básicamente cambió los datos binarios a números enteros dentro de tuplas. Existe otra sintaxis de comprensión binaria que le permite hacer exactamente lo contrario:
4> << <<R:8, G:8, B:8>> || {R,G,B} <- RGB >>.
<<213,45,132,64,76,32,76,0,0,234,32,15>>
Los elementos del binario resultante requieren un tamaño claramente definido si el generador devolvió binarios:
5> << <<Bin>> || Bin <- [<<3,7,5,4,7>>] >>.
** exception error: bad argument
6> << <<Bin/binary>> || Bin <- [<<3,7,5,4,7>>] >>.
<<3,7,5,4,7>>
También es posible tener una comprensión binaria con un generador binario, siempre que se respete la regla de tamaño fijo anterior:
7> << <<(X+1)/integer>> || <<X>> <= <<3,7,5,4,7>> >>.
<<4,8,6,5,8>>
// This variable is never used
let _score = 1000
}
vector<string> v;
map<string, int> m;
copy(istream_iterator<string>(ifstream("words.txt")), istream_iterator<string>(), back_inserter(v));
for (auto vi = v.begin(); vi != v.end(); ++vi) ++m[*vi];
for (auto mi = m.begin(); mi != m.end(); ++mi)
cout << mi->first << ": " << mi->second << endl;
Y listo!