Vídeos de programación
Vídeos sobre programación y desarrollo de software.
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.
"Cómo llegar a un proyecto que lleva años en marcha y acometer tanto reescrituras de componentes críticos como nuevas piezas intentando modificar lo menos posible los flujos de negocio actuales, aplicando patrones de diseño como parallel change, event bus, o event sourcing. Y de paso mejorando la automatización y los flujos de desarrollo y testing."
Suscríbete a nuestra newsletter;
https://goo.gl/5jc6uP
Facebook;
https://goo.gl/o8HrWX
Twitter;
https://goo.gl/MU5pUQ
LinkedIn
https://goo.gl/2On7Fj/
¿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
This presentation was given as part of Lambda World 2017 by Daniela Sfregola.
Follow:
-https://www.twitter.com/47deg
-https://www.twitter.com/lambda_world
-https://twitter.com/DanielaSfregola
Visit:
-https://www.47deg.com/events for more details.
___
Category Theory has become one of the hot topics in the community. Why is this theory suddenly so interesting for developers? Why are the cool kids talking so much about it? This talk will introduce the general principles of Category Theory in a pragmatic, non-mathematical way. We will show practical examples of how this theory has managed to simplify and solve common challenges that we encounter in our code daily, such as nullable values, error handling, parallel and sequential operations and data validation. Also, we will apply them to create our own category theory library from scratch using Scala and ScalaCheck as the only dependency.