Eclipse OMR

IBM ha creado Eclipse OMR, un conjunto de herramientas de código abierto para máquina virtual java con el objetivo de crear entornos de ejecución para cualquier lenguaje. OMR pretende potenciar nuevos lenguajes en la jvm. Para lograr esto, IBM está generalizando su propia JVM, J9.

Aunque la JVM es cada vez más más políglota, su estrecha relación con el lenguaje Java significa que los lenguajes que corren en ella tiene que estar ligados a java. Esto causa problemas especialmente a los lenguajes de tipado dinámico, por ejemplo hasta la adición de InvokeDynamic en Java 7, lenguajes dinámicos tuvieron que hacer uso de soluciones ineficientes para superar la naturaleza de tipo estático de la JVM, que repercute notablemente en el rendimiento.

Aunque OMR no es un motor de ejecución en sí mismo, es un conjunto de herramientas para crear fácilmente los runtimes. OMR proporciona una implementación de JVM independiente de las características de Java y proporcionando las características más comunes de los runtimes.

Este proyecto esta en incubadora pero se espera un gran futuro. Otra cosa es opensource y con licencia eclipse 1 y apache 2.

Dejo link: https://projects.eclipse.org/proposals/omr

Oracle Technology Network

Me llego este mail y quiero compartirlo con ustedes, al parecer tenemos videos para estudiar en castellano y gratuitos:

Ver este mensaje en un navegador Web

Súmese a esta experiencia de aprendizaje práctico gratuito con Oracle y expertos de la comunidad Estimado/a Emanuel Goette, Oracle Technology Network lo invita a participar en la nueva Cumbre de Tecnología Virtual. Escuche a los participantes de los programas ACE y Java Champion de Oracle, y a los expertos en productos Oracle, quienes compartirán sus reflexiones y conocimientos en laboratorios prácticos, presentaciones de alto contenido técnico y demostraciones. Obtenga conocimientos en su propio idioma; sesiones de video en español. El evento online ofrece cuatro módulos técnicos, cada uno enfocado en herramientas, tecnologías, prácticas recomendadas y sugerencias específicas: Base de datos: El módulo sobre bases de datos ofrece las últimas actualizaciones para administradores de bases de datos y desarrolladores de Oracle. Se trabajará en profundidad sobre las opciones avanzadas de Oracle Database 12c, y el desarrollo de aplicaciones de nueva generación con JSON, Node.JS y la nube de Oracle Database. Middleware: El módulo sobre middleware está pensado para desarrolladores que deseen adquirir nuevas competencias en áreas tecnológicas emergentes como la Internet de las cosas (IoT), las aplicaciones móviles y los servicios PaaS. En este módulo también se ofrecerán las últimas actualizaciones sobre Oracle WebLogic 12.2.1. Java : En este módulo, le mostraremos mejoras incorporadas en la plataforma y las API de Java. También se enterará de cómo desarrollar aplicaciones innovadoras con el lenguaje Java empleando microservicios, programación concurrente, e integración con otros lenguajes y herramientas, y obtendrá conocimientos sobre las API que aumentarán considerablemente su productividad. Sistemas: El módulo sobre sistemas, diseñado para administradores, abordará las prácticas recomendadas para implementar, optimizar y proteger los sistemas operativos, las herramientas de gestión y el hardware. Esta cumbre VTS girará en torno de los sistemas operativos y la virtualización, así como de las prácticas recomendadas en materia de almacenamiento y desarrollo de software. ¡Mire los videos en español hoy mismo! Copyright © 2016, Oracle Corporation. Todos los derechos reservados. Contáctenos | Avisos legales y Condiciones de Uso | Declaración de Privacidad

SEV100524063_LRT100524032

Oracle Corporation - Worldwide Headquarters, 500 Oracle Parkway, OPL - E-mail Services, Redwood Shores, CA 94065, United States Su privacidad es importante para nosotros. Puede iniciar sesión en su cuenta para actualizar sus suscripciones a correos electrónicos o puede optar por no recibir los correos electrónicos de Oracle Marketing en cualquier momento. Sepa que desuscribirse de las comunicaciones de Marketing no afecta el envío de comunicaciones importantes de negocios en su relación actual de negocios con Oracle como Actualizaciones de seguridad, Avisos de registros para eventos, Administración de cuentas y Comunicaciones de Soporte/Servicios.

C# 7 Previewed

Si puse el titulo en ingles, queda mejor "Previewed" que "una ojeada", jeje

C# cada vez se parece más a scala y en esta version trae pattern matching, toma tu torta:

case int x when x > 0:
case int y:

También descomposición por pattern matching:

Una de las cosas buenas que tiene pattern matching, es que se pueden descomponer elementos para poder analizarlos. En la próxima versión de C# testing.

 if (person is Professor {Subject is var s, FirstName is "Scott"})

Que más tenemos? Bueno, tambien tenemos mejoras en el tipo tupas por ejemplo. Pero todos los ojos están puestos en pattern matching.

