Functional Conf

YouTube video by ConfEngine Effects, Algebraically yours .. by Debasish Ghosh #FnConf 2025

Here is a link to the talk: youtu.be/Ig6xvAP4cdE

Functional Conf 2025 - YouTube https://functionalconf.com

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"