Rosetta code

Encontré una pagina, que hace siglos que esta en Internet pero yo no la había visto antes, y como para mi es noticia. La quiero compartir con ustedes. 

Es una pagina donde hay código de muchos lenguajes, casi todos.  La idea es presentar soluciones a la misma tarea en tantos lenguajes diferentes como sea posible, demostrando cómo los lenguajes son similares y diferentes, y ayudar a una persona con una base en un enfoque de un problema para aprender otro. Rosetta Code tiene actualmente 1.067 tareas, 206 borradores de tareas y 800 lenguajes.

Dejo link: http://www.rosettacode.org/wiki/Rosetta_Code

Utilizar valores implícitos atenta contra la legibilidad del código?

El Zen de Python dice : Explicit is better than implicit o Explícito es mejor que implícito. Cosa que me ha dejado pensando porque no aplica siempre. Por ejemplo: 

boolean b;

if (b == true) then: ...

b por defecto es false, pero no se lo estamos diciendo, en este caso yo particularmente prefiero ser explicito, es decir dejar claro cual es el valor de la variable: 

boolean b = false

pero me choca y me disgusta (es que ya estoy viejo) el if , es como que el programador no tiene en cuenta que b es un dato. Y ese dato lo podemos comprobar, prefiero: 

if (b) then: ...

Pero hay cosas implicitas en los lenguajes que a mi modo de ver las cosas, atentan contra la legibilidad. 

El caso más fácil de ejemplificar es que valores de otros tipos sean false o true, eso hace más fácil a vida del experto pero sin duda no deja tan clara las cosas. Por ejemplo: 

if (typeof(some_variable) != 'undefined' && some_variable != null)

{

    // Do something with some_variable

}

por : 

if (some_variable)

{

    // Do something with some_variable

}

Claro que la ultima es más corto, pero que diablos hace? Si sabes javascript es fácil, pero lo puede entender todo el mundo? 

Que opinan?

Feliz Día!!

Dice la wikipedia: El Día de los Programadores es un día festivo profesional oficial en algunos países del mundo.[¿cuál?] Se celebra el 256º día de cada año (13 de septiembre durante los años normales y el 12 de septiembre durante los bisiestos)

Por lo tanto, Feliz día!!!!

Libros gratuitos de Java Code Geeks

 

Download IT Guides!   Microservices for Java Developers Microservices are a software development technique – a variant of the service-oriented architecture (SOA) structural style – that arranges an application as a collection of loosely...     JMeter Tutorial JMeter is an application that offers several possibilities to configure and execute load, performance and stress tests using different technologies and protocols. It allows simulating...     Java Design Patterns A design pattern is a general reusable solution to a commonly occurring problem within a given context in software design. A design pattern is not a finished design that can be...     Elasticsearch Tutorial Elasticsearch is a search engine based on Lucene. It provides a distributed, multitenant-capable full-text search engine with an HTTP web interface and schema-free JSON documents....

Por qué AdoptOpenJDK te pregunta sobre utilizar OpenJ9 o HotSpot?

Una JDK debe proporcionar :

• Un compilador de lenguaje de programación Java para crear archivos de código de bytes de Java .class a partir de sus archivos de código fuente .java.
• Una máquina virtual de Java (JVM) que puede, en tiempo de ejecución, interpretar y / o compilar esos archivos de código de bytes de Java, convirtiéndolos en código ejecutable que puede ejecutarse en los núcleos de la computadora host utilizando el conjunto de instrucciones nativo de esa CPU.
• Un entorno de ejecución que conecta las aplicaciones Java con los recursos de la máquina host, como el sistema de archivos y la instalación de red.
• Un conjunto obligatorio de bibliotecas de clases de Java (java.util, java.time, etc.).
• Una implementación de Java tiene la opción de proporcionar un compilador / optimizador Just-In-Time (JIT) como parte de la JVM. El proyecto OpenJDK incluye código fuente para HotSpot JIT.

Las personas que proporcionan compilaciones o instaladores para la plataforma Java son libres de usar HotSpot o de elegir otra tecnología de compilación JIT. OpenJ9 en uno de esos JIT alternativos, desarrollado en IBM, ahora de código abierto a través de la Fundación Eclipse, y se proporciona de forma gratuita. En el pasado, otro JIT alternativo era JRockit, propiedad de Oracle. Partes de JRockit se han fusionado en la versión actual de HotSpot.

El proyecto AdoptOpenJDK ofrece la opción entre el motor HotSpot proporcionado por Oracle a través del proyecto OpenJDK o el motor OpenJ9 alternativo proporcionado por Eclipse Foundation.

