viernes, 30 de octubre de 2020

Zip y unzip en python


Zip es una función útil que le permite combinar dos listas fácilmente. Como un cierre.

Después de llamar a zip,obtenemos un iterador. Para ver el contenido envuelto dentro, primero debemos convertirlo en una lista.

Ejemplo:


first_name = ['Joe','Earnst','Thomas','Martin','Charles']

last_name = ['Schmoe','Ehlmann','Fischer','Walter','Rogan','Green']

age = [23, 65, 11, 36, 83]

print(list(zip(first_name,last_name, age)))

# Output

#

# [('Joe', 'Schmoe', 23), ('Earnst', 'Ehlmann', 65), ('Thomas', 'Fischer', 11), ('Martin', 'Walter', 36), ('Charles', 'Rogan', 83)]


Una ventaja del zip es que mejora la legibilidad de los bucles for.

Por ejemplo, en lugar de necesitar varias entradas, solo necesita una lista zip para el siguiente bucle for:


first_name = ['Joe','Earnst','Thomas','Martin','Charles']

last_name = ['Schmoe','Ehlmann','Fischer','Walter','Rogan','Green']

age = [23, 65, 11, 36, 83]

for first_name, last_name, age in zip(first_name, last_name, age):

    print(f"{first_name} {last_name} is {age} years old")


# Output

#

# Joe Schmoe is 23 years old

# Earnst Ehlmann is 65 years old

# Thomas Fischer is 11 years old

# Martin Walter is 36 years old

# Charles Rogan is 83 years old


También podemos usar la función zip para abrir el cierre o hacer unzip . Esta vez, necesitamos la entrada de una lista con un asterisco antes.

Las salidas son listas separadas.


full_name_list = [('Joe', 'Schmoe', 23),

                  ('Earnst', 'Ehlmann', 65),

                  ('Thomas', 'Fischer', 11),

                  ('Martin', 'Walter', 36),

                  ('Charles', 'Rogan', 83)]


first_name, last_name, age = list(zip(*full_name_list))

print(f"first name: {first_name}\nlast name: {last_name} \nage: {age}")


# Output


# first name: ('Joe', 'Earnst', 'Thomas', 'Martin', 'Charles')

# last name: ('Schmoe', 'Ehlmann', 'Fischer', 'Walter', 'Rogan')

# age: (23, 65, 11, 36, 83)


miércoles, 28 de octubre de 2020

apuntes.de


Quiero recomendarles este sitio que esta en español y tienen varios libros gratuitos sobre tecnología. Que temas pueden encontrar?? 

  •  AWS (Fundamentos Prácticos)
  • AWS (Cloud Practitioner CLF-C01)
  • AWS (Certificación CSSA)
  • Bitcoins (Criptomonedas)
  • Código Limpio (Desarrollo Ágil de Software)
  • Docker (Certificación DCA)
  • Electron (Desarrollo de aplicaciones de escritorio con JavaScript)
  • Emprendimiento (Creación de Startups)
  • Golang (Desde Cero)
  • Ionic (Desarrollo de aplicaciones multiplataforma con JavaScript)
  • Linux (Certificación LPI)
  • NodeJS (Desde Cero)
  • NodeJS (Desarrollo Web)
  • Python (Certificación PCEP)
  • Ruby (Curso en Español desde Cero)
  • Entrenamiento SEO (Search Engine Optimizacion)
  • Fundamentos de SEO (Search Engine Optimization)

sin más : https://apuntes.de

martes, 27 de octubre de 2020

Tour of Scala

Quiero compartirles esta pagina que nos hace un tour por el maravilloso mundo de scala por medio de ejercicios que deberás resolver. 

Dejo link: https://tourofscala.com/

domingo, 25 de octubre de 2020

Introducción al cálculo Lambda


El cálculo lambda fue desarrollado en la década de 1930 por Alonzo Church (1903-1995), uno de los principales desarrolladores de lógica matemática. El cálculo lambda fue un intento de formalizar funciones como medio de computación.

Un avance importante (realmente el mayor) en la teoría de la computabilidad fue la prueba de que el cálculo lambda y la máquina de Turing tienen exactamente el mismo poder computacional. Esto llevó a la tesis de Church: que el conjunto de funciones que son efectivamente computables es exactamente el conjunto computable por la máquina de Turing o el cálculo lambda.

La tesis se fortaleció cuando varios otros sistemas de computación matemática (Problema posterior a la correspondencia y otros) también demostraron ser equivalentes al cálculo lambda.

El punto es que el conjunto de funciones efectivamente computables parece ser una realidad fundamental, no solo una peculiaridad de cómo se definió la {máquina de Turing, cálculo lambda}.

El cálculo lambda ha resultado capturar dos aspectos de una función:

  • Un objeto matemático (conjunto de pares ordenados de dominio y rango), y
  • Una máquina de caja negra abstracta que toma una entrada y produce una salida.

El cálculo lambda es fundamental para la semántica denotacional, la teoría matemática de lo que significan los programas de computadora.

Los lenguajes de programación funcional se desarrollaron con el objetivo explícito de convertir el cálculo lambda en un lenguaje de programación práctico.

El compilador ghc Haskell opera (1) desechando el programa fuente, (2) transformando el programa en una versión del cálculo lambda llamado Sistema F, y (3) traduciendo el Sistema F al lenguaje de máquina usando reducción de grafos.

Trabajaremos con el cálculo lambda básico “enriquecido” con algunas constantes y funciones primitivas (estrictamente hablando, eso no es necesario).

El lenguaje tiene constantes, variables, aplicaciones y funciones.

    exp = const

      | var

      | exp exp

      | \ var -> exp


Cada aparición de una variable en una expresión está ligada o es libre.

En ∖x → x + 1, la ocurrencia de x en x + 1 está limitada por ∖x.

En y ∗ 3, la ocurrencia o y es libre. Debe definirse en otro lugar, quizás como una definición global.

En general, una aparición de una variable está vinculada si hay alguna expresión lambda adjunta que la vincula; si no hay enlace lambda, entonces la ocurrencia es libre.

Debemos tener cuidado: la primera aparición de a es libre pero la segunda aparición está vinculada.

       a + (\ a -> 2 ^ a) 3 -> a + 2 ^ 3

Ser libre o vinculada es una propiedad de la ocurrencia de una variable, ¡no de la variable en sí!

La computación en el cálculo lambda se realiza utilizando tres reglas de conversión.

Las reglas de conversión le permiten reemplazar una expresión por otra ("igual").

Algunas conversiones simplifican una expresión; estos se llaman reducciones.

Conversión alfa : La conversión alfa le permite cambiar el nombre de un parámetro de función de manera consistente. ¡Pero no puede cambiar las variables libres con la conversión alfa!

La definición detallada de conversión alfa es un poco complicada, porque debe tener cuidado de ser coherente y evitar la "captura de nombres". No nos preocuparemos por los detalles en este momento.

(\ x -> x + 1) 3

(\ y -> y + 1) 3

