Que es Ownership en Rust ? Parte 2

Seguimos con Rust. 

Ya hemos visto literales de cadena, donde un valor de cadena está codificado en nuestro programa. Los literales de cadena son convenientes, pero no son adecuados para cada situación en la que deseemos usar texto. Una razón es que son inmutables. Otra es que no todos los valores de cadena se pueden conocer cuando escribimos nuestro código: por ejemplo, ¿qué pasa si queremos tomar la entrada del usuario y almacenarla? Para estas situaciones, Rust tiene un segundo tipo de cadena, String. Este tipo se asigna en el Head y, como tal, puede almacenar una cantidad de texto que no conocemos en el momento de la compilación. Puede crear una cadena a partir de un literal de cadena usando la función from, de esta manera:

let s = String::from("hello");

Los dos puntos (::) permiten obtener un string de la palabra. 

Este tipo de cadena se puede mutar:

    let mut s = String::from("hello");

    s.push_str(", world!"); // push_str() appends a literal to a String

    println!("{}", s); // This will print `hello, world!`

Entonces, ¿cuál es la diferencia aquí? ¿Por qué String puede mutar pero los literales no? La diferencia es cómo estos dos tipos manejan la memoria.

En el caso de un literal de cadena, conocemos el contenido en tiempo de compilación, por lo que el texto se codifica directamente en el ejecutable final. Es por eso que los literales de cadena son rápidos y eficientes. Pero estas propiedades solo provienen de la inmutabilidad del literal de cadena. Desafortunadamente, no podemos poner una gota de memoria en el binario para cada fragmento de texto cuyo tamaño se desconoce en el momento de la compilación y cuyo tamaño puede cambiar mientras se ejecuta el programa.

Con el tipo String, para admitir una parte de texto mutable y ampliable, necesitamos asignar una cantidad de memoria en el Head, desconocida en el momento de la compilación, para contener los contenidos. Esto significa:

La memoria debe solicitarse al asignador de memoria en tiempo de ejecución.

Necesitamos una forma de devolver esta memoria al asignador cuando hayamos terminado con nuestra cadena.

Nosotros hacemos la primera parte: cuando llamamos a String :: from, su implementación solicita la memoria que necesita. Esto es bastante universal en los lenguajes de programación.

Sin embargo, la segunda parte es diferente. En lenguajes con un recolector de basura (GC), el GC realiza un seguimiento y limpia la memoria que ya no se usa, y no tenemos que pensarlo. Sin un GC, es nuestra responsabilidad identificar cuándo ya no se usa la memoria y llamar al código para devolverlo explícitamente, tal como lo hicimos para solicitarlo. Hacer esto correctamente ha sido históricamente un problema de programación difícil. Si lo olvidamos, desperdiciaremos memoria. Si lo hacemos demasiado pronto, tendremos una variable no válida. Si lo hacemos dos veces, eso también es un error. Necesitamos emparejar exactamente una asignación con exactamente una libre.

Rust toma un camino diferente: la memoria se devuelve automáticamente una vez que la variable que la posee queda fuera de alcance. Aquí hay una versión de nuestro ejemplo de alcance usando una Cadena en lugar de una cadena literal:

    {

        let s = String::from("hello"); // s is valid from this point forward

        // do stuff with s

    }

Hay un punto natural en el que podemos devolver la memoria que nuestro String necesita al asignador: cuando s sale del alcance. Cuando una variable queda fuera de alcance, Rust llama a una función especial para nosotros. Esta función se llama soltar, y es donde el autor de String puede poner el código para devolver la memoria. Las llamadas de Rust caen automáticamente en el corchete de cierre.

Nota: En C ++, este patrón de asignación de recursos al final de la vida útil de un elemento a veces se denomina Adquisición de recursos es inicialización (RAII). La función de caída en Rust le resultará familiar si ha utilizado patrones RAII.

Este patrón tiene un profundo impacto en la forma en que se escribe el código Rust. Puede parecer simple en este momento, pero el comportamiento del código puede ser inesperado en situaciones más complicadas cuando queremos que múltiples variables usen los datos que hemos asignado en el Head. 

Que es Ownership en Rust ?

Primero aclaro que no quise traducir Ownership a Propiedad o algo así porque normalmente en videos y eventos se habla de Ownership por lo tanto me parece lo más acertado seguir con esto. 

La característica central de Rust es el Ownership. Aunque es la característica es fácil de explicar, tiene profundas implicaciones para el resto del lenguaje.

Ownership es la característica más exclusiva de Rust, y le permite a Rust garantizar la seguridad de la memoria sin necesidad de un recolector de basura. Por lo tanto, es importante comprender cómo funciona el Ownership en Rust.

Todos los programas tienen que administrar la forma en que usan la memoria de una computadora mientras se ejecutan. Algunos lenguajes tienen un recolector de basura que constantemente busca memoria que ya no se usa mientras se ejecuta el programa como java; en otros lenguajes como C, el programador debe asignar explícitamente y liberar la memoria. Rust utiliza un tercer enfoque: la memoria se administra a través de un sistema de propiedad o Ownership con un conjunto de reglas que el compilador verifica en el momento de la compilación. Ninguna de las funciones de Ownership ralentiza su programa mientras se está ejecutando.