Con cualquiera de las opciones, obtiene las mismas bibliotecas de clases de la base de código OpenJDK, las mismas herramientas que incluyen Mission Control y Flight Recorder de OpenJDK, y las mismas utilidades de OpenJDK. Solo el JIT / JVM es diferente si elige HotSpot u OpenJ9.

AdoptOpenJDK es sólo uno de los varios proveedores que ofrecen distribuciones de tecnología Java como binarios / instaladores. La mayoría de estos se basan principalmente, si no completamente, en las versiones del código fuente del proyecto OpenJDK. A continuación, se muestra un diagrama de flujo que muestra los distintos proveedores.

Y aquí hay una lista de posibles motivaciones a considerar al seleccionar un proveedor.

Agda

 Agda es un lenguaje funcional con dependently typed. Pero que es dependently typed? 

Te lo explico en este post : https://emanuelpeg.blogspot.com/2016/03/dependently-typed-languages.html

Pero si te da fiaca ir, te cuento: 

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.

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.

Agda se basa en la teoría de tipos intuicionista, un sistema fundamental para las matemáticas constructivas desarrollado por el lógico sueco Per Martin-Löf. Tiene muchas similitudes con otros lenguajes basados en dependently typed, como Coq, Epigram, Matita y NuPRL.

Agda es de código abierto y disfruta de las contribuciones de muchos autores. El centro del desarrollo de Agda es el grupo Programming Logic en Chalmers y la Universidad de Gotemburgo. Los principales desarrolladores son Ulf Norell, Nils Anders Danielsson, Andreas Abel y Jesper Cockx.

Vamos un pequeño ejemplo, definimos un tipo y luego la suma : 

data Nat : Set where

zero : Nat

suc : Nat -> Nat

_+_ : Nat -> Nat -> Nat

zero + m = m

suc n + m = suc (n + m)

y multiplicar : 

_*_ : Nat -> Nat -> Nat

zero * m = zero

suc n * m = m + n * m

Dejo link : 

https://agda.readthedocs.io/en/v2.6.0.1/getting-started/what-is-agda.html

https://github.com/agda/agda

Manejo de errores en Go vs Rust

Sin duda alguna si hablamos de lenguajes de sistemas los que están haciendo más ruido hoy en día son Go y Rust. 

Son lenguajes que se pensaron para la performance y son de más bajo nivel que Java o Python. Pero a pesar de eso son lenguajes modernos que tienen una especial visión de los errores. 

Go utiliza valores de error para indicar un estado anormal. Por ejemplo, la función os.Open devuelve un valor de error que no es nulo cuando no puede abrir un archivo.

func Open(name string) (file *File, err error)

Por lo tanto si queremos ver si ocurrio un error podemos hacer : 

f, err := os.Open("filename.ext")

if err != nil {

    log.Fatal(err)

}

Lo interesante de esta visión es que nos alejamos del pensamiento o la filosofía de Java en el que el error es un valor especial que debe ser lanzado o tratado, y no es necesario utilizar secuencias try-catch. 

En cambio Rust tiene una visión más funcional, maneja los errores como Haskell. Es decir, devuelve algo llamado Result.

El tipo Result <T, E> es una enumeración que tiene dos variantes: Ok (T) para valor exitoso o Err (E) para valor de error:

enum Result<T, E> {

   Ok(T),

   Err(E),

}

Devolver errores en lugar de lanzarlos es un cambio de paradigma en el manejo de errores y es similar a lo que hace Go, pero en este caso me gusta mucho más porque funciona muy bien con pattern matching pero vamos de a poco.

Si necesitamos ignorar el manejo de errores, no sé porque estamos seguros que no va a pasar o solo porque somos inconscientes podemos utilizar unwrap, por ejemplo : 

use std::fs;

fn main() {

  let content = fs::read_to_string("./Cargo.toml").unwrap();

  println!("{}", content)

}

Aunque sabemos que el archivo estaría presente, el compilador no tiene forma de saberlo. Entonces usamos unwrap para decirle al compilador que confíe en nosotros y devuelva el valor. Si la función read_to_string devuelve un valor Ok (), desenvolver obtendrá el contenido y lo asignará a la variable de contenido. Si devuelve un error, el programa entrará en pánico. Panic termina el programa o sale del hilo actual. (en otro post voy a hablar de panic!) 

expect es lo mismo que unwrap pero nos permite agregar un mensaje de error adicional.

