#functionalprogramming search results
Dart & Flutter tip: Don’t wait for the language to evolve you can build the features you want. Make your code expressive and maintainable 🪄 @dart_lang @FlutterDev @TahaTesser @RydMike @ASalvadorini #DartLang #Flutter #FunctionalProgramming


JS in 2025: Functional programming is no longer a niche! Expect seamless data transformations & predictable UIs using libraries like Immer & Ramda. Focus on immutability & pure functions for easier debugging & AI-powered optimization. #JavaScript #FunctionalProgramming #WebDev

A monad is a design pattern in functional programming that represents computations as a sequence of steps. It provides a way to chain operations together while maintaining context. Monad is commonly used in languages like Haskell and Scala. #Monad #FunctionalProgramming
How much is in a square? Calculating functional programs with squares. ~ Jose Nuno Oliveira. lmf.di.uminho.pt/Ibex/oliveira2… #Haskell #FunctionalProgramming
Making change: Array-based dynamic programming. ~ James Bowen. mmhaskell.com/blog/2025/10/1… #Haskell #FunctionalProgramming #RustLang
Readings shared October 15, 2025. jaalonso.github.io/vestigium/post… #AI #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #LiquidHaskell #Math #OCaml #Rocq
@monad “Monads: the secret sauce that chains side-effects into pure functions. #FunctionalProgramming #MonadMagic”

@monad “Monads: the secret sauce that chains side-effects into pure functions. #FunctionalProgramming #MonadMagic”

A Monad is a concept in functional programming that represents a computation or a sequence of steps. It provides a way to chain operations together in a structured and predictable manner. It helps in managing side effects and handling data flow. #Monad #FunctionalProgramming
The calculated typer (Functional pearl). ~ Zac Garby, Patrick Bahr, Graham Hutton. dl.acm.org/doi/10.1145/37… #Haskell #FunctionalProgramming
A tale of two lambdas: A haskeller’s journey into OCaml. ~ Richard A. Eisenberg. dl.acm.org/doi/10.1145/37… #Haskell #OCaml #FunctionalProgramming
Learning about #FunctionalProgramming by @ties_ven at @JavaCro #javacro25 * Clear, from the basics, super understandable and eye opening .... Don't miss this talk

Arrows to arrows, categories to queries. ~ Sandy Maguire. reasonablypolymorphic.com/blog/arrows-to… #Haskell #FunctionalProgramming
Why Haskell is the perfect fit for renewable energy tech. ~ Marc Jakobi. mrcjkb.dev/posts/2025-10-… #Haskell #FunctionalProgramming
Plinth: A plugin-powered language built on Haskell. ~ Ziyang Liu, Kenneth MacKenzie, Roman Kireev, Michael Peyton Jones, Philip Wadler, Manuel Chakravarty. dl.acm.org/doi/10.1145/37… #Haskell #FunctionalProgramming
Verifying the functional correctness of Braun trees with LiquidHaskell. ~ Felipe de León, Alberto Pardo, Marcos Viera. systemf.epfl.ch/etc/vstte2025/… #Haskell #FunctionalProgramming #LiquidHaskell
State management in Haskell. ~ Ajeet Grewal. grewal.dev/posts/haskell-… #Haskell #FunctionalProgramming
The List @monad is pure magic ✨ It turns combinations into clean, elegant code. You don’t need loops — just compose and let the monad handle the rest. Once you “get” list monads, nested iterations feel so simple! #FunctionalProgramming #Haskell #Monad
Readings shared October 15, 2025. jaalonso.github.io/vestigium/post… #AI #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #LiquidHaskell #Math #OCaml #Rocq
Arrows to arrows, categories to queries. ~ Sandy Maguire. reasonablypolymorphic.com/blog/arrows-to… #Haskell #FunctionalProgramming
Verifying the functional correctness of Braun trees with LiquidHaskell. ~ Felipe de León, Alberto Pardo, Marcos Viera. systemf.epfl.ch/etc/vstte2025/… #Haskell #FunctionalProgramming #LiquidHaskell
How much is in a square? Calculating functional programs with squares. ~ Jose Nuno Oliveira. lmf.di.uminho.pt/Ibex/oliveira2… #Haskell #FunctionalProgramming
Readings shared October 14, 2025. jaalonso.github.io/vestigium/post… #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Python #RustLang #SetTheory
JS in 2025: Functional programming is no longer a niche! Expect seamless data transformations & predictable UIs using libraries like Immer & Ramda. Focus on immutability & pure functions for easier debugging & AI-powered optimization. #JavaScript #FunctionalProgramming #WebDev

Making change: Array-based dynamic programming. ~ James Bowen. mmhaskell.com/blog/2025/10/1… #Haskell #FunctionalProgramming #RustLang
Practical FP in Scala by Gabriel Volpe is on sale on Leanpub! Its suggested price is $49.99; get it for $35.99 with this coupon: leanpub.com/sh/WpAYemma @volpegabriel87 #Scala #FunctionalProgramming #Software
Deriving an Erlang interpreter from a mechanised formal semantics of core Erlang. ~ Gergő Lajos Turán, Arsenii Fomin, Péter Bereczky, Dániel Horpácsi, Simon Thompson. dl.acm.org/doi/abs/10.114… #ITP #Agda #FunctionalProgramming #Erlang
Learning about #FunctionalProgramming by @ties_ven at @JavaCro #javacro25 * Clear, from the basics, super understandable and eye opening .... Don't miss this talk