En muchos lenguajes de programación, no tiene que pensar en el stack y el heap con mucha frecuencia. Pero en un lenguaje de programación de sistemas como Rust, si un valor está en la stack o en el heap tiene efectos sobre cómo se comporta el lenguaje y por qué tiene que tomar ciertas decisiones. 

Tanto el stack como el heap son partes de la memoria que están disponibles para que su código las use en tiempo de ejecución, pero están estructuradas de diferentes maneras. El stack almacena valores en el orden en que los obtiene y elimina los valores en el orden opuesto. Esto se conoce como último en entrar, primero en salir es una pila. 

Todos los datos almacenados en la pila deben tener un tamaño fijo conocido. Los datos con un tamaño desconocido en el momento de la compilación o un tamaño que podría cambiar deben almacenarse en el heap. El heap está menos organizado: cuando coloca datos, solicita una cierta cantidad de espacio. El sistema operativo encuentra un lugar vacío que sea lo suficientemente grande, lo marca como en uso y devuelve un puntero, que es la dirección de la ubicación. Este proceso se denomina asignación en el heap y a veces se abrevia como asignación. Insertar valores en la pila no se considera asignación. Debido a que el puntero es un tamaño fijo conocido, puede almacenar el puntero en la pila, pero cuando desee los datos reales, se debe seguir el puntero.

Agregar datos a el stack es más rápido que asignar en el heap porque el sistema operativo nunca tiene que buscar un lugar para almacenar nuevos datos; esa ubicación siempre está en la parte superior de la pila. Comparativamente, la asignación de espacio en el heap requiere más trabajo, porque el sistema operativo primero debe encontrar un espacio lo suficientemente grande como para contener los datos y luego realizar la contabilidad para prepararse para la próxima asignación.

Acceder a los datos en el heap es más lento que acceder a los datos en el Stack porque tienes que seguir un puntero para llegar allí. Los procesadores son más rápidos si saltan menos en la memoria. 

Cuando su código llama a una función, los valores pasados ​​a la función (incluidos, potencialmente, punteros a los datos del heap) y las variables locales de la función se insertan en el Stack. Cuando termina la función, esos valores se sacan.

Realizar un seguimiento de qué partes del código están utilizando qué datos en el heap, minimizar la cantidad de datos duplicados en el heap y limpiar los datos no utilizados en el heap para que no se quede sin espacio son todos problemas que el Ownership aborda.

Primero, echemos un vistazo a las reglas de Ownership:

• Cada valor en Rust tiene una variable que se llama su propietario.
• Solo puede haber un propietario a la vez.
• Cuando el propietario sale del alcance, el valor se descartará.

Como primer ejemplo de Ownership, veremos el alcance de algunas variables. Un ámbito es el rango dentro de un programa para el cual un artículo es válido. Digamos que tenemos una variable que se ve así:

let s = "hello";

La variable s se refiere a un literal de cadena, donde el valor de la cadena está codificado en el texto de nuestro programa. La variable es válida desde el punto en el que se declara hasta el final del alcance actual. El listado 4-1 tiene comentarios que indican dónde la variable s es válida.

{                      // s is not valid here, it’s not yet declared

        let s = "hello";   // s is valid from this point forward

        // do stuff with s

 }     

En otras palabras, hay dos puntos importantes en el tiempo aquí:

Cuando s entra en el alcance, es válido.

Sigue siendo válido hasta que se salga del alcance.

En este punto, la relación entre los ámbitos y cuando las variables son válidas es similar a la de otros lenguajes de programación. Ahora construiremos sobre esta comprensión introduciendo el tipo de cadena.

Ya me quedo muy largo seguimos en otro post... 

Dejo link: 

https://doc.rust-lang.org/book/ch04-01-what-is-ownership.html

university.mongodb.com

Ya he publicado esto antes pero ha crecido tanto que vale la pena recordarles que si quieren saber de mongodb tienen que ir a su universidad. 

Dejo link: https://university.mongodb.com/

Micronaut 2.0

Object Computing, Inc. (OCI) ha lanzado formalmente Micronaut 2.0, una versión importante del marco de trabajo basado en JVM que ayuda a crear aplicaciones sin servidor, nativas de la nube y basadas en microservicios que utilizan lenguajes como Java, Groovy y Kotlin.

Esta nueva versión mejora significativamente la experiencia del desarrollador con la disponibilidad de Micronaut Launch, una CLI de Micronaut más rápida y completamente renovada, un nuevo complemento de Maven y una actualización a la versión de Gradle. Ahora es compatible con Java 14, aplicaciones escritas en Groovy 3 y marcos reactivos que incluyen RxJava 3 y Reactor. Las capacidades sin servidor se han ampliado al agregar compatibilidad con Azure Functions y Cloud Functions de Google. También proporciona soporte para HTTP/2 y Servlets y un diseño de seguridad renovado. Finalmente, la nueva versión proporciona un rendimiento mejorado con una integración más profunda con GraalVM, consumo de memoria optimizado y tiempos de inicio mejorados hasta en un 20% en promedio en todo el marco.

