Vídeos de programación

Vídeos sobre programación y desarrollo de software.
Running Redis for 8 years what I learned about people and technology - Considerations about human and technological factors, learned on the field while creating, supporting and handling the community of the Redis database project.
@CarlosTheSailor La industria está empezando a darse cuenta de cómo de importante es tener una mentalidad customer-centric. Mejorar la experiencia de cliente empieza a ser una prioridad en los boards de las grandes compañías, pero… ¿están preparadas para asumir el reto? ¿Y si lo escuchas mientras vas al trabajo o te pones en forma?: https://www.ivoox.com/23111854 Todos los videos de CAS 2017 https://www.youtube.com/playlist?list=PLKxa4AIfm4pVAo-yEM3IpgFnNYAaSJHEg 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
This presentation was given as part of Lambda World 2017 by Raul Raja and Paco Estevez. Follow: -https://www.twitter.com/47deg -https://www.twitter.com/lambda_world -https://www.twitter.com/raulraja -https://www.twitter.com/pacoworks Visit: -https://www.47deg.com/events for more details - http://kategory.io/ ___ Kategory is a library that started as a port of Typelevel Scala cats for the Kotlin Programming Language and is now evolving to bring the best of typed FP to Kotlin. This talk will cover some of the main datatypes and abstractions that make typed Functional Programming in Kotlin Possible. Kategory features techniques such as monadic comprehensions, laws, cartesian builders, emulated higher kinds, free monads, and global typeclass instances for the increasingly popular Kotlin programming language. Raul and Paco will discuss some pragmatic applications of Kategory and some of the different styles you can adopt when working with typed FP in Kotlin including transformers, tagless final, and free algebras.
Todos los videos de PAM 2017 https://www.youtube.com/playlist?list=PLKxa4AIfm4pUDvzcWfoYQi0WrnjCWt-k6 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/
Todos los videos de PAM 2017 https://www.youtube.com/playlist?list=PLKxa4AIfm4pUDvzcWfoYQi0WrnjCWt-k6 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/
Todos los videos de Barcelona Software Craftsmanship https://www.youtube.com/playlist?list=PLKxa4AIfm4pXfHIuhB89H6TdUO8syJMui&playnext=1 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/
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
This presentation was given as part of Lambda World 2017 by Alejandro Serrano. Follow: -https://www.twitter.com/47deg -https://www.twitter.com/lambda_world -https://twitter.com/trupill Visit: -https://www.47deg.com/events for more details ___ In functional programming we often use phrases starting with 'higher'. Each higher thingy generalizes the notion of thingy, allowing more abstractions and thus more code reuse. In this talk we shall look at three different 'higher's: Higher-order functions, which gives us the power of treating a function from values to values as yet another value. From simple functional patterns such as map and folds, to more complex ones such as catamorphisms, all rely on this secret sauce. Higher-kinded types, which gives us the power of speaking of a type constructor, such as List, in the same way as we talk of a ground type such as List. Talking about functors and monads intrinsically uses this ability from our languages. Higher-rank (and impredicative) polymorphism, which gives us the power of using quantification anywhere in our types. As crazy as it sounds, higher-rank types are basic to model lenses in a nice way.