Functional Conf
banner
fnconf.bsky.social
Functional Conf
@fnconf.bsky.social
Asia's Premier Functional Programming Conference.
24-25 January 2025

https://functionalconf.com
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
January 25, 2025 at 10:13 AM
Ishan Bhanuka showing us "Type System Foundations for Super-Charged Semantic Code Search" #live at #FnConf 2025.

#TypeSystems
January 25, 2025 at 10:01 AM
Tom Ellis demonstrates how to Get started with Bluefin, an effect system he has created for Haskell #live at #FnConf 2025.

#Haskell
January 25, 2025 at 9:53 AM
Functional Conf thanks #Specmatic for their support, helping us to bring you this year's event!

Be sure to visit their booth.

#FnConf
January 25, 2025 at 9:30 AM
@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
January 25, 2025 at 9:21 AM
Sudipta Mukherjee teaching us about "Doing Math with F#" at #FnConf 2025

#Fsharp
January 25, 2025 at 9:10 AM
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
January 25, 2025 at 9:05 AM
Ziyang Liu giving an overview of "Developing DSLs with Functional Programming: Exploring Three Strategies Through Examples" #live at #FnConf 2025.

#DSL #Haskell #FunctionalProgramming
January 25, 2025 at 7:11 AM
Alexander Granin exploring "Type-level interfaces in Haskell and Rust: pragmatic type-level programming" #live at #FnConf 2025.

#Haskell #Rust #FunctionalProgramming
January 25, 2025 at 7:05 AM
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
January 25, 2025 at 6:16 AM
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
January 25, 2025 at 6:10 AM
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
January 25, 2025 at 4:52 AM
Alex Miller, one of the Clojure maintainers, outlining the capabilities of the "Clojure core.async Evolution" #live in his #FnConf 2025 keynote.

#Clojure #async
January 25, 2025 at 4:11 AM
Lucas Dutton and Christopher Anand presenting "A Hands-On Introduction to Bidirectional Type Inference with Elm" #live at #FnCOnf 2025

#Elmlang
January 25, 2025 at 3:15 AM
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
January 25, 2025 at 3:14 AM
@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
January 24, 2025 at 11:04 AM
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.
January 24, 2025 at 10:21 AM
David Antunes walking us through "Quickly developing web applications with the FastScala framework" #live in his #FnConf session.

#Scala #FastScala #FunctionalProgramming
January 24, 2025 at 9:44 AM
Sudha Parimala & Kaustubh Maske Patil leading the "OCaml Bridge Workshop" #live at #FnConf 20205
January 24, 2025 at 9:28 AM
Aditya Athalye delivering his #workshop: "Composing (Clojure) Web Stacks using Functional First Principles" #live at #FnConf 2025.

#Clojure #Webstacks #FunctionalProgramming
January 24, 2025 at 9:24 AM
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
January 24, 2025 at 9:20 AM
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
January 24, 2025 at 9:07 AM
Chaitanya Nair and Piyush Garg presenting "Compiler-Level Static Checks: Enforcing Safe Functional Development Patterns" #live at #FnConf 2025

#Functional Programming
January 24, 2025 at 7:37 AM
Dario Mannu presenting "Functional-Reactive UI patterns for the modern Web Platform" #live at #FnConf 2025.
January 24, 2025 at 7:32 AM
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
January 24, 2025 at 7:21 AM