Conversión beta : La conversión beta es el "caballo de batalla" del cálculo lambda: define cómo funcionan las funciones.

Para aplicar una expresión lambda a un argumento, se toma el cuerpo de la función y se reemplaza cada aparición enlazada de la variable con el argumento.

    (\ x -> exp1) exp2

se evalúa como exp1 [exp2 / x]

Ejemplo:

    (\ x -> 2 * x + g x) 42

se evalúa como 2 ∗ 42 + g 42

Conversión ETA : Eta conversión dice que una función es equivalente a una expresión lambda que toma un argumento y aplica la función al argumento.

(\ x -> f x)

es equivalente a f

Ejemplo (recuerde que (∗ 3) es una función que multiplica su argumento por 3)

(\ x -> (* 3) x)

es equivalente a (∗ 3)

Intente aplicar ambos a 50:

(\ x -> (* 3) x) 50

es lo mismo que (∗ 3) 50

Existe un uso común de la conversión Eta. Supongamos que tenemos una definición como esta:

f x y = g y

Esto se puede reescribir de la siguiente manera:

f = \ x -> (\ y -> g y)

f = \ x -> g = f x = g

Por tanto, las siguientes dos definiciones son equivalentes:

    f x y = g y

    f x = g

En efecto, dado que el último argumento en ambos lados de la ecuación es el mismo (y), se puede “factorizar”.

Y listo, no quiero profundizar en detalles matemáticos, pero sin duda que esta teoría influyo mucho el mundo de los lenguajes y quiero compartir una imagen que encontré y describe como ha llegado esta teoría al mainstream de los lenguajes y gracias a quienes :



viernes, 23 de octubre de 2020

Cómo y por qué Twitter usa Scala ?


Twitter usa Scala, si! hace mucho. Scala es un lenguaje de programación que combina rasgos de lenguajes orientados a objetos. y lenguajes funcionales con miras a soportar mejor la concurrencia en software a gran escala.

¿Por qué utilizar Scala? Lo que necesitaba a medida que Twitter crecía era procesos pesados ​​de larga ejecución, cola de mensajes, capas de almacenamiento en caché para realizar 20.000 operaciones por segundo. 

¿cuáles fueron los criterios para elegir Scala? Bueno, primero ¿es rápido, divertido y bueno para un proceso de larga duración? ¿Tiene funciones avanzadas? ¿Puede ser productivo rápidamente? Los desarrolladores del lenguaje en sí tenían que ser accesibles para nosotros.

¿Y Scala resultó ser rápido? Bueno, ¿cuál es tu definición de rápido? Casi tan rápido como Java. No tiene que ser tan rápido como C o Assembly. Python no es significativamente más rápido que Ruby. Querían hacer más con menos máquinas, aprovechando mejor la concurrencia; quería que se compilara para que no quemara la CPU haciendo las cosas incorrectas.

Es muy divertido trabajar en Scala; sí, puede escribir código serio, similar a Java, cuando empiece. Más tarde, puede escribir código Scala que casi se parece a Haskell. Puede ser muy idiomático, muy funcional, hay mucha flexibilidad ahí.

Y es rápido. El principal desarrollador de lenguaje de Scala trabajó en la JVM en Sun. Cuando comenzó Java, era claramente un gran lenguaje, pero la máquina virtual era lenta. La JVM se ha llevado a la era moderna y no nos lo pensamos dos veces antes de usarla.

Scala puede tomar prestadas bibliotecas de las bibliotecas de Java; está compilando en código de bytes de Java, y todo está llamando de un modo que es realmente eficiente. No nos hemos encontrado con ninguna dependencia de biblioteca que cause problemas. Podemos contratar personas con Java y pueden hacerlo bastante bien.

La gran teoría unificada de Scala es que combina programación orientada a objetivos (OOP) y programación funcional (FP). El objetivo de Scala es esencialmente decir que OOP y FP no tienen que ser estos mundos separados. Es algo zen, y no lo entiendes cuando empiezas. Es realmente poderoso; es bueno tener un lenguaje con una tesis, en lugar de tratar de atraer a todos los programadores. Scala está tratando de resolver un problema intelectual específico.

Tiene métodos que toman cualquier cosa entre una cadena y varios puntos en la cadena de herencia de una cadena. La sintaxis es más flexible que la de Java; es muy legible por humanos, ya que puede omitir un período entre las llamadas al método para que parezca una serie de palabras. Su programa puede hacer buenas declaraciones declarativas sobre la lógica de lo que está tratando de hacer.

Con Scala, también puede usar rasgo o traits. Esto es útil porque, por supuesto, tiene preocupaciones transversales en su aplicación. Por ejemplo, todos los objetos deben poder registrar cosas, pero no quieres que todo se extienda desde una clase de registrador, eso es una locura. Con Scala, puede usar un rasgo para introducirlo directamente y puede agregar tantos rasgos como desee a una clase u objeto determinado.


Puedes elegir entre mutabilidad e inmutabilidad. Esto puede resultar peligroso. 9 de cada 10 veces usa variables inmutables cuando desea previsibilidad, especialmente cuando tiene cosas ejecutándose al mismo tiempo. Pero Scala confía en el programador para la mutabilidad cuando lo necesita.

Scala tiene el concepto de valores perezosos; se puede decir lazy val x = una función realmente complicada. Eso no se calculará hasta el último segundo, cuando necesite ese valor. Esto es bonito.

Pattern matching también es buena. Le permite sumergirse en una estructura de datos para que pueda, por ejemplo, explotar una colección que coincida con una matriz con "2" como tercer elemento. Puede dividir cadenas y expresiones regulares, y puede combinar grupos de patrones con expresiones regulares.

Una característica extraña que es realmente útil es la capacidad de usar literales XML, de modo que pueda hacer algo igual a un literal XML, como si el literal XML fuera una cadena. No tienes que importar Sax o alguna biblioteca XML.

Cuando la gente lee sobre Scala, casi siempre es en el contexto de la concurrencia. La simultaneidad la puede resolver un buen programador en muchos lenguajes, pero es un problema difícil de resolver. Scala tiene una biblioteca de Actores, Akka, que se usa comúnmente para resolver problemas de concurrencia, y hace que ese problema sea mucho más fácil de resolver.

Un actor es un objeto que tiene un buzón; pone en cola los mensajes y los trata en un bucle, y puede dejar un mensaje en el suelo cuando no sabe qué hacer con él.

Puede modelar la concurrencia como mensajes, una unidad de trabajo, enviados a los actores, lo cual es realmente bueno. Es como usar un sistema de cola. También puede usar Java.util.concurrency, Netty y Apache Mina, colocándolo directamente. Puede reescribir la implementación de Actor, y algunas personas han ido tan lejos como para lanzar sus propias bibliotecas de memoria transaccional de software.

La interoperabilidad de Java es una gran, gran victoria. Hay diez años de grandes bibliotecas, cosas como Jodatime. Usamos mucho Hadoop y ha sido fácil conectar Scala a las bibliotecas de Hadoop. Usamos Thrift, sin tener que parchearlo; utilizamos bibliotecas de Apache Commons y de Google.