Dejo link: http://www.infoq.com/news/2016/04/CSharp-7

¡Quicksort en Haskell!

Me estoy robando un pedazo de código de : http://aprendehaskell.es/content/Recursion.html que es un excelente libro. No digan nada...

Básicamente me tiene obnubilado quicksort en Haskell, decir si les cuento lo que hace o leen el código, es lo mismo porque el código pinta exactamente el algoritmo, sin agregar nada.

quicksort :: (Ord a) => [a] -> [a]
quicksort [] = []
quicksort (x:xs) =
    let smallerSorted = quicksort [a | a <- xs, a <= x]
        biggerSorted  = quicksort [a | a <- xs, a > x]
    in  smallerSorted ++ [x] ++ biggerSorted

Si no lo entendes por que andas flojo de Haskell te lo explico, las primera linea declara la función.

quicksort :: (Ord a) => [a] -> [a]

En la segunda dice, si viene una lista vacía ya fue, el resultado es una lista vacía.

quicksort [] = []

En la tercera linea utiliza pattern matching, para separar el primer elemento del resto. Es decir, lo que esta diciendo es: si no es vacía, separala en el primer elemento "x" y el resto "xs".

quicksort (x:xs) =

En las 2 lineas siguientes define 2 listas la de menores y mayores, para esto utiliza listas por comprensión:

 [a | a <- xs, a <= x]

Es decir, aquí se esta diciendo: a tal que a pertenezca a xs (es decir al resto)  y  que a sea menor o igual que x. De la misma forma define el mayor pero con mayor (y claro!)

Y estas listas las ordena con el algoritmo quicksort utilizando recursividad.

Definidas estas listas devuelve la concatenación de la lista de elementos menores a x (ordenada), x  y los mayores a x. Por lo que devuelve la lista ordenada.

Y listo!!!

Spring Data Programming Cookbook

Encontré este libro gratuito y lo quiero compartir con ustedes.

Es bastante resumido, pero tiene varios ejemplos de spring data conectados con varios almacenes de datos, JPA, neo4j, mongoDB, REST, casandra, Solr, etc...

Dejo link: 

http://elbauldelprogramador.tradepub.com/free/w_java22/

SQL Server 2016 se viene con sorpresas

Si, es raro esta noticia aca. Esto es así porque no soy muy amante de sql server. Pero espero que la versión 2016 me haga cambiar de parecer.

Lo más notorio de la nueva versión es un cambio en el modo en que maneja las tablas en memoria, esto promete ser mucho más eficiente que la forma anterior.

Entre las mejoras podemos nombrar:

• Manejo optimizado de Constraints
• Mejoras en la compilación de Stored Procedure  nativos.
• Mejoras en funciones y  Triggers nativos.

No vi si hay mejoras en linux, espero que llegue una versión estable tanto para windows como linux.

Dejo link:
https://www.microsoft.com/en-us/server-cloud/products/sql-server-2016/

Learn You an Agda and Achieve Enlightenment!

Como todos tendemos a la iluminación les quiero recomendar esta pagina, en la cual nos enseñan sobre el lenguaje Agda. Para el que no leyó el post anterior Agda es un lenguaje funcional con dependently typed. A la vez esta muy emparentado con nuestro amigo Haskell. Por lo que es bueno tener nociones de Haskell antes de leer esta libro.

Sin más y esperando la iluminación, dejo link:
http://learnyouanagda.liamoc.net/

Dependently typed languages

Existe una lucha en la oscuridad que nosotros poco conocemos entre tipado dinámico y estático. En cualquier sitio de programación se ven tablas comparativas con ventajas y desventajas de cada uno.

En el plano de la investigación hubo un gran adelanto en este tema con las teorías de dependently typed languages, que expanden los limites del tipado estático.

Dependent type es un concepto de la programación pero también de la lógica; Dependent type es un tipo que depende de un valor. En la programación funcional se utiliza para prevenir errores, al permitir un sistema de tipo extensivo.

Dependent type añaden complejidad a un sistema de tipos. Es decir, para saber un tipo en algunos casos se deben realizar cálculos o ejecutar sentencias; esto hace bastante complejo el proceso de chequeo de tipos; y en algunos casos imposible. Pero algunos aspectos del comportamiento de un programa se pueden especificar con precisión en el tipo.

Entre los lenguajes que implementan esta tecnica tenemos:

Agda: Agda es un lenguaje funcional con dependent typed. Es similar a Epigram pero con una sintaxis más parecida a Haskell-like syntax.

Idris: Lenguaje de proposito general muy parecido a haskell pero con  dependent typed

Cayenne: Este lenguaje fue influido por la teoría constructive type (pero eso es para otro post)

Que ventajas trae Dependently typed:
-Se pueden encontrar más errores en tiempo de compilación
-Editores que nos ayuden más
-Puede checkear que los elementos de tu programa estén bien.

