InfoQ Homepage Lambda Days 2020 Content on InfoQ
Presentations
RSS Feed-
Introduction to Kotlin's Coroutines and Reactive Streams
Krystian Rybarczyk looks into coroutines and sees how they facilitate asynchronous programming, discussing flows and how they make writing reactive code simpler.
/presentations/kotlin-coroutines-reactive-streams/en/mediumimage/Krybig-1603465876572.JPG)
-
Elixir vs Scala
Ludwik Bukowski and Kacper Mentel compare the results of a pattern recognition app implemented in Elixir and Scala.
/presentations/elixir-vs-scala/en/mediumimage/DOibig-1601847824503.JPG)
-
A Functional Tour of Automatic Differentiation
Oliver Strickson discusses automatic differentiation, a family of algorithms for taking derivatives of functions implemented by computer programs, offering the ability to compute gradients of values.
/presentations/automatic-differentiation/en/mediumimage/Olibig-1601212299558.JPG)
-
Distributed Programming, Hash Tables, and Fun!
Thomas Gebert and Nick Misturak demonstrate how they built a distributed hash-table video-sharing system, the technical hurdles encountered, and the pros/cons of using functional languages to do so.
/presentations/distributed-video-sharing-demo/en/mediumimage/Doibig-1599424932607.JPG)
-
Modelling Side Effects via Extensible Effects and Property Testing
William Heslam describes a technique to model a JavaScript's side-effecting dependencies by combining two separate but complementary ideas: Extensible Effects and Property Testing.
/presentations/javascript-modeling-side-effects/en/mediumimage/Wilbig-1597755047183.JPG)
-
Dynamic Creation of Well-Typed DSL Expressions
Pieter Koopman shows how to make dynamic editors for complex user inputs in iTask programs using dynamic types.
/presentations/dynamic-types-itask-clean/en/mediumimage/Piebig-1596454741461.JPG)
-
Designing Composable Functional Libraries, Not Just for Data Visualization
Tomas Petricek describes the design of a data visualization library in The Gamma, covering principles of functional library design useful to use when tackling problems in other domains.
/presentations/data-visualization-library-gamma/en/mediumimage/Tombig-1594166321467.JPG)
-
Proving Algebraic Laws in Scala Using Stainless
Viktor Kunčak overviews Stainless used to state and formally verify properties of functional programs written in Scala.
/presentations/stainless-scala/en/mediumimage/Vikbig-1593356430896.JPG)
-
Functional Programming for Array-Based Parallelism
Gabriele Keller overviews functional array-based high-performance computing, how to map such programs efficiently to parallel hardware, and discusses challenges and ongoing work.
/presentations/functional-programming-parallelism/en/mediumimage/Gabbig-1592177317032.JPG)