En el mundo empresarial, una arquitectura orientada a servicios no es nueva, pero en la Web 2.0 es una ciencia nueva y loca. Con PHP o Ruby on Rails, cuando necesite más funcionalidad, simplemente incluya más complementos y bibliotecas, y los inserte todos en el servidor. El resultado es una bola de barro gigante.

Entonces, cualquier cosa que tenga que hacer un trabajo pesado en nuestra pila será un servicio independiente. Podemos probarlo de forma independiente, es una buena forma de descomponer nuestra arquitectura.

¿Qué servicios de Twitter funcionan con Scala? Tienen un sistema de colas llamado Kestrel. Utiliza una versión mejorada del protocolo mem-cache. Originalmente se escribio en Ruby, pero debido a que Ruby es un lenguaje dinámico, el servicio comenzó a mostrar sus puntos débiles de rendimiento.

Flock usan para almacenar grafos social, como una lista desnormalizada de identificadores de usuario. No es una base de datos de grafos, por lo que no puede realizar recorridos aleatorios a lo largo del grafo. Pero es excelente para almacenar rápidamente conjuntos desnormalizados de ID de usuario y hacer intersecciones. Estan realizando 20.000 operaciones por segundo en ese momento, respaldadas por un esquema MySQL diseñado para mantener tanto como sea posible en la memoria. Ha sido muy eficiente, no se necesitan muchos servidores.

El servicio de búsqueda de personas está impulsada por un servicio creado por Scala que se llama Hawkwind. Es un grupo de objetos de usuario que Hadoop arroja, donde la solicitud se distribuye en varias máquinas y luego se vuelve a unir.

miércoles, 21 de octubre de 2020

Quien utiliza Haskell??


La programación funcional (en particular Haskell) es utilizada por un número creciente de empresas en la actualidad, incluidas algunas grandes multinacionales.

Hay listas de empresas que utilizan Haskell en el sitio web de Haskell y en Quora. Algunas companias destacadas son Facebook, IBM, Twitter, AT&T, Bank of America, Barclays Capital, NVIDIA y Microsoft.

Facebook utiliza Haskell en varios proyectos, por ejemplo Lucha contra el spam con Haskell.

Galois ha sido un usuario y promotor activo de Haskell durante más de una década. Esta charla presenta tres estudios de caso de algunos de sus proyectos.

The New York Times tiene una agradable charla sobre Haskell en la sala de redacción.

lunes, 19 de octubre de 2020

QuickCheck: prueba automática programas Haskell


QuickCheck es una biblioteca para pruebas aleatorias de propiedades de programas. 

El programador proporciona una especificación del programa, en forma de propiedades que las funciones deben satisfacer, y QuickCheck luego prueba que las propiedades se cumplen en una gran cantidad de casos generados aleatoriamente. 

Las especificaciones se expresan en Haskell, utilizando combinadores proporcionados por QuickCheck. 

QuickCheck proporciona combinadores para definir propiedades, observar la distribución de los datos de prueba y definir generadores de datos de prueba.

veamos un ejemplo, primero definamos una propiedad : 


prop_RevRev xs = reverse (reverse xs) == xs 

where types = xs::[Int]


y luego a probar la propiedad 


Main> quickCheck prop_RevRev

OK, passed 100 tests.


Y si fallará nos mostraría todas las veces que fallo : 


Main> quickCheck prop_RevId

Falsifiable, after 1 tests:

[-3,15]


Y listo, tenemos una comprobación rapida y fácil para nuestros programas. 

Dejo link: http://www.cse.chalmers.se/~rjmh/QuickCheck/


domingo, 18 de octubre de 2020

Currying en Haskell


Si tenemos esta firma de función :

    f :: X -> Y -> Z -> A

La flecha "->" es asociativa a la derecha, por lo que es lo mismo que:

    f :: X -> (Y -> (Z -> A))

Lo que esto significa es que podemos considerar f como una función con un solo argumento de tipo X que devuelve una función de tipo Y-> Z-> A.

La técnica de reescribir una función de múltiples argumentos en una secuencia de funciones con un solo argumento se llama currización. Podemos ilustrar esto mejor usando una función lambda:

    \ x y z -> ...

    \ x -> (\ y z -> ...)

    \ x -> (\ y -> (\ z -> ...))


El nombre "curry", es una referencia al lógico Haskell Curry. El concepto en realidad fue propuesto originalmente por otro lógico, Moses Schönfinkel, pero su nombre no era tan pegadizo.

La aplicación parcial significa que no necesitamos proporcionar todos los argumentos a una función, para aplicar la función.  Por ejemplo, dado

     sq x y = x*x+y*y

Observamos que la aplicación de la función se asocia a la izquierda, por lo que se cumple la siguiente equivalencia


    sq x y = (sq x) y

Por tanto, podemos crear una función especializada mediante la aplicación parcial de x:

    sq4 = sq 4 -- = \y -> 16+y*y

    sq4 3 -- = (sq 4) 3 = sq 4 3 = 25

Es por eso que puedes escribir cosas como:

    dobles = mapa (* 2) [1 ..]

Sequencias en Kotlin


Leyendo sobre estructuras infinitas en Haskell, me puse a pensar en las secuencias en Kotlin. La biblioteca estándar de Kotlin contiene un tipo de contenedor: secuencias (Sequence <T>). Las secuencias ofrecen las mismas funciones que Iterable pero implementan otro enfoque un enfoque perezoso. 

Cuando el procesamiento de un Iterable incluye varios pasos, se ejecutan de forma ansiosa o eager : cada paso de procesamiento completa y devuelve su resultado: una colección intermedia. El siguiente paso se ejecuta en esta colección. Pero, el procesamiento de múltiples pasos de secuencias se ejecuta de manera perezosa cuando es posible: la computación real ocurre solo cuando se solicita el resultado de toda la cadena de procesamiento.

El orden de ejecución de las operaciones también es diferente: la secuencia realiza todos los pasos de procesamiento uno por uno para cada elemento. Pero, Iterable completa cada paso para toda la colección y luego pasa al siguiente paso.

Por lo tanto, las secuencias nos permiten evitar generar resultados de pasos intermedios, mejorando así el rendimiento de toda la cadena de procesamiento de la colección. Sin embargo, la naturaleza perezosa de las secuencias agrega algunos gastos generales que pueden ser significativos al procesar colecciones más pequeñas o al realizar cálculos más simples. Por lo tanto, debe considerar tanto Sequence como Iterable y decidir cuál es mejor para cada caso.

Para crear una secuencia, llammamos a la función sequenceOf () que enumera los elementos como sus argumentos.

val nroSecuencia = sequenceOf ("cuatro", "tres", "dos", "uno")

Si ya tiene un objeto Iterable (como una Lista o un Conjunto), puede crear una secuencia a partir de él llamando a asSequence ().

val numeros = listOf ("uno", "dos", "tres", "cuatro")

val numbersSequence = numeros.asSequence()