use std::fs;

fn main() {

  let content = fs::read_to_string("./Cargo.toml").expect("Can't read Cargo.toml");

  println!("{}", content)

}

También tenemos varios métodos que nos permiten hacer algo si sale un error cuando desenvolvemos un valor, como unwrap_or_else, unwrap_or_default, veamos un ejemplo : 

use std::env;

fn main() {

  let port = env::var("PORT").unwrap_or("3000".to_string());

  println!("{}", port);

}

Muy elegante, me gusta mucho en Go deberíamos hacer : 

port, ok := os.LookupEnv("PORT")

if !ok {

port = 3000

} 

En Rust tambien podemos utilizar pattern matching que lo hace un tanto más fácil de leer, veamos un ejemplo:

fn main() {

  match fxParaLeerData() {

    Ok(data) => println!("pudimos leer {}!!", data),

    Err(e) => eprintln!("Hubo un problema  {}", e),

  }

}

La verdad que me gusta mucho más el concepto de try-catch es como que separa más la lógica de el manejo de problemas o errores. Más allá de esta opinión creo que una visión más elegante fue la que tomo Rust. Por favor dejen su opinión. 

Hasta acá llego el post pero seguro que va a ver parte 2 ... 

Rust 1.46.0 fue liberada

La versión 1.46.0 de Rust fue liberada. Esta versión trae mejoras a las habilidades de escritura const fn, estabiliza el # [track_caller] que promete un mejor manejo de errores y múltiples adiciones o estabilizaciones a las bibliotecas estándar. La lista completa de características está aquí: https://github.com/rust-lang/rust/blob/master/RELEASES.md#version-1460-2020-08-27

Las características del lenguaje central que se pueden usar en contextos estáticos se acaban de ampliar, por lo que a partir de esta versión se pueden usar operadores condicionales (if, if let y match), bucles (while, while let y loop) y operadores bit a bit (&& y | |) en contextos estáticos. También es posible lanzar y coaccionar un corte o incluso usar mem :: transmute. Aunque estas características de lenguaje no son nuevas, su principal beneficio está en el espacio de rendimiento, por ejemplo, durante un ejercicio en Microsoft, trajo una mejora de 40 veces en los enlaces de Microsoft WinRT para Rust en comparación con la implementación de C ++. Siguiendo la misma idea, también el método std :: mem :: olvide ahora es una constante fn.

Ahora pueden usar enlaces dinámicos para las plataformas Apple iOS y tvOS. Esto es posible al permitir como target cdylib en las plataformas Apple iOS y tvOS.

También en el lado de la estabilidad, en el lado de la API, Option :: zip y vec :: Drain :: as_slice se estabilizaron en la versión actual. Mientras que en el lado de las bibliotecas, también ocurrieron cambios, entre los cuales String implementa From <char> que permite la escritura de la siguiente construcción:

fn char_to_string() -> String {

  'a'.into()

}

Dejo link:

https://blog.rust-lang.org/2020/08/27/Rust-1.46.0.html

Que es Inyección de dependencia y como funciona en Asp.net con .net core?

Empecemos por el principio, .net Core es un Framework de código abierto creado por Microsoft, que nos proporciona herramientas para el desarrollo de aplicaciones multiplataforma lo que significa que podemos desarrollar y ejecutar una aplicación en varios sistemas operativos, como Linux, Windows, iOS. Se pueden desarrollar en .net Core: aplicaciones de escritorio, aplicaciones web, aplicaciones móviles, juegos, inteligencia artificial, etc.

ASP.NET Core es un marco de trabajo para desarrollar aplicaciones web multiplataforma compilado con .Net Core.

Una técnica muy utilizada en java y tambien en .net es la inyección de dependencias que es una técnica en la que un objeto suministra las dependencias de otro. Está técnica nos permite evitar la creación de objetos, para lograr legibilidad y reuso de código.

Cualquier aplicación no trivial está formada por dos o más clases que colaboran entre sí para realizar alguna lógica. Tradicionalmente cada objeto se hacía cargo de obtener sus propias referencias a los objetos a los cuales colaboraba (sus dependencias). Esto lleva a código acoplado y difícil de probar.

Cuando se aplica inyección de dependencia le decimos a una entidad externa que provea las dependencias a los objetos. Esto nos resuelve el problema del acoplamiento.

El acoplamiento es un mal necesario ya que sin él los objetos no podrían interactuar para resolver problemas, pero cuan menor sea el acoplamiento es más reutilizable, comprobable y flexible.