Freer arrows and why you need them in Haskell. ~ Grant VanDomelen, Gan Shen, Lindsey Kuper, Yao Li. dl.acm.org/doi/10.1145/37… #Haskell #FunctionalProgramming
Lightweight testing of persistent amortized time complexity in the credit monad. ~ Anton Lorenzen. dl.acm.org/doi/10.1145/37… #Haskell #FunctionalProgramming
Automatic C bindings generation for Haskell. ~ Travis Cardwell, Sam Derbyshire, Edsko de Vries, Dominik Schrempf. dl.acm.org/doi/10.1145/37… #Haskell #FunctionalProgramming
Total type classes. ~ Robert Weingart, Nicolas Wu. dl.acm.org/doi/10.1145/37… #Haskell #FunctionalProgramming
Prolog's success is so annoying! How do I introduce it to the concept of loss? Source: devhubby.com/thread/how-to-… #AI #FunctionalProgramming #DataScience #Python #prolog #force

1/ 🎛️ Advanced Functional Programming in R: purrr and beyond 🚀 Discover the power of functional programming techniques in R to write cleaner, more efficient code. #rstats #AdvancedR #FunctionalProgramming #DataScience

"Think of a monad as a container that not only holds a value but also knows how to apply functions while handling context (like errors, state, or async). 🚀 It’s less scary than it sounds—just a design pattern for composable effects. #FunctionalProgramming #Monad @monad

I am very excited about reading this book, what a treat!! #physics . #haskell . #functionalprogramming

I had an awesome time last week delivering both the #functionalprogramming essentials, and the Advanced Coroutines training in #kotlin at @Xebia with @XebiaFunctional! Thank everyone for the organisation, behind the scenes, for the lovely feedback! :ets do it again soon🙌



Let's say you are a Java developer looking to take the next step and fully dive into functional programming. Don't be scared of Scala's syntax! Take a look - it's often more familiar than you might think! #java #scala #functionalprogramming


Introduction to F#: A Language for Functional Programming tinyurl.com/5c2uwbme #IntroductionToFSharp #FSharp #FunctionalProgramming #FSharpProgramming #fsharp #AINews #AnalyticsInsight #AnalyticsInsightMagazine

Concatenating and convening folks from @elixir_delhi and @FunctionalIndia this coming Saturday to talk about @elixirlang, @HaskellOrg and #functionalprogramming Talks, show n' tells & free flowing conversations, almost as good as doing concurrency in #FP

Combined meetup of @elixir_delhi and #fpindia coming up on 1st June.
Take the stage of @scalarconf 2025! Become a speaker at the best Scala conference in Central Europe: sessionize.com/scalar-2025 You can suggest up to 3 talks related to #Scala and #functionalprogramming. #scalarconf #c4p #scalarconf

Sign up for alerts to receive regular content updates from Journal of Functional Programming 📚 cup.org/4jZHmpg #FunctionalProgramming


It’s time to look into functional programming with „Getting Clojure: Build Your Functional Skills One Idea at a Time“ by Russ Olsen. What’s your functional programming gem that makes you a better generalist? #functionalprogramming #clojure #architecture #cleancode

Check out the most-read articles from Journal of Functional Programming here: 📚 cup.org/4lCGyWJ #FunctionalProgramming

Functional Conf 2025 (online) 24-25 January functionalconf.com #lambda #functionalprogramming @FnConf

#KotlinConf 2024 is almost there. Next week I'll be in Copenhagen right now 😱 If you're not able to attend, all talks will also be live streamed! How many 2.0 library announcements will we see @ KotlinConf? 😁 #kotlin #functionalprogramming @arrow_kt

It takes a village, and I like this village very much! #scala #functionalprogramming #warsaw #poland #scalarconf

Dart & Flutter tip: Don’t wait for the language to evolve you can build the features you want. Make your code expressive and maintainable 🪄 @dart_lang @FlutterDev @TahaTesser @RydMike @ASalvadorini #DartLang #Flutter #FunctionalProgramming


Something went wrong.
Something went wrong.
United States Trends
- 1. #2025MAMAVOTE 1.13M posts
- 2. Fetterman 57.6K posts
- 3. #ThursdayThoughts 2,191 posts
- 4. Deport Harry Sisson 20.6K posts
- 5. #thursdayvibes 3,100 posts
- 6. Ninja Gaiden 21.1K posts
- 7. Deloitte 13.7K posts
- 8. Mila 17.4K posts
- 9. Good Thursday 31.6K posts
- 10. #NJCAADay N/A
- 11. No Kings 147K posts
- 12. Jennifer Welch 6,649 posts
- 13. Dead or Alive 18.9K posts
- 14. #TOMORROWXTOGETHER 54.1K posts
- 15. Andrade 5,464 posts
- 16. DuPont 2,575 posts
- 17. Itagaki 23.7K posts
- 18. Happy Friday Eve N/A
- 19. Starting 5 7,520 posts
- 20. Bernie 47K posts