Una forma más de crear una secuencia es construyéndola con una función que calcula sus elementos. Para construir una secuencia basada en una función, llame a generateSequence () con esta función como argumento. Opcionalmente, puede especificar el primer elemento como un valor explícito o como resultado de una llamada de función. La generación de la secuencia se detiene cuando la función proporcionada devuelve un valor nulo. Por lo tanto, la secuencia del siguiente ejemplo es infinita:

val oddNumbers = generateSequence(1) { it + 2 } // `it` is the previous element

println(oddNumbers.take(5).toList())

//println(oddNumbers.count())     // error: the sequence is infinite

Para crear una secuencia finita con generateSequence(), proporcione una función que devuelva nulo después del último elemento que necesita.

val oddNumbersLessThan10 = generateSequence(1) { if (it + 2 < 10) it + 2 else null }

println(oddNumbersLessThan10.count())

Finalmente, hay una función que le permite producir elementos de secuencia uno por uno o por trozos de tamaños arbitrarios: la función secuencia (). Esta función toma una expresión lambda que contiene llamadas de las funciones yield () y yieldAll (). Devuelven un elemento al consumidor de secuencia y suspenden la ejecución de secuencia () hasta que el consumidor solicite el siguiente elemento. yield () toma un solo elemento como argumento; yieldAll () puede tomar un objeto Iterable, un Iterador u otra Secuencia. Un argumento Sequence de yieldAll () puede ser infinito. Sin embargo, dicha llamada debe ser la última: todas las llamadas posteriores nunca se ejecutarán.

Veamos un ejemplo: 

val oddNumbers = secuencia {

    yield (1)

    yieldAll (listaDe (3, 5))

    yieldAll (generateSequence (7) {it + 2})

}

println (OddNumbers.take (5) .toList ())

Veamos la secuencia de fibonacci :

fun fibonacci(): Sequence<Int> = sequence {

    var fibo = Pair(0, 1)

    while (true) {

        yield(fibo.first)

        fibo = Pair(fibo.second, fibo.first + fibo.second)

    }

}


fun main(args: Array<String>) {

    fibonacci().take(4).toList().toString() eq "[0, 1, 1, 2]"

    fibonacci().take(10).toList().toString() eq  "[0, 1, 1, 2, 3, 5, 8, 13, 21, 34]"

}

Dejo link : https://kotlinlang.org/docs/reference/sequences.html

sábado, 17 de octubre de 2020

Estructuras de datos infinitas


En el post anterior, hablamos listas infinitas. Podemos definir una lista infinita de enteros consecutivos de la siguiente manera:

[1 ..]

Podemos evaluar esta lista, pero no se imprimirá en su totalidad. 

Debemos utilizar las funciones de take y drop para trabajar con listas infinitas. Esto permite realizar una cantidad finita de procesamiento en una lista infinita, pero no recorrerla infinitamente.

La razón por la que Haskell puede procesar listas infinitas es porque evalúa las listas de manera perezosa, es decir, solo evalúa los elementos de la lista cuando son necesarios.

Ahora echemos un vistazo a dos listas de enteros conocidas. Estudiaremos sus definiciones recursivas.

Números de Fibonacci : El n-ésimo número de Fibonacci es la suma de los dos números de Fibonacci anteriores. Los dos primeros números son ambos 1. Luego el tercero es 2, seguido de 3, 5, etc.

1, 1, 2, 3, 5, 8, 13, 21, ...

Esto se puede expresar en Haskell usando la función zipWith, combinando pares de elementos con el operador de suma.

let fibs = 1: 1: (zipWith (+) fibs (tail fibs))

Podemos evaluar elementos individuales de esta lista usando el !! y el indice. O podríamos tomar los primeros n elementos de la lista de fibs.

Números primos: A continuación se muestra una serie de expresiones de filtro para calcular una lista infinita de números primos.


properfactors :: Int -> [Int]

properfactors x = filter (\y->(x `mod` y == 0)) [2..(x-1)]


numproperfactors :: Int -> Int

numproperfactors x = length (properfactors x)


primes :: [Int]

primes = filter (\x-> (numproperfactors x == 0)) [2..]


La función de factores propios toma un valor entero x y devuelve una lista de factores propios para x. Los factores son números que dividen x y no dejan resto. Los factores adecuados para un número entero x no incluyen 1 ni x.

La función numproperfactors simplemente cuenta cuántos factores propios hay para x, devolviendo la longitud de la lista x de factores propios.

Finalmente, la lista de primos usa la función de filtro para seleccionar enteros x que no tienen factores en el rango de 2 a (x-1) inclusive.


Operando con listas en Haskell


Podemos indexar una lista numerando los elementos, comenzando con 0. Por tanto, una forma canónica de una lista con n elementos es [x0, x1, .. xn − 1].

El operador !! toma una lista y un índice y devuelve el elemento correspondiente.

[5,3,8,7] !! 2 -> 8

[0 .. 100] !! 81 -> 81

['a' .. 'z'] !! 13 -> 'n'

Si el índice es negativo o demasiado grande, se devuelve undefined.

Para una programación robusta, debemos asegurarnos de que todas las expresiones estén bien definidas o de que todas las excepciones sean capturadas y manejadas.

Hay funciones de biblioteca estándar para obtener primer elemento (head) o todo el resto de la lista (tail).

El resultado de aplicar head o tail a la lista vacía es indefinido

head :: [a] -> a

head [4,5,6] -> 4

tail :: [a] -> [a]

tail [4,5,6] -> [5,6]

Como recomendación: debemos evitar usar (head) y (tail), para evitar valores indefinidos. Se puede utilizar pattern matching que es más robusto.

Las listas en haskell son perezosas, hemos mencionado antes que Haskell es "perezoso", lo que significa que solo evalúa expresiones cuando son requeridas para la evaluación de otra expresión. Este comportamiento se extiende a listas, por lo que podemos definir listas infinitas usando secuencias, por ejemplo [1 .. ] es la lista de todos los enteros positivos. Otro ejemplo es la función primes (del paquete Data.Numbers.Primes) que devuelve una lista infinita de números primos. Una consecuencia de la pereza en las listas es que puede definir listas que contengan expresiones muy complejas y que consuman mucho tiempo, y siempre que nunca acceda a ellas, no se evaluarán. Lo mismo es cierto para una expresión incorrecta, por ejemplo, definir xs = [1,2, xs !! 5,4] no generará un error siempre que no acceda al tercer elemento.

Las listas también son inmutables. Como resultado, si definimos xs2 = xs ++ xs e intenta acceder al tercer elemento xs2 !! 2 seguirá dando como resultado un error porque xs no se ha modificado.

Curiosamente, si cambiamos la definición de xs a xs = [1,2, xs2 !! 5,4], entonces ambas xs !! 2 y xs2 !! 2 devolverá 2:

xs = [1,2, xs2 !! 5,4]

xs2 = xs ++ xs

xs2 !! 2 -> 2

xs !! 2 -> 2