La ventaja clave de inyección de dependencia es el acoplamiento débil. Si un objeto solo conoce sus dependencias mediante su interfaz (no su implementación o como fueron definidos) entonces la dependencia puede intercambiarse con una implementación diferente sin que el objeto dependiente sepa la diferencia.

La inyección de dependencias es una de las maneras de implementar Inversión de Control o IoC.

Netcore posee soporte nativo para Inyección de Dependencias, el cual es utilizado en Asp.net

Para injectar objetos, debemos utilizar los constructores de la clase. En los constructores indicamos que debe injectar el contenedor de .net, por ejemplo :

   public class EjemploService

    {                

        public EjemploService(UnRepositorio repository)

        {

            ...

        }

    }

En el ejemplo se puede ver que se esta inyectando un UnRepositorio al servicio EjemploService y el contenedor puede saber que inyectar, dado que busca en la clase Startup que instancia debe injectar según el tipo. Esto se indica con esta linea :

services.AddTransient<UnRepositorio, UnRepositorioImpl>();

En la clase Startup.

Algo que no dije es que UnRepositorio debe ser una interfaz.De esta forma desacopamos la implementación. 

La clase Startup esta contenida en el archivo Startup.cs en la carpeta raíz del proyecto.

Las aplicaciones ASP.NET Core debe incluir esta clase. Como su nombre indica, se ejecuta primero cuando se inicia la aplicación. Y tiene como objetivo brindar un conjunto de configuraciones para que nuestra aplicación pueda funcionar.

El método ConfigureServices es un lugar donde se registran las clases dependientes en el contenedor IoC o injección de dependencia. Después de registrar la clase dependiente, se puede usar en cualquier lugar de la aplicación. Solo necesita incluirlo en el parámetro del constructor de una clase donde desea usarlo y el contenedor de IoC lo inyectará automáticamente.

El método Configure es un lugar donde puede configurar la canalización de solicitudes de aplicaciones para su aplicación utilizando la instancia IApplicationBuilder que proporciona el contenedor IoC.

Que lenguaje de programación debo aprender?

Este es un post de opinión no me apoyo en ninguna encuesta o nada, es opinión de lo que voy leyendo. A la vez ya hice post similares pero lo actualice a 2020. 

Dicho esto, me pongo a opinar. Si queres aprender un lenguaje de programación, lo que primero que debes hacer es pensar a que te queres dedicar. Dado que la programación tiene varios objetivos y si bien hay lenguajes que son buenos para todo pero no son populares en todo, por lo tanto, dependiendo a que te queres dedicar es el lenguaje que debes aprender. 

Voy a listar temas y poniendo los lenguajes. 

Backend : Java, C#, Kotlin, Scala, Groovy, PHP, Python, Haskell, Go, SQL, Ruby

Frontend : Javascript, Typescript, Elm

Mobile : Java, Kotlin, C#, Dart

Data science : SQL, Python, Julia, R

Sistemas (bajo nivel) : Rust, Go, C

Sistemas concurrentes : Rust, Go, Scala, Haskell, Erlang, Elixir

Juegos : C, C++, Rust, Go, Lua, Elm, C#

Cursos Gugler

Quiero invitarlos a los cursos Gugler que están muy buenos y son super baratos, etc ...

Dejo link : http://inscripciones.gugler.com.ar

Cursos en developer.android.com

Si querer llegue a https://developer.android.com/courses y me sorprendió por sus cursos gratuitos de buena calidad por lo tanto quiero compartirlo con ustedes. 

Hay cursos en Java y Kotlin, de android por supuesto y nada más...

Se liberó TypeScript 4.0

Bueno una pequeña noticia y que los cambios en Typescript 4.0 no son tan importantes según lo dicho por el amigo Daniel en su post : 

"Con TypeScript 4.0, no hay grandes cambios importantes. De hecho, si es nuevo en el idioma, ahora es el mejor momento para comenzar a usarlo. La comunidad ya está aquí y está creciendo, con un código de trabajo y excelentes recursos nuevos para aprender. Y una cosa a tener en cuenta: a pesar de todas las cosas buenas que traemos en 4.0, ¡realmente solo necesita conocer los conceptos básicos de TypeScript para ser productivo!"

Sin más dejo link de la noticia: https://devblogs.microsoft.com/typescript/announcing-typescript-4-0/?fbclid=IwAR0aL7qtBCxgg7CAUYnq2gQInc8yzpepkJUP0IwHk2l_-Vj0zF4EmKLO0dQ

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