Micronaut 2.0 incluye un nuevo servicio de inicio, Micronaut Launch, que ayuda a crear un andamio en las aplicaciones basadas en Micronaut. Disponible tanto como una herramienta basada en navegador como como una API REST, Launch ayuda a construir rápidamente y generar aplicaciones basadas en Micronaut. También ofrece una vista previa de la aplicación generada. La CLI de Micronaut tradicional ha pasado por un rediseño completo con un enfoque en el rendimiento y la eficiencia utilizando imágenes nativas de GraalVM. Micronaut Launch, un wrapper de Micronaut CLI, garantiza la interoperabilidad.

EL soporte de Maven se ha actualizado para traerlo a la paridad de características con el conjunto de características actual de Gradle. Se proporciona un nuevo complemento de Maven (mn: run) que ayuda a ejecutar aplicaciones Micronaut a través de Maven con capacidades de recompilación y reinicio automáticos. Además de esto, los proyectos de Maven heredan de un nuevo POM padre que configura la gestión de dependencias de forma más limpia.

La versión de Gradle se ha actualizado a 6.5, lo que brinda soporte de compilación incremental para proyectos de Micronaut 2.0. Básicamente, esto significa que Micronaut no tiene que ejecutar los procesadores de anotaciones completos para cada compilación.

El soporte sin servidor se ha hecho más sólido con la adición de Google Cloud Functions y Azure Functions, al tiempo que se mejora el conjunto de características para AWS Lambda. Micronaut proporciona dos enfoques para ayudar a crear aplicaciones sin servidor. El primer enfoque define una aplicación Micronaut tradicional y le agrega la característica de función sin servidor correspondiente (por ejemplo, funciones en la nube, funciones de Azure o lambdas). Dependiendo de la plataforma sin servidor elegida, Micronaut proporcionará la infraestructura de plomería necesaria para enrutar las solicitudes de funciones a la aplicación.

El segundo enfoque define un tipo de aplicación de "función sin servidor" que permite a los desarrolladores escribir código de función directo de bajo nivel específico para la función de función sin servidor elegida (p. Ej., Funciones en segundo plano de Google Cloud que se suscriben a mensajes pub-sub).

A continuación se muestra un ejemplo de una función sin servidor de bajo nivel escrita en Micronaut para la plataforma sin servidor de funciones de Google Cloud.

public class Function extends GoogleFunctionInitializer

        implements BackgroundFunction<PubSubMessage> {

    @Inject LoggingService loggingService;

    @Override

    public void accept(PubSubMessage message, Context context) {

        loggingService.logMessage(message);

    }

}

class PubSubMessage {

    String data;

    Map<String, String> attributes;

    String messageId;

    String publishTime;

}

Otras características que han llegado a la nueva versión incluyen la capacidad de probar funciones localmente utilizando los SDK proporcionados por la plataforma sin servidor que Micronaut incluye como dependencia y el soporte de imágenes nativas de GraalVM para AWS SDK 2.

Además de Netty, Micronaut 2.0 ahora agrega soporte para tiempos de ejecución de servlet integrados (Jetty / Tomcat / Undertow). Esto permite a los desarrolladores utilizar funciones tradicionales basadas en servlets en sus aplicaciones Micronaut. La experiencia de desarrollar aplicaciones Micronaut basadas en servlets es la misma que usar Netty para incluir recompilación automática / pruebas más rápidas, etc. Esto también incluye la capacidad de crear imágenes nativas basadas en GraalVM para los archivos uber basados en servlets.

A continuación se muestra un ejemplo de cómo crear una aplicación Micronaut basada en servlets utilizando la CLI y luego ejecutarla. Esto usa la función de servidor de embarcadero.

mn> create-app demo-servlet --features jetty-server

$ cd demo-servlet

$ ./gradlew run

org.eclipse.jetty.server.Server - Started @1219ms

io.micronaut.runtime.Micronaut - Startup completed in 615ms. Server Running: http://localhost:8080/

Micronaut 2.0 agrega soporte para HTTP / 2 y se puede habilitar usando un simple cambio en el archivo application.yml para una aplicación Micronaut. Este soporte está disponible actualmente solo para el servidor HTTP y el cliente basados en Netty.

La configuración del lado del servidor se muestra a continuación.

micronaut:

  ssl:

build-self-signed: true

  application:

name: http2Demo

  server:

http-version: http_2_0

El soporte para imágenes nativas de GraalVM se ha movido del estado experimental y ahora tiene soporte de primera clase y ampliado en todo el marco, lo que solidifica aún más el compromiso con GraalVM. Esto incluye la configuración automática de recursos estáticos, controladores JDBC, Hibernate, Flyway, AWS SDK 2 y otras áreas.

Dejo link : https://www.infoq.com/news/2020/08/micronaut-v2/

Records y Pattern Matching para instanceof en JDK 16

Todavia no me aprendo java 11 y ya tenemos noticias de java 16. Al parecer viene con registros, cosa que particularmente no me gusta y no entiendo la necesidad. Un ejemplo sería : 

record Name(String firstName, String lastName){}

Los registros se pueden declarar en un archivo separado o como parte de otra clase. 

Cuando se define una clase normal, implícitamente se agrega un constructor predeterminado. Los registros tienen un comportamiento similar y contienen implícitamente varios miembros:

• Campos privados para todos los componentes del registro.
• Métodos de acceso público para todos los componentes del registro.
• Constructor con argumentos para todos los componentes del registro. Este constructor se denomina constructor canónico.
• equals, toString y hashCode con su implementación.