Esta es una consecuencia de la evaluación de expresiones de Haskell a través de la reducción: el orden de las expresiones no importa.

martes, 13 de octubre de 2020

Lista de comprensión en Haskell


Una lista de comprensión es una notación de alto nivel para especificar el cálculo de una lista.

El compilador transforma automáticamente las comprensiones de una lista en una expresión utilizando una familia de funciones básicas que operan en listas.

Las comprensiones de listas se inspiraron en la comprensión de conjuntos de notación matemática.

Ejemplos de comprensiones de conjuntos:

Un conjunto obtenido al multiplicar los elementos de otro conjunto por 3 es {3 × x | x ← {1,…, 10}}.

El conjunto de números pares es {2 × x | x ← N}.

El conjunto de números impares es

{2 × x + 1 | x ← N}.

El producto cruzado de dos conjuntos A y B es {(a, b) | a ← A, b ← B}.

Ejemplos de listas por comprensión

[3 * x | x <- [1..10]]

-> [3,6,9,12,15,18,21,24,27,30]

[2 * x | x <- [0..10]]

-> [0,2,4,6,8,10,12,14,16,18,20]

[2 * x + 1 | x <- [0..10]]

-> [1,3,5,7,9,11,13,15,17,19,21]

[[a, b] | a <- [10,11,12], b <- [20,21]]

-> [[10,20], [10,21], [11,20], [11,21], [12,20], [12,21]]

lunes, 12 de octubre de 2020

Virtualenv de Python


¿qué es virtualenv? Virtualenv es una herramienta que nos permite realizar entornos python aislados. Imagine que tiene una aplicación que necesita la versión 2 de una biblioteca, pero otra aplicación requiere la versión 3. ¿Cómo puede utilizar y desarrollar ambas aplicaciones?

Si instala todo en /usr/lib/python2.7/site-packages (o cualquiera que sea la ubicación estándar de su plataforma), es fácil terminar en una situación en la que involuntariamente actualice un paquete.

En otro caso, imagina que tienes una aplicación que está completamente desarrollada y no quieres hacer ningún cambio en las bibliotecas que está usando, pero al mismo tiempo comienzas a desarrollar otra aplicación que requiere las versiones actualizadas de esas bibliotecas.

¿Qué harás? ¡Usa virtualenv! Crea entornos aislados para su aplicación de Python y esto nos permitirá instalar bibliotecas de Python en ese entorno aislado en lugar de instalarlas globalmente.

Para instalarlo, simplemente escriba este comando en el shell:

$ pip install virtualenv

Los comandos más importantes son:

$ virtualenv myproject

$ source myproject/bin/activat

Este primero crea un entorno virtualenv aislado en la carpeta myproject y el segundo comando activa ese entorno aislado.

Mientras crea el virtualenv, debe tomar una decisión. ¿Quiere que este virtualenv use paquetes de los paquetes de sitio de su sistema o los instale en los paquetes de sitio del virtualenv? De forma predeterminada, virtualenv no dará acceso a los paquetes globales del sitio.

Si desea que virtualenv tenga acceso a los paquetes de sistema, tenemos que activar --system-site-packages al crear su virtualenv de esta manera:

$ virtualenv --system-site-packages mycoolproject

Y Virtualenv se puede desactivar con : 

$ deactivate

Ejecutar Python después de la desactivación usará la instalación de Python del sistema.

Puede usar smartcd, que es una biblioteca para bash y zsh y le permite alterar su entorno bash (o zsh) mientras hace cd. Puede ser muy útil activar y desactivar un virtualenv cuando cambia de directorio. 

Dejo link: https://docs.python-guide.org/dev/virtualenvs/

sábado, 10 de octubre de 2020

Secuencias en Haskell

 


A veces es útil tener una secuencia de números. En notación matemática estándar, puede escribir 0,1,…, n.

Haskell tiene una notación de secuencia para listas.

Escriba la secuencia entre corchetes, con el valor inicial, el operador .. y el valor final.

[0 .. 5] -> [0,1,2,3,4,5]

[100 .. 103] -> [100,101,102,103]

Los elementos se incrementan en 1 y las secuencias no se limitan a números

Hay muchos tipos enumerables en los que existe una forma natural de incrementar un valor.

Puede utilizar secuencias en cualquier tipo.

Los caracteres son enumerables y se pueden expresar listas de esta manerá.

Por ejemplo:

[’A’ .. ’z’]

-> ['a', 'b', 'c', 'd', 'e', ​​'f', 'g', 'h', 'i', 'j', 'k', 'l', ' m ',' n ',' o ',' p ',' q ',' r ',' s ',' t ',' u ',' v ',' w ',' x ',' y ' , 'z']

es una lista de caracteres;

[’0’ .. ’9’]

-> [’0’, ’1’, ’2’, ’3’, ’4’, ’5’, ’6’, ’7’, ’8 ',' 9’]

es una lista de caracteres (que resultan ser los dígitos);

[0 .. 9]

-> [0,1,2,3,4,5,6,7,8,9]

es una lista de números.


Listas en Haskell


Una estructura de datos clave en todo lenguaje es la lista

Una lista es un valor único que contiene varios otros valores.

En haskell una lista esta representada por elementos se escriben entre paréntesis cuadrados, separados por comas.

['3', 'a']

[2.718, 50.0, -1.0]

Una función solo puede devolver un resultado. Sin embargo, las listas le permiten empaquetar varios valores en un objeto, que puede ser devuelto por una función.

Aquí hay una función (minmax) que devuelve el menor y el mayor de dos números:

minmax = \ x y -> [min x y, max x y]

minmax 3 8 -> [3,8]

minmax 8 3 -> [3,8]


Los elementos de una lista se evalúan perezosamente, de esta forma se pueden hacer listas infinitas. 

Puedes escribir una lista constante

mylist = [2,4,6,8]

Los elementos pueden ser expresiones y se evalúan solo cuando se utilizan. Suponga que define:

respuesta = 42

lista = [7, respuesta + 1, 7 * 8]

Si imprimimos esto : 

lista -> [7, 43, 56]

Pero mientras no se acceda a la expresión, no se evaluará.

El operador (++) toma dos listas existentes y retorna una nueva que contiene todos los elementos.

El operador se pronuncia append y se escribe como dos caracteres + consecutivos.

[23, 29] ++ [48, 41, 44] -> [23, 29, 48, 41, 44]

La longitud del resultado es siempre la suma de las longitudes de las listas originales.

Si xs es una lista, entonces [] ++ xs = xs = xs ++ [].



viernes, 9 de octubre de 2020

Enumeraciones en Python

Enumerate es una funcionalidad incorporada de Python. Nos permite recorrer algo y tener un contador automático. Aquí hay un ejemplo:

my_list = ['apple', 'banana', 'grapes', 'pear']

for counter, value in enumerate(my_list):

    print counter, value


# Output:

# 0 apple

# 1 banana

# 2 grapes

# 3 pear

¡Y hay más! enumerate también acepta un argumento opcional que nos permite especificar el índice de inicio del contador.

