InfoQ Homepage Lambda Days 2019 Content on InfoQ
Presentations
RSS Feed-
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)
-
Introduction to Stateful Property-Based Testing
Tomasz Kowal presents a high-level overview that is both encouraging for beginners but also maps the road to mastering property-based testing.
/presentations/property-based-testing-lambda-days-2019/en/mediumimage/Tomasz-Kowal-m-1569001854724.jpg)
-
Announcing Broadway
José Valim discusses how Broadway connects multiple stages and producers, how it leverages GenStage to provide back-pressure, and other features such as batching, rate-limiting, partitioning and more.
/presentations/broadway/en/mediumimage/Jobig-1568591143171.JPG)
-
(Dys)functional DDD
Jarek Ratajski revisits some of the core concepts of DDD from a functional perspective and builds a simple system using a more functional approach.
/presentations/ddd-functional-programming/en/mediumimage/Jarbig-1567375212837.JPG)
-
Computer Mathematics, AI and Functional Programming
Moa Johansson discusses the history of computer mathematics and how it connects to the development of early functional programming languages like Standard ML.
/presentations/ai-ml-functional-programming/en/mediumimage/MOabig-1566570193535.JPG)
-
Does JavaScript Adopt Functional Programming?
Yoav Luft discusses a study attempting to determine whether JavaScript developers are adopting a more declarative programming style, and whether this style is influenced by functional programming.
/presentations/javascript-functional-programming/en/mediumimage/Yoav-Luft-m-1565181598630.jpeg)
-
Building on Developers' Intuitions to Create Effective Property-Based Tests
John Hughes shows how to build properties for testing, and also new features in Haskell QuickCheck that support them.
/presentations/property-based-testing-haskell/en/mediumimage/John-Hughes-Lambda-Days-m-1564597978582.jpg)
-
F# Code I Love
Don Syme keynotes on examples of F# code he loves and why. He also touches language design, functional programming, object programming, language features and functional-first programming.
/presentations/fsharp-code-keynote-2019/en/mediumimage/Donbig-1564935954064.JPG)