filmov
tv
Lambda World 2018 - Architecting Typed FP Applications & Libraries in Kotlin with Arrow by Raúl Raja
Показать описание
This presentation by Raúl Raja took place at Lambda World Seattle on September 18th, 2018 at the Living Computers Museum in Washington.
Architecting Typed FP Applications & Libraries in Kotlin with Arrow
In this talk we will learn the fundamentals of Typed Functional Programming applied to Kotlin with the library Arrow and how we can architect applications and libraries that are polymorphic and composed of pure abstract functions using type classes. Arrow provides a unified programming model in by which Kotlin practitioners can build programs relying on the traditional FP, MTL and Effect type classes in a Tagless Final style offering levels of flexibility and techniques new to the Kotlin FP community.
Follow:
Visit:
Architecting Typed FP Applications & Libraries in Kotlin with Arrow
In this talk we will learn the fundamentals of Typed Functional Programming applied to Kotlin with the library Arrow and how we can architect applications and libraries that are polymorphic and composed of pure abstract functions using type classes. Arrow provides a unified programming model in by which Kotlin practitioners can build programs relying on the traditional FP, MTL and Effect type classes in a Tagless Final style offering levels of flexibility and techniques new to the Kotlin FP community.
Follow:
Visit:
0:40:00
Lambda World 2018 - Architecting Typed FP Applications & Libraries in Kotlin with Arrow by Raúl ...
0:47:49
Lambda World 2018 - Opening Keynote by Edward Kmett
0:37:07
Lambda World 2018 - The Complexity Trap: Think Before You Leap - Daniel Westheide
0:37:08
Lambda World 2018 - Elixir - functional, concurrent, distributed programming - Andrea Leopardi
0:39:19
Lambda World 2018 - A roadtrip with monads: from MTL, through tagless to BIO - Paweł Szulc
1:27:26
Lambda World 2018 - Functional Programming Unconference
0:59:13
AWS re:Invent 2018: [REPEAT 1] A Serverless Journey: AWS Lambda Under the Hood (SRV409-R1)
0:42:58
Lambda World 2018 - How to get away with functional programming in frontend applications
0:44:19
Lambda World 2018 - Rethinking compilers with live coding - Tomas Petricek
0:35:04
Lambda World 2018 - How to make ad hoc proof automation less ad hoc - Aleksandar Nanevski
0:37:37
Lambda World 2018 - Writing a Screencast Video Editor in Haskell - Oskar Wickstrom
0:47:42
Lambda World 2018 - Diagrammatic Execution Models for Functional Languages - Keynote
0:50:50
AWS Supports You - Optimizing Costs with AWS Lambda
0:37:48
Lambda World 2018 - Encoding our way to pure FP in Java - Jean-Baptiste Giraudeau
0:31:33
Lambda World 2018 - Functional Lenses in JavaScript - Flavio Corpa
0:57:56
AWS re:Invent 2022 - A closer look at AWS Lambda (SVS404-R)
0:42:06
Lambda World 2018 - Functional Programming in Anger - David Nolen
1:02:15
Lambda World 2018 - Musical patterns as functions - Alexandra Cárdenas
0:46:36
AWS re:Invent 2017: Using AWS Lambda as a Security Team (SID301)
0:02:00
Lambda World Cádiz 2018 - An Overview
0:56:02
Introduction to AWS Lambda & Serverless Applications
0:40:59
Lambda World 2018 - Introduction to the Unison programming language - Rúnar Bjarnason
1:00:55
AWS re:Invent 2018: [REPEAT 1] Using AWS Lambda as a Security Team (SEC322-R1)
0:25:45
AWS re:Invent 2020: Deep dive into AWS Lambda security: Function isolation
Комментарии