Translate
jueves, 23 de abril de 2020
miércoles, 22 de abril de 2020
Elementos básicos en Haskell, Parte 2
Veamos algunos elementos más básicos (y no tan básicos) de Haskell a través de la comparación con otros lenguajes. No entraremos en detalles sobre las construcciones de Haskell, solo mostraremos las similitudes con las construcciones de los lenguajes que podamos conocer.
En JavaScript, las funciones suelen ser bloques de código:
function roots(a,b,c) {
det2 = b*b-4*a*c;
det = sqrt(det2);
rootp = (-b + det)/a/2;
rootm = (-b - det)/a/2;
return [rootm,rootp]
}
En JavaScript, las funciones suelen ser bloques de código:
function roots(a,b,c) {
det2 = b*b-4*a*c;
det = sqrt(det2);
rootp = (-b + det)/a/2;
rootm = (-b - det)/a/2;
return [rootm,rootp]
}
En Haskell, escribiríamos esta función de la siguiente manera:
roots a b c =
let
det2 = b*b-4*a*c;
det = sqrt(det2);
rootp = (-b + det)/a/2;
rootm = (-b - det)/a/2;
in
[rootm,rootp]
Tenga en cuenta que la construcción let ... in ... es una expresión, por lo que devuelve un valor. Por eso no hay necesidad de una palabra clave de return.
En Python podríamos escribir una función con una condición como esta:
def max(x,y):
if x > y:
return x
else:
return y
Por supuesto, Haskell también tiene una construcción if-then:
max x y =
if x > y
then x
else y
Una vez más, la construcción if ... then ... else ... es una expresión, por lo que devuelve un valor.
Muchos lenguajes proporcionan una declaración de caso para condiciones con más de dos opciones. Por ejemplo, Ruby proporciona una expresión de caso:
Red = 1
Blue = 2
Yellow = 3
color = set_color();
action = case color
when Red then action1()
when Blue then action2()
when Yellow then action3()
end
En Haskell, el caso funciona y se ve similar:
data Color = Red | Blue | Yellow
color = set_color
action = case color of
Red -> action1
Blue -> action2
Yellow -> action3
Sin embargo, tenga en cuenta cómo usamos el tipo como el valor para decidir el caso, donde en otros lenguajes necesitamos definir algún tipo de enumeración.
En Java y C ++ hay tipos de datos genéricos (también conocidos como tipos de plantillas, generic o template en ingles), como:
Map<String,Integer> set = new HashMap<String,Integer>();
En Haskell, escribirías esto de la siguiente manera:
set :: Data.Map.Map String Integer
set = Data.Map.empty
La principal diferencia es, por supuesto, que el conjunto en Haskell no es un objeto sino una variable inmutable, por lo que en Java haríamos :
set.put("Answer",42)
En Haskell haríamos :
set' = Data.Map.insert "Answer" 42 set
Debido a que en Haskell las variables son inmutables, el valor de retorno de la llamada de inserción está vinculado a una nueva variable en lugar de actualizar la variable en su lugar como en Java.
domingo, 19 de abril de 2020
MiniKanren
Si hablamos de programación lógica siempre pensamos en Prolog. Pero existen otros lengujes lógicos, como MiniKanren que es un lenguaje embebido en Clojure.
miniKanren es un DSL (Domain Specific Language) para la programación logica.
miniKanren es muy simple, con sólo tres operadores lógicos y un operador de interfaz.
La primera implementación fue en scheme, pero ahora existen implementaciones en diferentes lenguajes y tecnologías como Racket, Clojure, Haskell, Python, JavaScript, Scala, Ruby, OCaml, PHP y algunos más.
De igual manera que prolog, esta centrado en reglas y constraits.
En este post vamos a utilizar la implementación de Clojure, MiniKanren se encuentra en core.logic, para poder usarlo debemos tener una jdk y Leiningen.
Para crear un proyecto debemos utilizar Leiningen de la siguiente manera:
lein new logical
Con esta instrucción podemos crear un proyecto.
Ahora debemos agregar las dependencias:
(defproject logical "0.1.0-SNAPSHOT"
:dependencies [[org.clojure/clojure "1.5.1"]
[org.clojure/core.logic "0.8.5"]])
core.logic es donde se encuentra MiniKanren.
Ahora cuando lancemos el relp se levantará miniKanren:
$ lein repl
nREPL server started on port 48235 on host 127.0.0.1
REPL-y 0.3.0
Clojure 1.5.1
Docs: (doc function-name-here)
(find-doc "part-of-name-here")
Source: (source function-name-here)
Javadoc: (javadoc java-object-or-class-here)
Exit: Control+D or (exit) or (quit)
Results: Stored in vars *1, *2, *3, an exception in *e
user=> (use 'clojure.core.logic)
WARNING: == already refers to: #'clojure.core/== in namespace: user, being
replaced by: #'clojure.core.logic/==
nil
user=>
Ahora podemos empezar con el relp de MiniKanren, veamos un ejemplo :
user=> (run* [q] (== q 1))
(1)
En el ejemplo corremos el programa con run* que permite correr programas logicos y retorna un conjunto de soluciones. q es una variable logica. Y el programa contiene la siguiente expresión :
(== q 1)
Dicha expresión es unification, que se puede ver como pattern matching. Este programa devuelve 1 dado que q va valer 1 para que esto sea verdadero.
Le está pidiendo al lenguaje que intente hacer que los lados izquierdo y derecho sean iguales, suponiendo que eso sea posible. Los lados izquierdo y derecho se comparan como en las pruebas de igualdad normales, y cualquier variable lógica no vinculada está vinculada a valores que harían coincidir los dos lados. En este ejemplo, q está vinculado a 1, que es una solución porque no hay otras reglas.
Las expresiones en un programa lógico son objetivos. No devuelven verdadero o falso, pero tienen éxito o fracasan. Es posible que el éxito se logre varias veces de diferentes maneras o en absoluto. Esto nos lleva al último bit de nuestro ejemplo: el resultado.
Nuestro ejemplo devuelto (1). run * devuelve los valores de q que resultan en éxito.
En nuestro ejemplo, unificar q con 1 une q al número 1 y tiene éxito. Nuestro resultado es la lista que contiene el enlace único para q.
Veamos un objetivo fallido:
user=> (run* [q] (== q 1) (== q 2))
()
miniKanren es un DSL (Domain Specific Language) para la programación logica.
miniKanren es muy simple, con sólo tres operadores lógicos y un operador de interfaz.
La primera implementación fue en scheme, pero ahora existen implementaciones en diferentes lenguajes y tecnologías como Racket, Clojure, Haskell, Python, JavaScript, Scala, Ruby, OCaml, PHP y algunos más.
De igual manera que prolog, esta centrado en reglas y constraits.
En este post vamos a utilizar la implementación de Clojure, MiniKanren se encuentra en core.logic, para poder usarlo debemos tener una jdk y Leiningen.
Para crear un proyecto debemos utilizar Leiningen de la siguiente manera:
lein new logical
Con esta instrucción podemos crear un proyecto.
Ahora debemos agregar las dependencias:
(defproject logical "0.1.0-SNAPSHOT"
:dependencies [[org.clojure/clojure "1.5.1"]
[org.clojure/core.logic "0.8.5"]])
core.logic es donde se encuentra MiniKanren.
Ahora cuando lancemos el relp se levantará miniKanren:
$ lein repl
nREPL server started on port 48235 on host 127.0.0.1
REPL-y 0.3.0
Clojure 1.5.1
Docs: (doc function-name-here)
(find-doc "part-of-name-here")
Source: (source function-name-here)
Javadoc: (javadoc java-object-or-class-here)
Exit: Control+D or (exit) or (quit)
Results: Stored in vars *1, *2, *3, an exception in *e
user=> (use 'clojure.core.logic)
WARNING: == already refers to: #'clojure.core/== in namespace: user, being
replaced by: #'clojure.core.logic/==
nil
user=>
Ahora podemos empezar con el relp de MiniKanren, veamos un ejemplo :
user=> (run* [q] (== q 1))
(1)
En el ejemplo corremos el programa con run* que permite correr programas logicos y retorna un conjunto de soluciones. q es una variable logica. Y el programa contiene la siguiente expresión :
(== q 1)
Dicha expresión es unification, que se puede ver como pattern matching. Este programa devuelve 1 dado que q va valer 1 para que esto sea verdadero.
Le está pidiendo al lenguaje que intente hacer que los lados izquierdo y derecho sean iguales, suponiendo que eso sea posible. Los lados izquierdo y derecho se comparan como en las pruebas de igualdad normales, y cualquier variable lógica no vinculada está vinculada a valores que harían coincidir los dos lados. En este ejemplo, q está vinculado a 1, que es una solución porque no hay otras reglas.
Las expresiones en un programa lógico son objetivos. No devuelven verdadero o falso, pero tienen éxito o fracasan. Es posible que el éxito se logre varias veces de diferentes maneras o en absoluto. Esto nos lleva al último bit de nuestro ejemplo: el resultado.
Nuestro ejemplo devuelto (1). run * devuelve los valores de q que resultan en éxito.
En nuestro ejemplo, unificar q con 1 une q al número 1 y tiene éxito. Nuestro resultado es la lista que contiene el enlace único para q.
Veamos un objetivo fallido:
user=> (run* [q] (== q 1) (== q 2))
()
Este programa tiene dos expresiones, cada una un objetivo. Un programa con múltiples objetivos tendrá éxito solo si todos los objetivos tienen éxito, de manera similar a && u operadores en otros lenguajes. Aquí, la primera unificación unirá q al número 1 como antes y tendrá éxito. La segunda unificación fallará, ya que q está unido a 1 y 1 no se unifica con 2. Debido a que ningún enlace de q puede hacer que ambos objetivos tengan éxito, la lista resultante está vacía. Es decir, no hay solución.
En proximos post seguiremos con este particular lenguaje, por ahora dejo link: http://minikanren.org/
sábado, 18 de abril de 2020
Elementos básicos en Haskell
En casi todos los lenguajes de programación puede crear expresiones como:
(b * b-4 * a * c) / 2 * a
y puedes asignar estas expresiones a variables:
v = (b * b-4 * a * c) / 2 * a
En Haskell, también puedes hacer esto, y lo que es más: las expresiones son realmente todo lo que hay, no hay declaraciones.
En Python, puede definir una función como
def hello(name):
return "Hello, "+name
En Haskell puedes escribir esto simplemente como:
hello name = "Hello, "++name
C tiene tipos, por ejemplo:
int f (int x, int y) {
return x*y+x+y;
}
Haskell tiene un sistema de tipos mucho más poderosos que C, y hablaremos mucho sobre los tipos:
f :: Int -> Int -> Int
f x y = x*y+x+y
En muchos lenguajes, como Python, JavaScript, Ruby, ... puedes crear listas como:
lst = ["A", "lista", "de", "cadenas"]
Haskell también usa esta sintaxis para las listas.
Para unir listas, en Python podrías escribir
lst = [1,2] + [3,4]
En Haskell esto sería muy similar:
lst = [1,2] ++ [3,4]
En JavaScript puede definir funciones anónimas (funciones sin nombre) como:
var f = función (x, y) {return x * y + x + y};
En Haskell, estas funciones anónimas se denominan funciones lambda y en realidad son la base del lenguaje. Nuevamente, la sintaxis es muy compacta:
f = \ x y -> x * y + x + y
Finalmente, en muchos lenguaje, las funciones pueden operar en funciones. Por ejemplo, en Perl puede modificar los elementos en una lista usando:
map sub ($x){$x*2+1}, [1..10]
Haskell proporciona muchas de estas llamadas funciones de orden superior y le permite definir las suyas propias.
map (\x -> x*2+1) [1..10]
(b * b-4 * a * c) / 2 * a
y puedes asignar estas expresiones a variables:
v = (b * b-4 * a * c) / 2 * a
En Haskell, también puedes hacer esto, y lo que es más: las expresiones son realmente todo lo que hay, no hay declaraciones.
En Python, puede definir una función como
def hello(name):
return "Hello, "+name
En Haskell puedes escribir esto simplemente como:
hello name = "Hello, "++name
C tiene tipos, por ejemplo:
int f (int x, int y) {
return x*y+x+y;
}
Haskell tiene un sistema de tipos mucho más poderosos que C, y hablaremos mucho sobre los tipos:
f :: Int -> Int -> Int
f x y = x*y+x+y
En muchos lenguajes, como Python, JavaScript, Ruby, ... puedes crear listas como:
lst = ["A", "lista", "de", "cadenas"]
Haskell también usa esta sintaxis para las listas.
Para unir listas, en Python podrías escribir
lst = [1,2] + [3,4]
En Haskell esto sería muy similar:
lst = [1,2] ++ [3,4]
En JavaScript puede definir funciones anónimas (funciones sin nombre) como:
var f = función (x, y) {return x * y + x + y};
En Haskell, estas funciones anónimas se denominan funciones lambda y en realidad son la base del lenguaje. Nuevamente, la sintaxis es muy compacta:
f = \ x y -> x * y + x + y
Finalmente, en muchos lenguaje, las funciones pueden operar en funciones. Por ejemplo, en Perl puede modificar los elementos en una lista usando:
map sub ($x){$x*2+1}, [1..10]
Haskell proporciona muchas de estas llamadas funciones de orden superior y le permite definir las suyas propias.
map (\x -> x*2+1) [1..10]
jueves, 16 de abril de 2020
Prueba Haskell!
Probar Haskell es fácil.
Primero podemos usar nuestro navegador : https://www.haskellmooc.co.uk , es un entorno interactivo de Haskell, ¡listo para usar!
Puede instalar el compilador / intérprete Haskell.
Vayamos a https://www.haskell.org/platform para obtener la plataforma Haskell, es muy fácil de instalar.
Luego de instalar haskell podemos utilizar el intérprete de Haskell ghci
Para iniciar el intérprete interactivo Haskell ghci, simplemente escriba ghci en su terminal:
[wim @ fp4 ~] $ ghci
GHCi, versión 7.8.3: http://www.haskell.org/ghc/:? por ayuda
Cargando paquete ghc-prim ... enlace ... hecho.
Cargando paquete integer-gmp ... enlace ... hecho.
Cargando la base del paquete ... enlazando ... hecho.
Preludio>
- Evaluar una expresión -
Preludio> 3 + 4
7
Y Listo!!
Primero podemos usar nuestro navegador : https://www.haskellmooc.co.uk , es un entorno interactivo de Haskell, ¡listo para usar!
Puede instalar el compilador / intérprete Haskell.
Vayamos a https://www.haskell.org/platform para obtener la plataforma Haskell, es muy fácil de instalar.
Luego de instalar haskell podemos utilizar el intérprete de Haskell ghci
Para iniciar el intérprete interactivo Haskell ghci, simplemente escriba ghci en su terminal:
[wim @ fp4 ~] $ ghci
GHCi, versión 7.8.3: http://www.haskell.org/ghc/:? por ayuda
Cargando paquete ghc-prim ... enlace ... hecho.
Cargando paquete integer-gmp ... enlace ... hecho.
Cargando la base del paquete ... enlazando ... hecho.
Preludio>
- Evaluar una expresión -
Preludio> 3 + 4
7
Y Listo!!
miércoles, 15 de abril de 2020
Introducción a las expresiones y ecuaciones en Haskell
¡Haskell no tiene declaraciones, solo expresiones!
En un lenguaje imperativo como C o Java, hay expresiones que denotan cálculos a pequeña escala (2 * x), y declaraciones que manejan secuenciación, bucles, condicionales y toda la operación a gran escala del programa.
Los lenguajes de programación funcionales puros no tienen ningún enunciado: no hay asignaciones ni saltos. En cambio, todo el cálculo se realiza evaluando expresiones
Una expresión se evalúa como un resultado (generalmente escrito e⇝r pero usaremos e -> r). Haskell usa una notación similar para números y operadores como la mayoría de los lenguajes :
2 -> 2
3 + 4 -> 7
3 + 4 * 5 {equivalente a 3+ (4 * 5)} -> 23
(3 + 4) * 5 {equivalente a 7 * 5} -> 35
Los paréntesis se usan para agrupar, al igual que en matemáticas.
Los operadores tienen prioridad, p. ∗ tiene una precedencia "más estricta" que +, entonces 2 + 3 ∗ 4 significa 2 + (3 ∗ 4).
Las expresiones pueden contener llamadas a funciones.
Una función toma argumentos, realiza algunos cálculos y produce resultados.
La función abs da el valor absoluto de un número. Para usar una función, se aplica a un argumento. Escribe la función seguida del argumento, separada por un espacio.
abs 5 -> 5
abs (-6) -> 6
Los paréntesis son para agrupar
2 + 3 * 5
2+ (3 * 5): puede ser más claro para algunos lectores
abs 7
Por ejemplo, min y max son funciones que toman dos argumentos. Los argumentos se dan después de la función, separados por espacios en blanco.
Escriba min 3 8, no escriba min (3, 8);
min 3 8 -> 3
max 3 8 -> 8
La aplicación de funciones se une más fuerte que cualquier otra cosa. Entonces f x + 3 significa (f x) + 3 y no f (x + 3). Si un argumento para una función es una expresión, se deberá poner entre paréntesis.
Las ecuaciones se usan para dar nombres a los valores. Por ejemplo:
respuesta = 42
Una ecuación en Haskell es una ecuación matemática: dice que el lado izquierdo y el lado derecho denotan el mismo valor. El lado izquierdo debe ser un nombre al que le estás dando un valor.
Correcto: x = 5 * y
Incorrecto: 2 * x = (3 * x) ** 2 - La reasignación no está permitida en un FPL puro
A un nombre solo se le puede dar un valor. Los nombres a menudo se denominan "variables", pero no varían.
En Haskell las variables son constantes!
n = 1 - ¡bien!
x = 3 * n - bien
n = x - Incorrecto: solo puede tener una definición de n
Una vez que le da un valor a un nombre, ¡nunca podrá cambiarlo!
Esto es parte del significado de "puro" y "sin efectos secundarios"
¿Qué pasa con n = n + 1?
En idiomas imperativos, decimos con frecuencia n: = n + 1 ¡Esta es una tarea, no una ecuación! Significa (1) calcular el lado derecho, utilizando el antiguo valor de n; luego (2) descarte el antiguo valor de n y sobrescríbalo con el nuevo valor. No hay ecuaciones en lenguajes imperativos como C y Java.
En Haskell, es válido escribir n = n + 1. ¡Esta es una ecuación, no una tarea! Significa: calcular el valor de n que tiene la propiedad de que n = n + 1. Haskell lo intentará y fallará.
¿Cómo puedes calcular sin asignaciones?
Piense en una declaración de asignación como hacer tres cosas:
Evalúa el lado derecho: calcular un valor útil.
Descarta el valor de la variable en el lado izquierdo: destruye un valor que podría o no ser útil.
Guarda el valor útil del RHS en la variable.
En un lenguaje funcional puro Nunca destruimos viejos valores. Simplemente calculamos nuevos útiles.
Si el valor anterior era realmente inútil, el recolector de basura recuperará su almacenamiento.
En un lenguaje imperativo como C o Java, hay expresiones que denotan cálculos a pequeña escala (2 * x), y declaraciones que manejan secuenciación, bucles, condicionales y toda la operación a gran escala del programa.
Los lenguajes de programación funcionales puros no tienen ningún enunciado: no hay asignaciones ni saltos. En cambio, todo el cálculo se realiza evaluando expresiones
Una expresión se evalúa como un resultado (generalmente escrito e⇝r pero usaremos e -> r). Haskell usa una notación similar para números y operadores como la mayoría de los lenguajes :
2 -> 2
3 + 4 -> 7
3 + 4 * 5 {equivalente a 3+ (4 * 5)} -> 23
(3 + 4) * 5 {equivalente a 7 * 5} -> 35
Los paréntesis se usan para agrupar, al igual que en matemáticas.
Los operadores tienen prioridad, p. ∗ tiene una precedencia "más estricta" que +, entonces 2 + 3 ∗ 4 significa 2 + (3 ∗ 4).
Las expresiones pueden contener llamadas a funciones.
Una función toma argumentos, realiza algunos cálculos y produce resultados.
La función abs da el valor absoluto de un número. Para usar una función, se aplica a un argumento. Escribe la función seguida del argumento, separada por un espacio.
abs 5 -> 5
abs (-6) -> 6
Los paréntesis son para agrupar
2 + 3 * 5
2+ (3 * 5): puede ser más claro para algunos lectores
abs 7
Por ejemplo, min y max son funciones que toman dos argumentos. Los argumentos se dan después de la función, separados por espacios en blanco.
Escriba min 3 8, no escriba min (3, 8);
min 3 8 -> 3
max 3 8 -> 8
La aplicación de funciones se une más fuerte que cualquier otra cosa. Entonces f x + 3 significa (f x) + 3 y no f (x + 3). Si un argumento para una función es una expresión, se deberá poner entre paréntesis.
Las ecuaciones se usan para dar nombres a los valores. Por ejemplo:
respuesta = 42
Una ecuación en Haskell es una ecuación matemática: dice que el lado izquierdo y el lado derecho denotan el mismo valor. El lado izquierdo debe ser un nombre al que le estás dando un valor.
Correcto: x = 5 * y
Incorrecto: 2 * x = (3 * x) ** 2 - La reasignación no está permitida en un FPL puro
A un nombre solo se le puede dar un valor. Los nombres a menudo se denominan "variables", pero no varían.
En Haskell las variables son constantes!
n = 1 - ¡bien!
x = 3 * n - bien
n = x - Incorrecto: solo puede tener una definición de n
Una vez que le da un valor a un nombre, ¡nunca podrá cambiarlo!
Esto es parte del significado de "puro" y "sin efectos secundarios"
¿Qué pasa con n = n + 1?
En idiomas imperativos, decimos con frecuencia n: = n + 1 ¡Esta es una tarea, no una ecuación! Significa (1) calcular el lado derecho, utilizando el antiguo valor de n; luego (2) descarte el antiguo valor de n y sobrescríbalo con el nuevo valor. No hay ecuaciones en lenguajes imperativos como C y Java.
En Haskell, es válido escribir n = n + 1. ¡Esta es una ecuación, no una tarea! Significa: calcular el valor de n que tiene la propiedad de que n = n + 1. Haskell lo intentará y fallará.
¿Cómo puedes calcular sin asignaciones?
Piense en una declaración de asignación como hacer tres cosas:
Evalúa el lado derecho: calcular un valor útil.
Descarta el valor de la variable en el lado izquierdo: destruye un valor que podría o no ser útil.
Guarda el valor útil del RHS en la variable.
En un lenguaje funcional puro Nunca destruimos viejos valores. Simplemente calculamos nuevos útiles.
Si el valor anterior era realmente inútil, el recolector de basura recuperará su almacenamiento.
Bootstrap + Vue = BootstrapVue
Te gusta Bootstrap y te gusta Vue entonces BootstrapVue es para vos!!
Como sabemos Bootstrap nos permite hacer aplicaciones web responsive y Vue es un framework front-end javascript que nos hace la vida muy fácil. Por ende con BootstrapVue podemos utilizar Vue con Bootstrap con los css de Bootstrap.
Con este framework utilizamos Bootstrap 4.
Como se instala? Primero que nada tengo que tener instalado Vue y un proyecto creado. Si no saben como hacer esto pueden leer este post: https://emanuelpeg.blogspot.com/2020/04/como-instalar-vuejs.html
Luego tengo que instalar bootstrap-vue:
npm install bootstrap-vue
Y por ultimo, debemos registrar el complemento BootstrapVue como con las instrucciones del paquete web:
import Vue from 'vue'
import { BootstrapVue, BootstrapVueIcons } from 'bootstrap-vue'
import 'bootstrap/dist/css/bootstrap.css'
import 'bootstrap-vue/dist/bootstrap-vue.css'
Vue.use(BootstrapVue)
Vue.use(BootstrapVueIcons)
BootstrapVue fue librerado bajo licencia MIT.
Dejo link : https://bootstrap-vue.js.org/
martes, 14 de abril de 2020
Free ebook: Protecting Your Web Applications
Me llego el siguiente mail de y quiero compartirlo con ustedes :
Hi Emanuel,
Websites, applications, and online services are critical business assets, but they are also among the most vulnerable to attack. Successful cybersecurity attacks can cost your company customers, revenue, and reputation.
Download this practical ebook to get an overview of today’s major threat patterns and the strategies and techniques you need to prevent and protect against a host of attacks.
And did we mention it’s free, our gift to you?
| ||
| ||
The O’Reilly Team
PS If you need to stay up to date on security (and who doesn’t?), take a look at O’Reilly online learning. You’ll get the latest information on security technologies and best practices, as well as security certification prep and practice exams, and more.
| ||
lunes, 13 de abril de 2020
Funciones en Haskell
En Haskell las funciones se definen usualmente a través de una colección de ecuaciones. Por ejemplo, la función inc puede definirse por una única ecuación:
inc n = n+1
Una ecuación es un ejemplo de declaración. Otra forma de declaración es la declaración de tipo de una función o type signature declaration, con la cual podemos dar de forma explícita el tipo de una función; por ejemplo, el tipo de la función inc:
inc :: Integer -> Integer
Si a y b son dos tipos, entonces a->b es el tipo de una función que toma como argumento un elemento de tipo a y devuelve un valor de tipo b.
Las funciones en Haskell son ciudadanos de primera clase. Pueden ser argumentos o resultados de otras funciones o ser componentes de estructuras de datos. Esto permite simular mediante funciones de un único argumento, funciones con múltiples argumentos.
Por ejemplo, la función de suma (+) . En matemáticas se toma la suma como una función que toma una pareja de enteros y devuelve un entero. Sin embargo, en Haskell, la función suma tiene el tipo:
(+)::Int->(Int->Int)
(+) es una función de un argumento de tipo Int que devuelve una función de tipo Int->Int . De hecho "(+) 5" denota una función que toma un entero y devuelve dicho entero más 5. Este proceso se denomina currificación (en honor a Haskell B.Curry ) y permite reducir el número de paréntesis necesarios para escribir expresiones. De hecho, no es necesario escribir f(x) para denotar la aplicación del argumento x a la función x , sino simplemente f x .
Se podría escribir simplemente (+)::Int->Int->Int , puesto que el operador -> es asociativo a la derecha.
inc n = n+1
Una ecuación es un ejemplo de declaración. Otra forma de declaración es la declaración de tipo de una función o type signature declaration, con la cual podemos dar de forma explícita el tipo de una función; por ejemplo, el tipo de la función inc:
inc :: Integer -> Integer
Si a y b son dos tipos, entonces a->b es el tipo de una función que toma como argumento un elemento de tipo a y devuelve un valor de tipo b.
Las funciones en Haskell son ciudadanos de primera clase. Pueden ser argumentos o resultados de otras funciones o ser componentes de estructuras de datos. Esto permite simular mediante funciones de un único argumento, funciones con múltiples argumentos.
Por ejemplo, la función de suma (+) . En matemáticas se toma la suma como una función que toma una pareja de enteros y devuelve un entero. Sin embargo, en Haskell, la función suma tiene el tipo:
(+)::Int->(Int->Int)
(+) es una función de un argumento de tipo Int que devuelve una función de tipo Int->Int . De hecho "(+) 5" denota una función que toma un entero y devuelve dicho entero más 5. Este proceso se denomina currificación (en honor a Haskell B.Curry ) y permite reducir el número de paréntesis necesarios para escribir expresiones. De hecho, no es necesario escribir f(x) para denotar la aplicación del argumento x a la función x , sino simplemente f x .
Se podría escribir simplemente (+)::Int->Int->Int , puesto que el operador -> es asociativo a la derecha.
domingo, 12 de abril de 2020
Como instalar vue.js ?
Vamos a instalar vue cli en Linux, yo tengo Fedora ahora, pero es medio lo mismo que con otros Linux o Windows o Mac.
Primero tenemos que instalar npm. Esto es muy fácil, hacemos en consola :
sudo dnf install nodejs
En fedora, CentOs, Red Hat y
sudo apt-get install nodejs
En Ubuntu, Debian, Mint, etc.
Instalado npm, ahora podemos instalar vue, como? así :
npm install -g @vue/cli
Ojo podemos utilizar yarn pero yo voy a utilizar npm.
Y listo!
Ahora podemos crear un proyecto, como? así :
vue create mi-proyecto
o de forma visual con:
vue ui
De forma visual, se abrirá un browser y podemos completar los datos.
Dejo link : https://cli.vuejs.org/
sábado, 11 de abril de 2020
Tipos en Haskell parte 2
Seguimos con los tipos en Haskell : https://emanuelpeg.blogspot.com/2020/04/tipos-en-haskell.html
Me quedaron 2 post cortitos, medio que podría haber hecho 1, cosas que pasan.
En la definición de una función se puede incluir información de tipo mediante una expresión de la forma A::B para indicar al sistema que “A es de tipo B”. Por ejemplo:
cuadrado:: Int -> Int //no es necesario, pero es buena práctica
cuadrado x = x * x
La primera línea indica que la función cuadrado es del tipo "función que toma un entero y devuelve un entero".
Esto no es obligatorio dado que con la inferencia de tipos, haskell puede inferir esto. Pero, sí es una buena práctica, ya que el Haskell chequea que el tipo declarado coincide que el tipo inferido por el sistema a partir de la definición, permitiendo detectar errores de tipos.
Existen varios “tipos” predefinidos del sistema Haskell, éstos se podrían clasificar en: tipos básicos,
cuyos valores se toman como primitivos, por ejemplo, Enteros, Flotantes, Caracteres y Booleanos; y
tipos compuestos, cuyos valores se construyen utilizando otros tipos, por ejemplo, listas, funciones y
tuplas.
viernes, 10 de abril de 2020
Complimentary O’Reilly Cassandra Book
Me llego este mail de un libro que estuve leyendo y esta muy bueno, de cassandra :
Hello Emanuel,
Thanks for your recent interest in Apache Cassandra™, I’m here to help with any content resources to make you successful.
The newest edition of O’Reilly’s “Cassandra, The Definitive Guide” by Jeff Carpenter and Eben Hewitt is just out, here is a complimentary PDF.
Our community forum is also a good place to ask or answer questions.
Again, our mission is to help you be successful with Cassandra. I hope these are useful!
Best Regards,
Angela Young
angela.young@datastax.com | datastax.com
Thanks for your recent interest in Apache Cassandra™, I’m here to help with any content resources to make you successful.
The newest edition of O’Reilly’s “Cassandra, The Definitive Guide” by Jeff Carpenter and Eben Hewitt is just out, here is a complimentary PDF.
Our community forum is also a good place to ask or answer questions.
Again, our mission is to help you be successful with Cassandra. I hope these are useful!
Best Regards,
Angela Young
angela.young@datastax.com | datastax.com
Conclusión nos regalan el libro que esta rebueno en ese link de arriba que es este : https://www.datastax.com/sites/default/files/content/ebook/2020-03/cassandra_ER.pdf?mkt_tok=eyJpIjoiWWpjeU4yVXdaalJoTVdOaCIsInQiOiJPSVplZ0I1M2MzXC9LcWZtbE8yaUZobTRBejh4YmFpMm45NlBVZkhncnJaa2E0UDJGRm9PUlBnS251NEpmbjNuMlMxZUhVN0dGSGR3UTR3ZFY5MjJTMUFHNENubkVNek5SdlhXUTBoWlpzVGdZK1loeit2aEVGTk1QdUFcL3dZZEpIIn0%3D
Tipos en Haskell
Haskell es un lenguaje de programación fuertemente tipado. Los tipos son penetrantes (pervasive), y presenta además un potente y complejo sistema de tipos. Si están familiarizados con Java, C, Modula, o incluso ML, el sistema de tipos de Haskell es diferente y algo más rico.
Una parte importante del lenguaje Haskell lo forma el sistema de tipos que es utilizado para detectar
errores en expresiones y definiciones de función.
El universo de valores es particionado en colecciones organizadas, denominadas tipos. Cada tipo tiene asociadas un conjunto de operaciones que no tienen significado para otros tipos, por ejemplo, se puede aplicar la función (+) entre enteros pero no entre caracteres o funciones.
Una propiedad importante del Haskell es que es posible asociar un único tipo a toda expresión bien
formada. Esta propiedad hace que el Haskell sea un lenguaje fuertemente tipado. Como consecuencia, cualquier expresión a la que no se le pueda asociar un tipo es rechazada como incorrecta antes de la evaluación.
Por ejemplo:
f x = 'A'
g x = x + f x
La expresión 'A' denota el carácter A . Para cualquier valor de x , el valor de f x es igual al caracter 'A' , por tanto es de tipo Char . Puesto que el (+) es la operación suma entre números, la parte derecha de la definición de g no está bien formada, ya que no es posible aplicar (+) sobre un carácter.
El análisis de los escritos puede dividirse en dos fases: Análisis sintáctico, para chequear la corrección sintáctica de las expresiones y análisis de tipo, para chequear que todas las expresiones tienen un tipo correcto.
jueves, 9 de abril de 2020
¿Sabías que Red Hat tiene capacitación gratuita y virtual?
Me llego el siguiente mail de Red hat y quiero compartirlo con ustedes :
| |||||||||||||||||||
| |||||||||||||||||||
| |||||||||||||||||||
| |||||||||||||||||||
| |||||||||||||||||||
| |||||||||||||||||||
| |||||||||||||||||||
Libros de Java Code Geeks
Suscribirse a:
Entradas (Atom)