my_list = ['apple', 'banana', 'grapes', 'pear']

for c, value in enumerate(my_list, 1):

    print(c, value)


# Output:

# 1 apple

# 2 banana

# 3 grapes

# 4 pear

Un ejemplo de dónde resulta útil el argumento opcional de enumerate es la creación de tuplas que contienen el índice y el elemento de lista mediante una lista. Aquí hay un ejemplo:

my_list = ['apple', 'banana', 'grapes', 'pear']

counter_list = list(enumerate(my_list, 1))

print(counter_list)

# Output: [(1, 'apple'), (2, 'banana'), (3, 'grapes'), (4, 'pear')]

Dejo link : https://book.pythontips.com/en/latest/enumerate.html


jueves, 8 de octubre de 2020

Funciones en Haskell


Haskell es un lenguaje funcional, por lo que el concepto de función es esencial para el lenguaje. Una función toma uno o más argumentos y calcula un resultado. Dados los mismos argumentos, el resultado siempre será el mismo. Esto es similar a una función matemática y significa que en Haskell no hay efectos secundarios. Hay dos operaciones fundamentales en las funciones: definición de función (creando una función) y aplicación de función (usando una función para calcular un resultado).

En Haskell, muchas funciones están predefinidas en una biblioteca estándar llamada preludio.

¡Pero la esencia de la programación funcional es definir sus propias funciones para resolver sus problemas!

Una función se define mediante una ecuación.

f = \ x -> x + 1 - función lambda

- o

f x = x + 1 - función nombrada

Esto es equivalente af (x) = x + 1 en notación matemática.

El lado izquierdo de la ecuación parece una variable, y eso es lo que es

El lado derecho es una expresión que usa las variables locales listadas entre paréntesis y define el resultado de la expresión.

Una definición de función es una ecuación, p. Ej. f = ∖ x → x + 1

El lado izquierdo da el nombre de la función;

El lado derecho (el "cuerpo") es una expresión que da los parámetros formales y el valor de la aplicación. La expresión puede usar los parámetros.

Una aplicación es una expresión como f 31, donde 31 es el argumento.

La aplicación se evalúa reemplazándola con el cuerpo de la función, donde los parámetros formales son reemplazados por los argumentos.

Ejemplo de aplicacion

f = \ x -> x + 1

  f 3

-> {vincular x = 3}

  (x + 1) donde x = 3

-> {sustituye 3 por x}

  3 + 1

->

4

Podríamos tener funciones con multiples argumentos, una función con tres argumentos:

add3nums = \ x y z -> x + y + z

Para usarlo,

10 + 4 * add3nums 1 2 3

  10 + (4 * (add3nums 1 2 3))

  ->

  10 + (4 * (1 + 2 + 3))

  ->

  10 + (4 * 6)

  ->

  10 + 24

  ->

  34


miércoles, 7 de octubre de 2020

Libros Gratuitos de Java Code Geeks

 

Download IT Guides!

 

Selenium Programming Cookbook

