raúl raja

Recursos de programación de raúl raja
In this Lambda World 2019 presentation, Raúl Raja and Simon Vergauwen detail the powerful Arrow Meta library. Presentation Description: Arrow Meta is a library that empowers library and application authors with the ability to write plugins for the Kotlin compiler. Compiler plugins have access to all compiler phases and can intercept and modify the AST, descriptors, and IR intermediate lang for bytecode generation. In this talk, Simon Vergauwen and Raul Raja, Arrow maintainers from 47 Degrees, will go over the main features of Arrow Meta and how the Arrow library aims for: - Bringing first-class FP capabilities to the Kotlin compiler. - Provide a framework for developers to write compiler plugins easily. You will learn how the Kotlin compiler works internally and how you can write compiler plugins with the Arrow Meta library. We will discuss some of the current Arrow plugins in development and the future and state of FP in Kotlin: - Keep 87. Type class and extension families - Monad Comprehensions - Higher Kinded Types - Automatic Optics derivation - Refined types ------ Follow: -https://www.twitter.com/lambda_world -https://www.twitter.com/47deg -https://twitter.com/vergauwen_simon -https://twitter.com/raulraja Visit: -https://www.47deg.com/events for more details -http://www.lambda.world
This presentation by Raúl Raja took place at Lambda World Seattle on September 18th, 2018 at the Living Computers Museum in Washington. Architecting Typed FP Applications & Libraries in Kotlin with Arrow In this talk we will learn the fundamentals of Typed Functional Programming applied to Kotlin with the library Arrow and how we can architect applications and libraries that are polymorphic and composed of pure abstract functions using type classes. Arrow provides a unified programming model in by which Kotlin practitioners can build programs relying on the traditional FP, MTL and Effect type classes in a Tagless Final style offering levels of flexibility and techniques new to the Kotlin FP community. Follow: -https://www.twitter.com/lambda_world -https://www.twitter.com/47deg -https://www.twitter.com/raulraja Visit: -https://www.47deg.com/events for more details -http://www.lambda.world
How Types and Typed FP affects the way we test programs https://github.com/47deg/types-vs-tests La conferencia es un punto de encuentro sobre desarrollo de software para aquellas personas que buscan mejorar sus habilidades y discutir sobre el futuro del desarrollo de software profesional. Si no sabes qué es Software Craftsmanship, recomendamos leer el libro “ The Software Craftsman” e información sobre Extreme Programming como método de desarrollo de software. Suscríbete a nuestra newsletter; https://goo.gl/5jc6uP Facebook; https://goo.gl/o8HrWX Twitter; https://goo.gl/MU5pUQ LinkedIn https://goo.gl/2On7Fj/
Arturo Herrero - @ArturoHerrero Raúl Raja - @raulraja Jorge Barroso - @flipper83 ----------------- La conferencia es un punto de encuentro sobre desarrollo de software para aquellas personas que buscan mejorar sus habilidades y discutir sobre el futuro del desarrollo de software profesional. Si no sabes qué es Software Craftsmanship, recomendamos leer el libro “ The Software Craftsman” e información sobre Extreme Programming como método de desarrollo de software. Suscríbete a nuestra newsletter; https://goo.gl/5jc6uP Facebook; https://goo.gl/o8HrWX Twitter; https://goo.gl/MU5pUQ LinkedIn https://goo.gl/2On7Fj/
En esta charla / workshop interactivo exploraremos como podemos separar comportamientos de implementaciones y escribir programas y librerías que funcionan con diferentes tipos de retorno. Normalmente las librerías estan escritas de forma que los usuarios que las usan estan obligados a lidiar con los tipos de retorno que los autores de dichas librerías enfuerzan. Gracias al poder de type classes y programación polimórfica en Scala y en otros lenguajes que soportan Higher Kinded Types y type classes podemos escribir programas libres de interpretación donde los usuarios pueden elegir sus propios tipos de retorno. Exploraremos un problema sencillo donde la audiencia aprenderá los conceptos necesarios para escribir programas que son enteramente polimórficos y no están acoplados a un runtime especifico. ---------------------- ¿Y si lo escuchas mientras vas al trabajo o te pones en forma?: https://www.ivoox.com/24998715 Todos los videos de WeCodeFest 2018 https://www.youtube.com/playlist?list=PLKxa4AIfm4pVh1ycmimywRWoiShVodcH4 Todos los vídeos de la pasada edición de WTM en Madrid https://www.youtube.com/watch?v=J-cZU3Oramg&list=PLKxa4AIfm4pVgiDv0Ya7sBxM9AOTmFhH7 Suscríbete a nuestra newsletter; https://goo.gl/5jc6uP Facebook; https://goo.gl/o8HrWX Twitter; https://goo.gl/MU5pUQ LinkedIn https://goo.gl/2On7Fj/
Raúl es CTO y cofundador de 47 Degrees. Entusiasta de la programación funcional. Ingeniero de Software autodidacta y emprendedor con sólida experiencia en backend con Scala. Problem-solver creativo. Siempre intentando probar lo último en cada tecnología. ------------------- ¿Y si lo escuchas mientras vas al trabajo o te pones en forma?: https://www.ivoox.com/24737696 Descarga gratis la versión digital del libro de Roberto Canales “Conversaciones con CEOs y CIOs sobre Transformación Digital y Metodologías Ágiles ” https://goo.gl/i2zZtJ Suscríbete a nuestra newsletter; https://goo.gl/5jc6uP Facebook; https://goo.gl/o8HrWX Twitter; https://goo.gl/MU5pUQ LinkedIn https://goo.gl/2On7Fj/ www.autentia.com
Arrow (antes Kategory) es una librería para Kotlin que permite un enfoque más funcional gracias a los tipos de datos que provee. Inspirada en las abstracciones que nos encontraríamos en Haskell o Scala con Cats, representa todo un avance para la programación funcional en Kotlin, ¡y por lo tanto en Android! Hoy os traemos una entrevista/screencast que hicimos en la última Lambda World con Raúl Raja donde nos cuenta un poquito acerca de esta librería. Aquí os dejamos las slides que se citan en la entrevista de la charla de Jorge Castillo sobre programación funcional en Android con Kategory: https://speakerdeck.com/jorgecastilloprz/functional-programming-android-architecture Y aquí la entrevista completa a Raúl: https://www.youtube.com/watch?v=gI8AhDMkICQ Documentación de Kategory: http://arrow-kt.io/ Suscríbete para más vídeos como este! https://www.youtube.com/c/CodelyTV?sub_confirmation=1
Antonio Leiva facilitó un workshop sobre programación funcional en Kotlin. En esta entrevista nos cuenta qué hicieron en el workshop, cómo es facilitar un workshop en la LambdaWorld, y los cursos que están preparando en kotlinfuncional.com Subscríbete al canal, pronto publicaremos el screencast con Raúl Raja sobre Kategory en Kotlin y qué se puede hacer con él! https://www.youtube.com/c/CodelyTV?sub_confirmation=1
Freestyle es una librería que nos ayuda en nuestras aplicaciones a implementar enfoques orientados a programación funcional. En este screencast Raúl Raja, uno de los principales contribuidores de la librería nos explica cómo ésta nos ayuda a ahorrarnos boilerplate y por qué es de utilidad 🙂 Entrevista Raúl Raja: https://www.youtube.com/watch?v=gI8AhDMkICQ Subscríbete para más vídeos como este!: https://www.youtube.com/CodelyTV?sub_confirmation=1
¿Qué hace un ingeniero en Boeing? ¿Cómo fueron los inicios de 47 Degrees? ¿Por qué apostar por Scala? Hoy Raúl Raja, CTO de 47 Degrees nos explica su trayectoria y da su opinión al respecto de la industria. Próximamente iremos publicando el resto de entrevistas y screencasts que pudimos grabar en la LambdaWorld 2017. Kategory, Freestyle, y demás, aquí! https://www.youtube.com/c/CodelyTV?sub_confirmation=1