Todo muy lindo, pero vamos con algo menos abstracto, vamos a ver una definición de tipo en Idris:

data Vect : Nat -> Type -> Type where
    Nil : Vect Z a
    (::) : a -> Vect k a -> Vect (S k) a

ufff, y yo pienso que mi vida es complicada...

Veamos, en la primera linea decimos, que definimos una familia de tipos que toman un Nat y retornan un tipo. Entonces le decimos cuando, en esta sentencia tiene que haber siempre al menos un verdadero. Es parecido a pattern maching pero con tipos.

Este tema es muy interesante voy a seguir con esto en futuros post.

Dejo link: https://wiki.haskell.org/Dependent_type

Elixir School

Inspirados en scala school la gente de elixir creo Elixir school, básicamente una pagina para aprender elixir y lo bueno que entre los idiomas disponibles esta el castellano.

Que más decir, a estudiar!!

Dejo links:
https://elixirschool.com/es/
http://elixirschool.com/

Programación lógica con miniKanren

Siempre pero siempre pero siempre que escuchamos sobre programación lógica, relacionamos con prolog y hacemos bien. Pero prolog no es la única opción.

Con ustedes miniKanren.

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.

miniKanren fue diseñado para ser simple y fácil pero a la vez fácil de extender.

Veamos un ejemplo:

(run* [q] (== q 1))

Esto parece una linea de codigo pero hace muchas cosas.

run* retorna la lista de comandos que se pueden ejecutar. q es una variable booleana.

Como podemos ver miniKanren es simple y open source!

Dejo link: http://minikanren.org/

1bookcase

Les quiero compartir una muy buena pagina para bajar libros. La verdad que esta pagina me puso muy contento dado que encontré muy buenos libros y algunos que hace rato que le sigo la pista.

Dejo link: https://1bookcase.com/

Scalacenter, para open source y para aprender

Scalacenter es un sitio publicado por EPFL y varias empresas interesadas en la enseñanza de la tecnología basada en scala.

Este centro tiene como objetivo:

• Dar soporte y guias a la comunidad Scala
• Coordinar y desarrollar librerías y herramientas open source para el beneficio de todos. 
• Proveer educación de calidad 

En el sitio se puede ver que nos prometen 4 cursos en coursera:

• Functional Programming Principles in Scala by Martin Odersky
• Functional Program Design in Scala by Martin Odersky
• Parallel Programming by Viktor Kuncak, Aleksandar Prokopec
• Big Data Analysis in Scala and Spark by Heather Miller

Puff vamos a tener para estudiar!!!!

Dejo link: https://scala.epfl.ch/

PHP 7.0.1 ya está entre nosotros

Medio tarde llegue con la noticia, PHP 7.0.1 ya esta aquí. Este popular lenguaje para desarrollo web gana en potencia y, sobre todo, en rapidez y comodidad para los desarrolladores.  Entre sus muchas novedades, introduce nuevos operadores, sintaxis y mejoras en la gestión de errores que permiten que  PHP 7 sea hasta dos veces más rápido que las versiones anteriores.

Desde el pasado diciembre, ya se encuentra disponible la nueva versión de PHP, un lanzamiento que supone un antes y un después para la historia de PHP, un lenguaje de gran trayectoria en el mundo web.

Esta primera versión es hasta dos veces más rápida que PHP 5.6, y reduce significativamente la cantidad de memoria necesaria para su funcionamiento. Además, PHP 7 facilita la vida de los programadores con una buena cantidad de herramientas disponibles en otros lenguajes, uso explícito de tipos de datos, aserts, mejor gestión de las excepciones, clases anónimas, y con la eliminación diversas API y extensiones que se habían quedado ya obsoletas.

Dejo link: http://php.net/archive/2015.php#id2015-12-17-1

Simplificando el testing con JUnit 5 y lambda

Con el advenimiento de java 8 y lambda, las librerías Java se van actualizando en este caso tenemos la noticia de junit. Junit utilizo las ventajas de lambda para mejorar nuestros test.

Veamos un ejemplo:

@Test
void groupedAssertions() {
    assertAll("address",
            () -> assertEquals("John", address.getFirstName()),
            () -> assertEquals("User", address.getLastName())
    );
}

@Test
    void exceptionTesting() {
        Throwable exception = expectThrows(IllegalArgumentException.class, () -> {
            throw new IllegalArgumentException("a message");
        });
        assertEquals("a message", exception.getMessage());
   }

Por ahora JUnit 5 esta en alpha, pero en un futuro vamos a poder utilizarlo.

Dejo link: http://junit-team.github.io/junit5/

Microsoft SQL Server en Linux ya es una realidad.

No es una broma, es totalmente cierto...

Sip, SQL server corre en linux y ya tiene una versión estable. La verdad es que no se que más decir, solo que tenemos que probarla.

Dejo link: http://blogs.microsoft.com/blog/2016/03/07/announcing-sql-server-on-linux/