Selenium is a portable software testing framework for web applications. Selenium provides a record/playback tool for authoring tests without learning a test scripting language (Selenium...

 
 

Spring Data Programming Cookbook

Spring Data’s mission is to provide a familiar and consistent, Spring-based programming model for data access while still retaining the special traits of the underlying data store. It...

 
 

Android Programming Cookbook

Android is a mobile operating system developed by Google, based on the Linux kernel and designed primarily for touchscreen mobile devices such as smartphones and tablets. Android's user...

 
 

Java NIO Programming Cookbook

java.nio (NIO stands for non-blocking I/O) is a collection of Java programming language APIs that offer features for intensive I/O operations. It was introduced with the J2SE 1.4 release...

 

lunes, 5 de octubre de 2020

Function caching de Python


El almacenamiento en caché de funciones nos permite almacenar en caché los valores de retorno de una función en función de los argumentos. Puede ahorrar tiempo cuando se llama periódicamente a una función vinculada a entrada/salida con los mismos argumentos. Antes de Python 3.2, teníamos que escribir una implementación personalizada. En Python 3.2+ hay un decorador lru_cache que nos permite almacenar en caché y deseleccionar rápidamente los valores de retorno de una función.

Veamos cómo podemos usarlo en Python 3.2+ 

Implementemos una secuencia de Fibonacci y usemos lru_cache.


from functools import lru_cache


@lru_cache(maxsize=32)

def fib(n):

    if n < 2:

        return n

    return fib(n-1) + fib(n-2)


>>> print([fib(n) for n in range(10)])

# Output: [0, 1, 1, 2, 3, 5, 8, 13, 21, 34]


El argumento maxsize le dice a lru_cache cuántos valores de retorno recientes se almacenan en caché.

También podemos eliminar en caché fácilmente los valores de retorno usando:

fib.cache_clear()

domingo, 4 de octubre de 2020

Test para comprobar de que todos los métodos de los servicios están anotados con @Transactional


Si bien es medio viejo esto, lo use hace poco en un proyecto (tambien medio viejo) pero pensé que les podría ser útil. 

Un método común para establecer límites de transacciones en Spring Framework es utilizar su gestión de transacciones impulsada por anotaciones y anotar métodos de servicio con la anotación @Transactional. Parece bastante simple, ¿verdad? Si y no. Aunque la gestión de transacciones impulsada por anotaciones de Spring Framework es fácil de configurar y usar, hay algunas cosas que debe recordar hacer:

  • Debe recordar anotar cada método de servicio con la anotación @Transactional. Esto puede parecer una tarea fácil, pero como probablemente eres un ser humano, también eres capaz de cometer errores. Un error como este podría dejar la base de datos de su aplicación en un estado inconsistente si algo sale mal mientras su aplicación escribe información en la base de datos.
  • Si desea revertir la transacción cuando un método de servicio arroja una excepción marcada, debe especificar la clase de excepción marcada lanzada como un valor de la propiedad rollbackFor de la anotación @Transactional. Esto es necesario porque, por defecto, Spring Framework no revertirá la transacción cuando se lanza una excepción marcada. Si el atributo rollbackFor es de la anotación @Transactional no está configurado y se lanza una excepción marcada cuando su aplicación está escribiendo información en la base de datos, la base de datos de su aplicación podría terminar en un estado inconsistente.

Afortunadamente, es bastante fácil implementar una prueba que garantice qu

  • Cada método de una clase de servicio, excepto los getter y setter, se anota con una anotación @Transactional.
  • Cada excepción checked que lanza un método de servicio se establece como un valor de la propiedad rollbackFor de la anotación @Transactional.
  • Como beneficio adicional, esta prueba también verificará que cada clase de servicio esté anotada con la anotación @Service.

Sin más el test : 

public class ServiceAnnotationTest {

 

    private static final String PACKAGE_PATH_SEPARATOR = ".";

 

    /*

     * A string which is used to identify getter methods. All methods whose name contains the given string

     * are considered as getter methods.

     */

    private static final String GETTER_METHOD_NAME_ID = "get";

    private static final String FILE_PATH_SEPARATOR = System.getProperty("file.separator");

 

    /*

     * The file path to the root folder of service package. If the absolute path to the service package

     * is /users/foo/classes/com/bar/service and the classpath base directory is /users/foo/classes,

     * the value of this constant must be /com/bar/service.

     */

    private static final String SERVICE_BASE_PACKAGE_PATH = "/com/bar/service";

 

    /*

     * A string which is used to identify setter methods. All methods whose name contains the given string

     * are considered as setter methods.

     */

    private static final String SETTER_METHOD_NAME_ID = "set";

 

    /*

     * A string which is used to identify the test classes. All classes whose name contains the given string

     * are considered as test classes.

     */

    private static final String TEST_CLASS_FILENAME_ID = "Test";

 

    private List<Class> serviceClasses;

 

    /**

     * Iterates through all the classes found under the service base package path (and its sub directories)

     * and inserts all service classes to the serviceClasses array.

     *

     * @throws IOException

     * @throws ClassNotFoundException

     */

    @Before

    public void findServiceClasses() throws IOException, ClassNotFoundException {

        serviceClasses = new ArrayList<Class>();

        PathMatchingResourcePatternResolver resolver = new PathMatchingResourcePatternResolver();

        Resource[] resources = resolver.getResources("classpath*:" + SERVICE_BASE_PACKAGE_PATH + "/**/*.class");

        for (Resource resource : resources) {

            if (isNotTestClass(resource)) {

                String serviceClassCandidateNameWithPackage = parseClassNameWithPackage(resource);

                ClassLoader classLoader = resolver.getClassLoader();

                Class serviceClassCandidate = classLoader.loadClass(serviceClassCandidateNameWithPackage);

                if (isNotInterface(serviceClassCandidate)) {

                    if (isNotException(serviceClassCandidate)) {

                        if (isNotEnum(serviceClassCandidate)) {

                            if (isNotAnonymousClass(serviceClassCandidate)) {

                                serviceClasses.add(serviceClassCandidate);

                            }

                        }

                    }

                }

            }

        }

    }

 

    /**

     * Checks if the resource given a as parameter is a test class. This method returns

     * true if the resource is not a test class and false otherwise.

     *

     * @param resource

     * @return

     */

    private boolean isNotTestClass(Resource resource) {

        return !resource.getFilename().contains(TEST_CLASS_FILENAME_ID);

    }

 

    /**

     * Checks if the resource given as a parameter is an exception class. This method returns true

     * if the class is not an exception class and false otherwise.

     *

     * @param exceptionCanditate

     * @return

     */

    private boolean isNotException(Class exceptionCanditate) {

        return !Exception.class.isAssignableFrom(exceptionCanditate) &&

                !RuntimeException.class.isAssignableFrom(exceptionCanditate) &&

                !Throwable.class.isAssignableFrom(exceptionCanditate);

    }

 

    /**

     * Parses a class name from the absolute path of the resource given as a parameter

     * and returns the parsed class name. E.g. if the absolute path of the resource is

     * /user/foo/classes/com/foo/Bar.class, this method returns com.foo.Bar.

     *

     * @param resource

     * @return

     * @throws IOException

     */

    private String parseClassNameWithPackage(Resource resource) throws IOException {

        String pathFromClasspathRoot = parsePathFromClassPathRoot(resource.getFile().getAbsolutePath());

        String pathWithoutFilenameSuffix = parsePathWithoutFilenameSuffix(pathFromClasspathRoot);

        return buildClassNameFromPath(pathWithoutFilenameSuffix);

    }

 

    /**

     * Parses the path which starts from the classpath root directory by using the

     * absolute path given as a parameter. Returns the parsed path.

     * E.g. If the absolute path is /user/foo/classes/com/foo/Bar.class and the classpath

     * root directory is /user/foo/classes/, com/foo/Bar.class is returned.

     *

     * @param absolutePath

     * @return

     */

    private String parsePathFromClassPathRoot(String absolutePath) {

        int classpathRootIndex = absolutePath.indexOf(SERVICE_BASE_PACKAGE_PATH);

        return absolutePath.substring(classpathRootIndex + 1);

    }

 

    /**

     * Removes the file suffix from the path given as a parameter and returns new path

     * without the suffix. E.g. If path is com/foo/Bar.class, com/foo/Bar is returned.

     *

     * @param path

     * @return

     */

    private String parsePathWithoutFilenameSuffix(String path) {

        int prefixIndex = path.indexOf(PACKAGE_PATH_SEPARATOR);

        return path.substring(0, prefixIndex);

    }

 

    /**

     * Builds a class name with package information from a path given as a parameter and

     * returns the class name with package information. e.g. If a path com/foo/Bar is given

     * as a parameter, com.foo.Bar is returned.

     *

     * @param path

     * @return

     */

    private String buildClassNameFromPath(String path) {

        return path.replace(FILE_PATH_SEPARATOR, PACKAGE_PATH_SEPARATOR);

    }

 

    /**

     * Checks if the class given as an argument is an interface or not.

     * Returns false if the class is not an interface and true otherwise.

     *

     * @param interfaceCanditate

     * @return

     */

    private boolean isNotInterface(Class interfaceCanditate) {

        return !interfaceCanditate.isInterface();

    }

 

    /**

     * Checks if the class given as an argument is an Enum or not.

     * Returns false if the class is not Enum and true otherwise.

     *

     * @param enumCanditate

     * @return

     */

    private boolean isNotEnum(Class enumCanditate) {

        return !enumCanditate.isEnum();

    }

 

    /**

     * Checks if the class given as a parameter is an anonymous class.

     * Returns true if the class is not an anonymous class and false otherwise.

     *

     * @param anonymousClassCanditate

     * @return

     */

    private boolean isNotAnonymousClass(Class anonymousClassCanditate) {

        return !anonymousClassCanditate.isAnonymousClass();

    }

 

    /**

     * Verifies that each method which is declared in a service class and which is not a

     * getter or setter method is annotated with Transactional annotation. This test

     * also ensures that the rollbackFor property of Transactional annotation specifies

     * all checked exceptions which are thrown by the service method.

     */

    @Test

    public void eachServiceMethodHasTransactionalAnnotation() {

        for (Class serviceClass : serviceClasses) {

            Method[] serviceMethods = serviceClass.getMethods();

            for (Method serviceMethod : serviceMethods) {

                if (isMethodDeclaredInServiceClass(serviceMethod, serviceClass)) {

                    if (isNotGetterOrSetterMethod(serviceMethod)) {

                        boolean transactionalAnnotationFound = serviceMethod.isAnnotationPresent(Transactional.class);

                        assertTrue("Method " + serviceMethod.getName() + " of " + serviceClass.getName() + " class must be annotated with @Transactional annotation.", transactionalAnnotationFound);

                        if (transactionalAnnotationFound) {

                            if (methodThrowsCheckedExceptions(serviceMethod)) {

                                boolean rollbackPropertySetCorrectly = rollbackForPropertySetCorrectlyForTransactionalAnnotation(serviceMethod.getAnnotation(Transactional.class), serviceMethod.getExceptionTypes());

                                assertTrue("Method " + serviceMethod.getName() + "() of " + serviceClass.getName() + " class must set rollbackFor property of Transactional annotation correctly", rollbackPropertySetCorrectly);

                            }

                        }

                    }

                }

            }

        }

    }

 

    /**

     * Checks that the method given as a parameter is declared in a service class given as

     * a parameter. Returns true if the method is declated in service class and false

     * otherwise.

     *

     * @param method

     * @param serviceClass

     * @return

     */

    private boolean isMethodDeclaredInServiceClass(Method method, Class serviceClass) {

        return method.getDeclaringClass().equals(serviceClass);

    }

 

    /**

     * Checks if the method given as parameter is a getter or setter method. Returns true

     * if the method is a getter or setter method an false otherwise.

     *

     * @param method

     * @return

     */

    private boolean isNotGetterOrSetterMethod(Method method) {

        return !method.getName().contains(SETTER_METHOD_NAME_ID) && !method.getName().contains(GETTER_METHOD_NAME_ID);

    }

 

    /**

     * Checks if the method given as a parameter throws checked exceptions. Returns true

     * if the method throws checked exceptions and false otherwise.

     *

     * @param method

     * @return

     */

    private boolean methodThrowsCheckedExceptions(Method method) {

        return method.getExceptionTypes().length > 0;

    }

 

    /**

     * Checks if the transactional annotation given as a parameter specifies all checked exceptions

     * given as a parameter as a value of rollbackFor property. Returns true if all exceptions

     * are specified and false otherwise.

     *

     * @param annotation

     * @param thrownExceptions

     * @return

     */

    private boolean rollbackForPropertySetCorrectlyForTransactionalAnnotation(Annotation annotation, Class<?>[] thrownExceptions) {

        boolean rollbackForSet = true;

 

        if (annotation instanceof Transactional) {

            Transactional transactional = (Transactional) annotation;

            List<Class<? extends Throwable>> rollbackForClasses = Arrays.asList(transactional.rollbackFor());

            for (Class<?> thrownException : thrownExceptions) {

                if (!rollbackForClasses.contains(thrownException)) {

                    rollbackForSet = false;

                    break;

                }

            }

        }

 

        return rollbackForSet;

    }

 

    /**

     * Verifies that each service class is annotated with @Service annotation.

     */

    @Test

    public void eachServiceClassIsAnnotatedWithServiceAnnotation() {

        for (Class serviceClass : serviceClasses) {

            assertTrue(serviceClass.getSimpleName() + " must be annotated with @Service annotation", serviceClass.isAnnotationPresent(Service.class));

        }

    }

}

Dejo link : https://www.petrikainulainen.net/programming/tips-and-tricks/testing-that-all-service-methods-are-annotated-with-transactional-annotation/



Que diferencia tiene Unit y Nothing en Kotlin o en Scala??

Que diferencia tiene Unit y Nothing en Kotlin o en Scala?? Dado que kotlin se ha "inspirado" en muchas cosas de Scala. Por lo tanto creo que en este caso los 2 lenguajes son iguales. (En realidad no estoy tan seguro, comenten si tienen otra información)


Antes de hablar de diferencias, veamos similitudes : 

Unit:  Unit en Kotlin o Scala corresponde al void en Java y de C. Al igual que void, Unit es el tipo de retorno de cualquier función que no devuelva ningún valor significativo, y es opcional mencionar Unit como tipo de retorno. Pero a diferencia de void, Unit es una clase real (en kotlin) o object (en Scala) con una sola instancia.

Nothing: Nothing es un tipo en Kotlin que represente "un valor que nunca existe", eso significa simplemente "ningún valor en absoluto".

Nothing se puede usar como el tipo de retorno de una función que nunca devuelve la ejecución del código, como, en bucle para siempre o siempre arroja Exception. Java no tiene nada similar al tipo Nothing.

Veamos unos ejemplos donde debemos utilizar Nothing como tipo de retorno.


Supongamos que hay una función reportError() que siempre lanza una RuntimeException. En una aplicación real, este reportError() puede agregar algunos registros útiles adicionales antes de lanzar la excepción o arroja diferentes excepciones basadas en diferentes condiciones.

En java se implementaría : 

void reportError() {

    throw new RuntimeException();

}

En Kotlin : 

fun reportError(): Nothing {

    throw RuntimeException()

}

En Scala : 

def reportError(): Nothing {

    throw RuntimeException()

}


Como vemos Nothing debe ser escrito explícitamente como el tipo de retorno; de lo contrario, el tipo de retorno seguirá siendo Unit.

¿Qué pasará si colocamos por error alguna linea de código después de llamar a este método reportError ()?

// Java

int i = 0;

void exampleOne() {

    reportError(); // throws RuntimeException

    i = 1; // This is unreachable code. But there is no warning.

}

En java no pasaría nada, pero pero en kotlin nos avisaría : 


// Kotlin

var i = 0;

fun exampleOne() {

    reportError(); // throws RuntimeException

    i = 1; // We will get an 'Unreachable code' warning here. 

}

En Kotlin tendríamos un warning. 


Otra cuestión importante es que Nothing implementa o se puede hacer pasar por diferentes tipos, lo que permite que hagamos lo siguiente : 

  /** `???` can be used for marking methods that remain to be implemented.

   *  @throws NotImplementedError

   */

  def ??? : Nothing = throw new NotImplementedError

Y luego utilizar ??? para marcar una función que nos falta implementar. 

  /**

   * Filtra los elementos pares

   */

  def filtrarPares(xs: List[Int]): List[Int] = ???

Y tiene más usos Nothing por ejemplo Nil que es la lista vacia es de tipo List[Nothing] dado que este tipo puede hacerse pasar por otros tipos. 

Ojo que hay algunas diferencias entre Scala y Kotlin más que nada en los nulleables de kotlin pero la idea general es esta.

Y creo que estamos, si me olvide de algo, para eso están los comentarios!

viernes, 2 de octubre de 2020

Desactivar o activar las constraints de una o muchas tablas en base de datos Oracle


Muchas veces en nuestra vida profesional tenemos que insertar datos por X motivos ignorando las constraints. Vale aclarar que esto es peligroso y no se tendría que hacer nunca pero pero la vida nos lleva por mal camino a veces. Entonces podemos hacer esto para desactivar las constraints de mis tablas : 

begin

for i in (select constraint_name, table_name from user_constraints where table_name in ('tabla1', 'tabla2', 'tabla3')) LOOP

execute immediate 'alter table '||i.table_name||' disable constraint '||i.constraint_name||'';

end loop;

end;

/

Y para habilitarlas: 


begin

for i in (select constraint_name, table_name from user_constraints where table_name in ('tabla1', 'tabla2', 'tabla3')) LOOP

execute immediate 'alter table '||i.table_name||' ENABLE constraint '||i.constraint_name||'';

end loop;

end;

/


Y Listo!