Here is a link to the talk: youtu.be/Ig6xvAP4cdE
31.01.2025 03:35
👍 3
🔁 0
💬 0
📌 0
The recordings will be published on YouTube. You will be able to watch the recordings on this channel: www.youtube.com/playlist?lis...
Functional Conf thanks Juspay for their support, helping us to bring you this year's event!
Make sure you check out their booth: confengine.com/conferences/...
#FnConf #Juspay
Ishan Bhanuka showing us "Type System Foundations for Super-Charged Semantic Code Search" #live at #FnConf 2025.
#TypeSystems
Tom Ellis demonstrates how to Get started with Bluefin, an effect system he has created for Haskell #live at #FnConf 2025.
#Haskell
Functional Conf thanks #Specmatic for their support, helping us to bring you this year's event!
Be sure to visit their booth.
#FnConf
@lauramcastro.bsky.social reflecting on "12 years supporting Software Architecture teaching with BEAMs" #live in her #FnConf 2025 keynote.
#BEAM #Elixirlang #Erlang
@erlangsolutions.bsky.social
Sudipta Mukherjee teaching us about "Doing Math with F#" at #FnConf 2025
#Fsharp
Lin Oshitani sharing his experience "Writing a Game Boy Emulator in OCaml", his learnings and how it got him a job! #Live at #FnConf 2025
#GameBoy #emulator #OCaml
Ziyang Liu giving an overview of "Developing DSLs with Functional Programming: Exploring Three Strategies Through Examples" #live at #FnConf 2025.
#DSL #Haskell #FunctionalProgramming
Alexander Granin exploring "Type-level interfaces in Haskell and Rust: pragmatic type-level programming" #live at #FnConf 2025.
#Haskell #Rust #FunctionalProgramming
Naresh Jain presenting his case study, "Testing API Resiliency using Kotlin: Leveraging Functional Programming at Scale" #live at #FnConf 2025
#Kotlin #Specmatic #FunctionalProgramming #APIresiliency #microservices
Damodharan J sharing his demonstration "JSONSchema as runtime type system - From full-stack validation to structured generation in LLM" #live at #FnConf 2025.
#LLM #JSONschema
Nathan Marz unpacking "Rama: the 100x programming platform with functional programming at its core" outlining how Rama can massively outperform Twitter and Mastodon with far less code.
#Rama #Twitter #Mastodon #FunctionalProgramming #Clojure
Alex Miller, one of the Clojure maintainers, outlining the capabilities of the "Clojure core.async Evolution" #live in his #FnConf 2025 keynote.
#Clojure #async
Lucas Dutton and Christopher Anand presenting "A Hands-On Introduction to Bidirectional Type Inference with Elm" #live at #FnCOnf 2025
#Elmlang
Day 2 of #FnConf 2025 is underway. Yesterday was packed with insightful sessions and epic networking!
Here Rúnar Bjarnason is presenting "Microservices on Unison Cloud: Statically Typed, Dynamically Deployed" live at Functional Conf.
#microservices #FunctionalProgramming
It should be available on YouTube in the next week or 2. We'll post the link here too.
@rvirding.bsky.social gives us a fascinating insight into the history of #Erlang and the problems it was created to solve in his #FnConf 2025 keynote: "Concurrency Oriented Programming In A Modern World"
#live #Concurrency #FunctionalProgramming
Great conversations happening on the hangout tables at #FnConf 2025! Make sure you join the conversation with speakers and other attendees. Some of these impromptu sessions run for hours! It's an opportunity not to be missed.
David Antunes walking us through "Quickly developing web applications with the FastScala framework" #live in his #FnConf session.
#Scala #FastScala #FunctionalProgramming
Sudha Parimala & Kaustubh Maske Patil leading the "OCaml Bridge Workshop" #live at #FnConf 20205
Aditya Athalye delivering his #workshop: "Composing (Clojure) Web Stacks using Functional First Principles" #live at #FnConf 2025.
#Clojure #Webstacks #FunctionalProgramming
Brujo Benavides presenting "Hank and Meandro: The Oxbow Code Detectors for Erlang and Elixir" #live at #FnConf. He demonstrates how to clean up large Erlang projects by detecting and removing code that’s no longer needed with the highest level of confidence!
#Erlang #Elixirlang
Peter Saxton is introducing us to a new FP language he's been working on his presentation: "EYG a predictable, and useful, programming language" #live at #FnConf 2025
Chaitanya Nair and Piyush Garg presenting "Compiler-Level Static Checks: Enforcing Safe Functional Development Patterns" #live at #FnConf 2025
#Functional Programming
Dario Mannu presenting "Functional-Reactive UI patterns for the modern Web Platform" #live at #FnConf 2025.
Michael Snoyman's keynote, "When to be Weird" explored which aspects of #FunctionalProgramming have won mainstream acceptance and which parts are unlikely to catch on and why. #Live at #FnConf 2025
Eswar Abisheak Tadiparthi & Chaitanya Nair share their presentation "Code as Data: Extracting and Analyzing Information from Haskell Codebases" #live at #FnConf 2025
#Haskell
Hari Krishnan shares his experience report of using Railway Oriented Programming in his #FnConf 2025 talk "The Functional Fix: Kotlin Error Handling Made Elegant"