El registro definido anteriormente no contiene ningún código personalizado, pero es posible definir métodos explícitos. Incluso es posible declarar explícitamente los diversos métodos agregados implícitamente y el constructor canónico. Por ejemplo, es posible crear un método toString personalizado.

En JDK 14, se requería que el constructor canónico fuera público. Desde JDK 15 en adelante, el constructor canónico implícito obtiene el mismo modificador de acceso que la clase de registro. Al definir un constructor canónico explícito, el modificador de acceso debe proporcionar al menos tanto acceso como la clase de registro.

Como parte del cambio, también se modificó la anotación @Override. Ahora se puede utilizar para anotar un método de acceso explícito en un registro.

También vamos a tener pattern matching para el instaceof. Ahora debemos hacer : 

if (person instanceof Customer) {

    Customer customer = (Customer) person;

    customer.pay();

}

y con pattern matching vamos poder hacer : 

if (person instanceof Customer customer) {

    customer.pay();

}

y podemos utilizarlo en el equals por ejemplo: 

@Override

public boolean equals(Object o) {

    return o instanceof Customer other &&

            name.equals(other.name);

}

Dejo link: https://www.infoq.com/news/2020/08/java16-records-instanceof/

Aprende con Google!!

Quiero recomendarles este sitio que encontré donde pueden aprender desde programación hasta vida profesional. Esta en castellano y esta muy bueno. 

No tiene cursos avanzados solo básicos pero para empezar esta bien, sin más dejo link: 

https://learndigital.withgoogle.com/activate/courses

opensource.microsoft.com

Como cambian los tiempos quien diría que Microsoft publicaría un sitio para promocionar sus proyectos open source y aquí lo tenemos! 

Sin más dejo link: https://opensource.microsoft.com/

Trait Objects para hacer Dynamic Dispatch en Rust

Seguimos con rust y el polimorfismo. 

Como sabemos el Dynamic Dispatch significa que el compilador llama código que es determinado en tiempo de ejecución.

Cuando usamos objetos de trait, Rust debe usar Dynamic Dispatch. El compilador no conoce todos los tipos que podrían usarse con el código que usa objetos de trait, por lo que no sabe qué método implementado en qué tipo llamar. En cambio, en tiempo de ejecución, Rust usa los punteros dentro del objeto de trait para saber a qué método llamar. Hay un costo de tiempo de ejecución cuando ocurre esta búsqueda que no ocurre con el envío estático. El envío dinámico también evita que el compilador elija insertar el código de un método, lo que a su vez evita algunas optimizaciones. Sin embargo, obtuvimos una flexibilidad adicional propia del polimorfismo.

Algunas reglas complejas gobiernan todas las propiedades que hacen que un objeto de trait sea seguro, pero solo dos reglas son relevantes. Un trait es seguro para objetos si todos los métodos definidos en el trait tienen las siguientes propiedades:

• El tipo de retorno no es Self.
• No hay parámetros de tipo genérico.

La palabra clave Self es un alias para el tipo en el que estamos implementando los métodos. Los objetos de trait deben ser seguros para objetos porque una vez que has usado un objeto de rasgo, Rust ya no sabe el tipo concreto que está implementando ese rasgo. Si un método de rasgo devuelve el tipo Self concreto, pero un objeto rasgo olvida el tipo exacto que es Self, no hay forma de que el método pueda usar el tipo concreto original. Lo mismo ocurre con los parámetros de tipo genérico que se completan con parámetros de tipo concreto cuando se utiliza el rasgo: los tipos concretos pasan a formar parte del tipo que implementa el rasgo. Cuando el tipo se olvida mediante el uso de un objeto de rasgo, no hay forma de saber con qué tipos completar los parámetros de tipo genérico.

Un ejemplo de un trait cuyos métodos no son seguros para objetos es el trait Clonar de la biblioteca estándar. La firma para el método de clonación en el rasgo Clonar se ve así:

pub trait Clone {

    fn clone(&self) -> Self;

}

El tipo String implementa el rasgo Clone, y cuando llamamos al método clone en una instancia de String, obtenemos una instancia de String. De manera similar, si llamamos a clonar en una instancia de Vec <T>, obtenemos una instancia de Vec <T>. La firma del clon necesita saber qué tipo sustituirá a Self, porque ese es el tipo de retorno.

El compilador le indicará cuando esté intentando hacer algo que viole las reglas de seguridad de los objetos con respecto a los objetos característicos. Por ejemplo, digamos que intentamos implementar la estructura Screen en el Listado 17-4 para contener los tipos que implementan el rasgo Clonar en lugar del rasgo Dibujar, así:

pub struct Screen {

    pub components: Vec<Box<dyn Clone>>,

}

Obtendríamos este error:

