InfoQ Homepage Lambda Days Content on InfoQ
-
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)
-
Rethinking Blockchain Contract Development
Manuel Chakravarty discusses how IOHK’s Plutus combines programming language theory, functional programming in Haskell, and theorem-proving in Agda to develop a new approach to blockchain contracts.
/presentations/iohk-plutus-haskell-agda/en/mediumimage/Manuel-MT-Chakravarty-m-1574766166543.jpg)
-
Users' Privacy Is in Your Hands!
Katarzyna Szymielewicz discusses technology and privacy, the need to consider privacy when designing systems, and the role of developers in this process.
/presentations/technology-design-privacy/en/mediumimage/Katarzyna-Szymielewicz-m-1570404225512.jpg)
-
Real-Time Stream Analysis in Functional Reactive Programming
Riccardo Terrell discusses about a reactive approach to application design, and how to account for handling events in near real time employing the Functional Reactive Programming paradigm.
/presentations/stream-analysis-fp/en/mediumimage/Riccardo-Terrell-m-1569798995963.jpg)