🇪🇸 ¿Por qué Haskell? | CH AMA 22 Abr 2021

:es: Transcripción al español de un fragmento de “Surprise AMA 04/22/2021

Del minuto 00:22:22 al 00:25:38 del video original

Publicado en el canal de Youtube de Charles Hoskinson el 22 de Abril de 2021

Enlace a la versión doblada al español


¿Por qué Haskell?

Así que Haskell es una interesante, puedes lograr las cosas que queríamos lograr con otros lenguajes, como Idris, Agda, OCaml, ciertamente hay muchas buenas opciones. Pero sin importar la que elijas, el objetivo es el mismo. Tenemos estos documentos que escribimos, Ouroboros, el modelo UTXO extendido, Hydra, Catalyst, todas estas otras cosas, el sistema de votación. Y esos documentos contienen una enorme cantidad de complejidad. Así que la gente pregunta “¿cómo vas a encontrar un desarrollador?”. Espera un segundo, si contrato a un desarrollador C, un desarrollador C++, uno Java, uno C Sharp, yo podría tener un momento mucho más fácil econtrándolo, a él o a ella. Pero luego, ¿qué ocurre cuando le doy el documento a ese desarrollador?, y digo “aquí está Ouroboros, dime cómo construirlo”. Voy a tener un momento mucho más difícil encontrando un desarrollador que pueda leer ese documento, entender ese documento y de manera semánticamente correcta implementar ese documento.

Cuando tienes un desarrollador Haskell, más seguido que no, vienen del mundo académico, del mundo científico, son un poco más brillantes que el promedio. Mucha, mucha más alta probabilidad de que ese desarrollador será capaz de leer ese documento, entender ese documento, traducir ese documento a código y ese código correrá. Así que se sintió natural para mí, ya que estábamos invirtiendo en ciencia, para traer una clase distinta de desarrolladores, y hacer que ese desarrollador traduzca la ciencia a Haskell como el código de referencia. Ahora, es enteramente cierto que quizás ese no sea el código con el que termines en el mercado, pero es mucho más fácil traducir desde Haskell a Java que ir de la ciencia a Java, es mucho, mucho más fácil, porque al menos tenés algo corriendo y funcionando, y con algo de entrenamiento, de cinco a diez semanas, con un desarrollador normal, sabrán lo suficiente al respecto para leer el código, la documentación y ser capaces de encontrar una manera diferente de hacerlo. Y esto es exactamente lo que ocurrió con Vincent Hanquez, Nicola de Prima y el código Cardano Rust, miraron el código Haskell, lo leyeron, lo entendieron, y luego fueron capaces de escribir código Rust. Es significativamente más difícil tomar un documento que dentro tiene pruebas matemáticas, todos estos formalismos, e ir directamente de eso al código. Así que ese es el por qué de Haskell, mientras que fue muy caro al comienzo, y tuvimos que construir procesos, ahora nos está poniendo en una muy única posición competitiva, donde estamos acelerando, y estamos acelerando a pesar de la propia complejidad de escalar, y la propia complejidad de estos protocolos. Contrasta eso con nuestros competidores, están sumidos en la complejidad y continúan teniendo retraso de productos, como Ethereum 2, porque están en esa posición, donde están teniendo ciencia y protocolos mucho más complicados, pero luego no tienen el paso intermedio para ayudarlos a gestionar eso, resolverlo, ordenarlo, simplificarlo, y convertirlo en algo bueno. Así que estoy contento con ello, pagué el precio por ello, ya sea que pienses que es una buena idea o no, bueno, ahora tenemos los desarrolladores, ahora tenemos librerías, ahora funciona en Windows, tenemos un gran flujo de desarrollo, estamos liberando código muy rápidamente, cualquiera que te esté diciendo lo contrario simplemente te está mintiendo.