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.
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.