$ cargo build Compiling gui v0.1.0 (file:///projects/gui) error[E0038]: the trait `std::clone::Clone` cannot be made into an object --> src/lib.rs:2:5 | 2 | pub components: Vec<Box<dyn Clone>>, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::clone::Clone` cannot be made into an object | = note: the trait cannot require that `Self : Sized` error: aborting due to previous error For more information about this error, try `rustc --explain E0038`. error: could not compile `gui`. To learn more, run the command again with --verbose.

Este error significa que no puede usar este trait de esta manera. Si está interesado en obtener más detalles sobre la seguridad de los objetos, consulte Rust RFC 255.

Dejo link: https://doc.rust-lang.org/book/ch17-02-trait-objects.html

Scala 3, indentación en vez de llaves ???

Una característica experimental, Scala 3 impone algunas reglas sobre sangría y permite que algunas apariciones de llaves {...} sean opcionales. Se puede desactivar con el indicador del compilador -noindent.

• Primero, algunos programas mal sangrados van a estar marcados con un error de tipo advertencias.
• En segundo lugar, algunas apariciones de llaves {...} se hacen opcionales. Generalmente, la regla es que agregar un par de llaves opcionales no cambiará el significado de un programa bien sangrado.

Esta característica seguro los hace pensar en python, pero les recuerdo que en haskell tambien la identación es importante. Y scala, tiene más influencia de haskell que de python.

El compilador impone dos reglas para programas bien sangrados, marcando las violaciones como advertencias.

1.En una región delimitada por llaves, no se permite que ninguna instrucción comience a la izquierda de la primera instrucción después de la llave de apertura que comienza una nueva línea.

Esta regla es útil para encontrar llaves de cierre faltantes. Previene errores como:

if (x < 0) {

  println(1)

  println(2)

println("done")  // error: indented too far to the left

2.Si la sangría significativa está desactivada (es decir, en el modo Scala-2 o en -noindent) y estamos al comienzo de una subparte con sangría de una expresión, y la parte con sangría termina en una nueva línea, la siguiente instrucción debe comenzar en una ancho de sangría menor que la subparte. Esto evita errores en los que se olvidó una llave de apertura, como:

if (x < 0)

  println(1)

  println(2)   // error: missing `{

Estas reglas aún dejan un gran margen de maniobra sobre cómo se deben sangrar los programas. Por ejemplo, no imponen ninguna restricción sobre la sangría dentro de las expresiones, ni requieren que todas las declaraciones de un bloque de sangría se alineen exactamente.

Las reglas generalmente son útiles para identificar la causa raíz de los errores relacionados con la falta de llaves de apertura o cierre. Estos errores suelen ser bastante difíciles de diagnosticar, en particular en programas grandes.

Además, el compilador insertará tokens <indent> o <outdent> en ciertos saltos de línea. Gramaticalmente, los pares de tokens <indent> y <outdent> tienen el mismo efecto que los pares de llaves {y}.

Con estas nuevas reglas, las siguientes construcciones son todas válidas:

trait A:

  def f: Int

class C(x: Int) extends A:

  def f = x

object O:

  def f = 3

enum Color:

  case Red, Green, Blue

type T = A:

  def f: Int

given [T](using Ord[T]) as Ord[List[T]]:

  def compare(x: List[T], y: List[T]) = ???

extension (xs: List[Int])

  def second: Int = xs.tail.head

new A:

  def f = 3

package p:

  def a = 1

package q:

  def b = 2

Ojo que agregá los : 

En fin, me parece un gran cambio y va a generar 2 formas de escribir y no sé si es la mejor idea, ya que un junior no va saber cuando escribir de que forma. 

Dejo link: https://dotty.epfl.ch/docs/reference/other-new-features/indentation.html

Rust by Example

Tal vez este link lo conocen todos y yo recien lo veo, pero bueno quien me quita lo compartido. 

En la docu oficial de Rust hay un apartado Rust by example, que esta muy bueno. Dada que la docu es muy extensa este apartado viene bien para aterrizar algunos conceptos programando. 

Sin más, dejo link: https://doc.rust-lang.org/stable/rust-by-example/

Polimorfismo con traits en Rust

Siguiendo con Rust y su implementación a conceptos de orientación a objetos, veamos como implementa polimorfismo sin el concepto de herencia tradicional, sino con traits. 

 

La documentación oficial de Rust explica el polimorfismo en Rust con un ejemplo. Crea una herramienta de interfaz gráfica de usuario (GUI) de ejemplo que recorre una lista de elementos, llamando a un método de dibujo. Este metodo puede dibujar diferentes tipos como Button o TextField.

No implementaremos una biblioteca GUI completa para este ejemplo, pero mostraremos cómo encajarían las piezas. En el momento de escribir la biblioteca, no podemos conocer ni definir todos los tipos que otros programadores podrían querer crear. Pero sabemos que la interfaz gráfica de usuario necesita realizar un seguimiento de muchos valores de diferentes tipos, y necesita llamar a un método de dibujo en cada uno de estos valores con tipos diferentes. No necesita saber exactamente qué sucederá cuando llamemos al método de dibujo, solo que el valor tendrá ese método disponible para que lo llamemos.

Para hacer esto en un lenguaje con herencia, podríamos definir una clase llamada Componente que tenga un método llamado dibujar. Las otras clases, como Button, Image y SelectBox, heredarían de Component y, por lo tanto, heredarían el método de dibujo. Cada uno podría redefinir el método de dibujo para definir su comportamiento personalizado, y la ventana podría tratar todos los tipos como si fueran instancias de componentes y llamar a dibujar sobre ellos. Pero debido a que Rust no tiene herencia, necesitamos otra forma de estructurar la biblioteca de interfaz gráfica.

Para implementar el comportamiento que queremos que tenga la interfaz gráfica de usuario, definiremos un traits llamado Dibujar que tendrá un método llamado dibujar:

pub trait Draw {

    fn draw(&self);

}

Ahora definimos la ventana que tiene que ser capaz de dibujar diferentes tipos de componentes. Para eso la ventana va tener un vector de componentes. Y definimos un componente como una caja o Box que contiene un tipo dinámico que implementa el trait Draw : 

pub struct Screen {

    pub components: Vec<Box<dyn Draw>>,

}

Recordemos que en Rust la definición de un "objeto" esta dividida en sus datos y sus métodos. Ahora definamos los métodos: 

impl Screen {

    pub fn run(&self) {

        for component in self.components.iter() {

            component.draw();

        }

    }

}

Alguien atento, podria decir porque no utilizamos genericos con ventana de este modo : 

pub struct Screen<T: Draw> {

    pub components: Vec<T>,

}

impl<T> Screen<T>

where

    T: Draw,

{

    pub fn run(&self) {

        for component in self.components.iter() {

            component.draw();

        }

    }

}

Pero el problema aquí es que no se va a poder utilizar Screen con diferentes componentes. Si tipamos a Screen con Button por ejemplo, solo va poder tener Buttons y no es lo que queremos. Hago esta aclaración porque con este contraejemplo se ve la función de la caja o Box, que es permitirnos diferentes componentes que implementan Draw. 

Ahora agregaremos algunos tipos que implementan Draw:

pub struct Button {

    pub width: u32,

    pub height: u32,

    pub label: String,

}

impl Draw for Button {

    fn draw(&self) {

        // code to actually draw a button

    }

}

//------------------------------

struct SelectBox {

    width: u32,

    height: u32,

    options: Vec<String>,

}

impl Draw for SelectBox {

    fn draw(&self) {

        // code to actually draw a select box

    }

}

Y por último ver la magia en acción: 

use gui::{Button, Screen};

fn main() {

    let screen = Screen {

        components: vec![

            Box::new(SelectBox {

                width: 75,

                height: 10,

                options: vec![

                    String::from("Yes"),

                    String::from("Maybe"),

                    String::from("No"),

                ],

            }),

            Box::new(Button {

                width: 50,

                height: 10,

                label: String::from("OK"),

            }),

        ],

    };

    screen.run();

}

Como vemos llamamos a run de screen que llamará a draw. 

Al especificar Box <dyn Draw> como el tipo de valores en el vector de componentes, hemos definido que Screen pueda aceptar diferentes tipos en dibujar pero todos deben implementar Draw sino tirra error en tiempo de compilación: 

use gui::Screen;

fn main() {

    let screen = Screen {

        components: vec![Box::new(String::from("Hi"))],

    };

    screen.run();

}

Esto no compila porque String no es un Draw : 

$ cargo run

   Compiling gui v0.1.0 (file:///projects/gui)

error[E0277]: the trait bound `std::string::String: gui::Draw` is not satisfied

 --> src/main.rs:5:26

  |

5 |         components: vec![Box::new(String::from("Hi"))],

  |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `gui::Draw` is not implemented for `std::string::String`

  |

  = note: required for the cast to the object type `dyn gui::Draw`

error: aborting due to previous error

For more information about this error, try `rustc --explain E0277`.

error: could not compile `gui`.

To learn more, run the command again with --verbose.

Dejo link: 

https://doc.rust-lang.org/book/ch17-02-trait-objects.html

Programación funcional, pros y contras

Lei un articulo y me gusto mucho, por lo tanto les dejo un resumen, al final esta el articulo original :

Como saben, los programadores son personas creativas, pero al mismo tiempo se adhieren celosamente a ciertas ideas, por ejemplo, la elección de un lenguaje de programación. PHP se considera un "lenguaje vago" y JavaScript es magia "difícil de predecir". Y en medio de la gran abundancia de lenguajes, los lenguajes funcionales están ganando cada vez más seguidores y cada vez más se están abriendo camino en la mayoría de las empresas de todo el mundo. Según la analítica RedMonk. Desde junio de 2017 y la evaluación combinada de la popularidad de los lenguajes en GitHub y Slack Overflow, los lenguajes funcionales (Elm, Elixir) están creciendo lenta pero seguramente. El gran aumento en la popularidad de JavaScript también está impulsando un mayor interés en FP. Además, los desarrolladores con experiencia en programación funcional posteriormente comenzaron a trabajar en frameworks y como resultado, tenemos Redux, React, MobX y otras librerías que usan millones de personas.

Entonces, ¿qué es la programación funcional, por qué hay tanto auge y por qué vale la pena considerar aprenderla? Vamos a resolverlo.

El mundo de JavaScript está hirviendo. Hace unos años, solo unos pocos desarrolladores entendían la programación funcional, pero en los últimos tres años, casi todas las bases de código de grandes aplicaciones han estado utilizando activamente ideas tomadas del mundo de la programación funcional. Y por una buena razón: la programación funcional le permite escribir código más conciso y predecible, y es más fácil de probar (aunque aprender desde cero no es fácil).

Las principales características distintivas del desarrollo de software con FP:

• funciones puras;
• evitar el estado compartido, datos mutables y efectos secundarios;
• La prevalencia de un enfoque declarativo más que imperativo.

La programación funcional se basa inherentemente en los principios fundamentales y definitorios enumerados anteriormente. Y para comenzar a comprenderlos, primero debe cambiar al modo "académico" y cómo debe estudiar las definiciones de términos que lo seguirán implacablemente en FP: funciones puras, composición de funciones, evitar el estado compartido, etc. Esto es más como volver a la escuela. a una lección de matemáticas, pero después de eso verás tanto la funcionalidad como la programación de una manera completamente diferente.

Profundicemos un poco más en los términos de FP y, al menos superficialmente, comprendamos lo que significan.

Las funciones puras  son funciones deterministas sin efectos secundarios. Una función determinista significa que para el mismo conjunto de valores de entrada, devuelve el mismo resultado. Para FP, las propiedades de tales funciones son muy importantes: por ejemplo, las funciones puras tienen transparencia referencial: puede reemplazar una llamada de función con su valor final sin cambiar el valor del programa.

La composición de funciones se refiere al proceso de combinar dos o más funciones para crear una nueva función o realizar cálculos.

El principal problema con los estados compartidos es que para comprender los efectos de una función, debe conocer el historial completo de cada variable compartida que utiliza la función. Por lo tanto, la programación funcional evita estados compartidos, confiando en cambio en estructuras de datos inmutables y computación sin procesar para extraer nuevos datos de los existentes. Otro matiz que surge cuando se trabaja con estados compartidos es que cambiar el orden de las llamadas a funciones puede provocar una avalancha de errores. En consecuencia, al evitar estados compartidos, también evita este problema.

Subyacente a toda la programación funcional está la inmutabilidad (inmutabilidad). Y aquí es importante no confundirse const con la inmutabilidad. const crea un enlace de nombre variable que no se puede reasignar después de la creación, pero no crea objetos inmutables. No podrá cambiar el objeto al que pertenece el enlace, pero aún puede cambiar las propiedades de este objeto const, por lo tanto , los enlaces creados no son inmutables. Los objetos inmutables no se pueden cambiar en absoluto. Esto se logra mediante la congelación profunda de las variables.

Los efectos secundarios significan que, además de devolver un valor, la función también interactúa con el estado mutable externo. ¿Por qué FP los evita? Porque de esta manera los efectos del programa son mucho más fáciles de entender y probar. Haskell, por ejemplo, usa mónadas para aislar los efectos secundarios de las funciones puras.

El punto es que el enfoque imperativo funciona según el principio de control de flujo y responde a la pregunta "cómo hacerlo". El enfoque declarativo describe el flujo de datos y responde a la pregunta "qué hacer". Además, el código imperativo a menudo se basa en instrucciones (operadores), mientras que el código declarativo se basa más en las expresiones.

Entonces, descubrimos qué es la programación funcional y qué necesita saber al respecto. Y, antes de pasar a discutir sus ventajas, propongo pasar primero por las desventajas, más precisamente, para comprender la esencia del estereotipo "la programación funcional no es natural".

A juzgar por lo que escribí anteriormente, los seguidores de la programación funcional ya deberían haber surgido entre los lectores. Sin embargo, a pesar de la gran cantidad de artículos laudatorios, no hay menos artículos titulados "La programación funcional es extraña y no tiene futuro" (por ejemplo). ¿Esto significa que estoy equivocado? No. ¿Hay alguna razón para pensar que la FA es extraña? Por supuesto.

Permíteme darte una cita de Internet que refleja completamente la actitud de muchos desarrolladores hacia FP:

"Escribir código funcional es como escribir al revés y la mayoría de las veces es como resolver un rompecabezas en lugar de explicar el proceso a una computadora".

De hecho, esta es una actitud bastante subjetiva hacia la FP para aquellos que no quieren dedicar suficiente tiempo para comprender los matices de la programación funcional y simplemente intentarlo. Pero, como prometí, veamos las desventajas de FP y luego veamos las ventajas.

Primero, no existe un vocabulario eficiente desordenado y configurado para lenguajes funcionales. Los diccionarios puramente funcionales son más lentos que las tablas hash, y esto puede ser crítico para algunas aplicaciones. En segundo lugar, no hay tablas hash débiles puramente funcionales, aunque para la mayoría de los desarrolladores esta falla puede pasar desapercibida.

Además, FP no es adecuado para algoritmos en gráficos (debido a su funcionamiento lento) y, en general, para aquellas soluciones que se han basado en programación imperativa durante décadas.

De acuerdo, el último punto suena más como una queja: no podemos culpar a FP por lo que no estaba destinado. Por lo tanto, propongo recurrir a lo agradable, es decir, a las ventajas de FP y su uso en proyectos reales por parte de compañías internacionales reales.

Uno de los beneficios más obvios de la programación funcional son las abstracciones de alto nivel que ocultan muchos de los detalles de las operaciones de rutina, como la iteración. Debido a esto, el código es más corto y, como resultado, garantiza menos errores que se pueden cometer.

Además, el FP contiene menos primitivas de lenguaje. Las clases bien conocidas en FP simplemente no se usan: en lugar de crear una descripción única de un objeto con operaciones en forma de métodos, la programación funcional utiliza varias primitivas básicas del lenguaje que están bien optimizadas internamente.

Además, la programación funcional permite al desarrollador acercar el lenguaje al problema, en lugar de viceversa, todo a expensas de las estructuras flexibles y la flexibilidad del lenguaje. Además, FP ofrece a los desarrolladores nuevas herramientas para resolver problemas complejos que los programadores de POO a menudo descuidan.

De hecho, es demasiado largo para enumerar todas las ventajas de la programación funcional; realmente hay muchas de ellas. Puedo decir esto: trabajar con lenguajes funcionales proporciona una escritura de código precisa y rápida, facilita las pruebas y la depuración, los programas son de nivel superior y las firmas de funciones son más informativas.

Por supuesto, uno no puede negar las ventajas de POO, pero vale la pena recordar que los lenguajes funcionales están a la par con muchos otros en términos de conveniencia y merecen su atención.

En el mundo de TI, nada sucede. Una cosa se aferra a la otra, y ahora todas las tendencias más actuales están interconectadas.

Si recordamos las tendencias más sensacionales de 2016-2017, estas, por supuesto, serán AI, IoT, Big Data y Blockchain. Están en boca de todos, todos conocen su potencial y sus características clave. Y son algunas de estas tendencias las que han catalizado la creciente popularidad de la programación funcional entre los desarrolladores.

Actualmente, el problema del procesamiento paralelo y el trabajo con grandes flujos de datos es muy grave, en otras palabras, trabajar con Big Data. Y, paralelizando el procesamiento de estos datos, puede obtener el resultado deseado en una fracción de segundo, lo cual es muy crítico en el mundo real. Además, no se olvide de la informática descentralizada (distribuida): blockchains y otras, que, en esencia, son un mecanismo bastante complejo. Y para tales cálculos, el código funcional es más adecuado debido a todos los principios de la programación funcional (como las funciones puras, por ejemplo). El uso de todas las técnicas básicas de FP facilita la ejecución y el mantenimiento de código paralelo.

Además, si la programación funcional anterior se usaba solo para resolver problemas específicos, ahora incluso se aplica a proyectos clásicos. 

Como probablemente ya haya entendido, no debe temer la programación funcional. Un poco de diligencia y curiosidad, y ahora has dominado la FP. Aquí hay algunos consejos para aquellos que han decidido probarse en un nuevo género y aprender algo radicalmente nuevo:

• Relájate :) Al principio será muy complicado, teniendo en cuenta que tendrás que dejar atrás lo que sabes y aprender nuevos enfoques y principios. Y eso esta bien. Piense en la primera vez que aprendió a codificar. Nada malo sucederá.
• Comience con micro tareas para tenerlo en sus manos.
• Comience a aprender Haskell y luego pase a Scala (o F #) para comenzar a comprender los principios de programación funcional (y al mismo tiempo comenzar a pensar más "funcional").

Dada la prevalencia de la programación funcional, puede estar seguro de su futuro profesional (con la debida diligencia), ya que seguramente puede usar sus habilidades recién adquiridas. ¡No tengas miedo de intentarlo!

Dejo link: https://dou.ua/lenta/articles/functional-programming/

Scala.js

Que tal si llevamos a scala al browser?? Bueno esto se puede hacer con scala.js. 

Scala.js es básicamente el typescript de scala y provee muchas cosas más que typescript : 

Y otro tema interesante es que tiene integración con los framework javascript más utilizados como react o Vue.js

No soy muy fanatico del Frontend, pero esta sin duda es una gran opción. 

Dejo link: https://www.scala-js.org/doc/

https://www.scala-js.org/doc/tutorial/basic/

Se creo la Micronaut Foundation

Quiero hacerme eco de esta noticia dado que me interesa mucho el futuro de Micronaut.

Object Computing, Inc. (OCI) ha anunciado la creación de la Fundación Micronaut, una fundación sin fines de lucro establecida para promover la innovación y la adopción de Micronaut. La fundación "supervisará la hoja de ruta y el desarrollo del software, las mejores prácticas y procesos, el control de repositorio, la documentación y el soporte, y la recaudación de fondos relacionados con el framework de código abierto". La fundación recibirá fondos iniciales de $ 2M de OCI para desarrollo.

Anteriormente conocido como Project Particle, Micronaut es un framework completo basado en JVM para crear aplicaciones basadas en microservicios, nativas de la nube y sin servidor que se pueden escribir en Java, Groovy y Kotlin. Micronaut se introdujo en marzo de 2018 y posteriormente fue de código abierto en mayo de 2018.

Dejo link: https://www.infoq.com/news/2020/07/oci-micronaut-foundation/

Piratería y desarrollo: discursos, historias y política de un amor negado

Cuando vi este video pensé en situaciones que suceden en el mundo del software y en general en todas las industrias. 

Me paso en el blog que por algunos comentarios gente me acusaba de utilizar por ejemplo imágenes que tenían copyright, y en realidad esas imágenes no agregaban mayor valor al post en sí, sino que eran decorativas. Copyright tiene libros enteros de los que los apoyan y los que lo condenan, pero por ejemplo con las imágenes que les contaba, mucha gente podría conocer esas imagenes a partir de un post que nada que ver. Y la rueda puede seguir rodando... En general pienso que es más lo que se pierde de lo que se gana, en fin les dejo el video :