Introducción a Scala (IV-IV): Implícitos

Martin Odersky suele mencionar los implícitos como la característica más original de Scala. ¿Por qué está presente en tantos lenguajes (Haskell, Rust, Swift, Coq, Agda, ...) y se está considerando para otros (Kotlin, C#, ...)? En esta última sesión del curso de Habla trataremos de dar respuesta a esta pregunta, y veremos:

• Un breve descripción de los casos de uso típicos de la programación con implícitos: inyección de dependencias, type classes, type-level programming, ...
• La programación con type classes y el polimorfismo ad-hoc

Ponente: Juan Manuel Serrano
Con un pie en Habla Computing, aprendiendo de las necesidades de la industria, transfiriendo tecnología y disfrutando, en suma, con el desarrollo de proyectos reales. Con otro pie en la Universidad Rey Juan Carlos, investigando y captando alumnos para la cruzada funcional ;).