#functionalprogramming résultats de recherche
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


Making change: Array-based dynamic programming. ~ James Bowen. mmhaskell.com/blog/2025/10/1… #Haskell #FunctionalProgramming #RustLang
Learning about #FunctionalProgramming by @ties_ven at @JavaCro #javacro25 * Clear, from the basics, super understandable and eye opening .... Don't miss this talk

A tale of two lambdas: A haskeller’s journey into OCaml. ~ Richard A. Eisenberg. dl.acm.org/doi/10.1145/37… #Haskell #OCaml #FunctionalProgramming
Abstraction Logic: A New Foundation for Reasoning, Computing, and Understanding by Steven Obua is the featured book on the Leanpub homepage! #Mathematics #ComputerScience #FunctionalProgramming #books #ebooks Abstraction logic is a new logic combining exceptional simplicity with…

Unification modulo isomorphisms between dependent types for type-based library search. ~ Satoshi Takimoto, Sosuke Moriguchi, Takuo Watanabe. dl.acm.org/doi/10.1145/37… #Haskell #FunctionalProgramming
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
Effect Oriented Programming by Bill Frasure, Bruce Eckel, and James Ward is on sale on Leanpub! Its suggested price is $30.00; get it for $14.00 with this coupon: leanpub.com/sh/q41qhSFe @BruceEckel @_JamesWard #Scala #FunctionalProgramming #SoftwareEngineering
Dynamic programming primer. ~ James Bowen. mmhaskell.com/blog/2025/10/6… #Haskell #FunctionalProgramming #RustLang
Representing data structures with invariants in Haskell: The cases of BST and AVL. ~ Nicolas Rodriguez, Alberto Pardo, Marcos Viera. dl.acm.org/doi/abs/10.114… #Haskell #FunctionalProgramming
Functional data structures and algorithms: A proof assistant approach. ~ Tobias Nipkow (Ed.) alioh.com/docs/functiona… #ITP #IsabelleHOL #FunctionalProgramming #algorithms
Automatic C bindings generation for Haskell. ~ Travis Cardwell, Sam Derbyshire, Edsko de Vries, Dominik Schrempf. dl.acm.org/doi/10.1145/37… #Haskell #FunctionalProgramming
ADTs, functions and induction. ~ Andrei Arusoaie. edu.info.uaic.ro/principii-ale-… #ITP #LeanProver #FunctionalProgramming
Effect Oriented Programming by Bill Frasure, Bruce Eckel, and James Ward is on sale on Leanpub! Its suggested price is $30.00; get it for $14.00 with this coupon: leanpub.com/sh/j5AxS00m @BruceEckel @_JamesWard #Scala #FunctionalProgramming #SoftwareEngineering
A formalization of opaque definitions for a dependent type theory. ~ Nils Anders Danielsson, Eve Geng. dl.acm.org/doi/10.1145/37… #ITP #Agda #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

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
Rebound: Efficient, expressive, and well-scoped binding. ~ Noé De Santo, Stephanie Weirich. dl.acm.org/doi/10.1145/37… #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
The calculated typer (Functional pearl). ~ Zac Garby, Patrick Bahr, Graham Hutton. dl.acm.org/doi/10.1145/37… #Haskell #FunctionalProgramming
A Clash course in solving Sudoku (Functional pearl). ~ Gergő Érdi. 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
Staging automatic differentiation with fusion. ~ Samuel Klumpers, Tom Schrijvers. dl.acm.org/doi/abs/10.114… #Haskell #FunctionalProgramming
The conatural numbers form an exponential commutative semiring. ~ Szumi Xie, Viktor Bense. dl.acm.org/doi/10.1145/37… #ITP #Agda #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

"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

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

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


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


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.
Sign up for alerts to receive regular content updates from Journal of Functional Programming 📚 cup.org/4jZHmpg #FunctionalProgramming


Check out the most-read articles from Journal of Functional Programming here: 📚 cup.org/4lCGyWJ #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

I just saw that we are now over 1,800 course registrations. #Scala and #FunctionalProgramming training, all 100% free.

My free Scala and Functional Programming video courses are now complete!🥳 We have 8 courses, with 266 videos, and since August, 2024, we have over 1,450 course registrations. Many thanks to @zivergetech, @jdegoes , and @Tornadolobo for making this all possible. 🙏 The…

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

#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

Read a new #openaccess article from Journal of Functional Programming: "Trace contracts" by Cameron Moy and Matthias Felleisen 📚 cup.org/3TDBLdD #OA #functionalprogramming

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

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

Something went wrong.
Something went wrong.
United States Trends
- 1. #DWTS 20.7K posts
- 2. Robert 101K posts
- 3. #WWENXT 11.5K posts
- 4. #RHOSLC 3,182 posts
- 5. Elaine 45.1K posts
- 6. Carrie Ann 1,870 posts
- 7. #DWCS 2,663 posts
- 8. Whitney 13.2K posts
- 9. Dylan 31.2K posts
- 10. Young Republicans 43.1K posts
- 11. Politico 249K posts
- 12. D’Angelo 393K posts
- 13. Roldan 1,567 posts
- 14. #ShootingStar N/A
- 15. Jackson Chourio 1,838 posts
- 16. Charlie 773K posts
- 17. Amen Thompson 1,180 posts
- 18. The Rangers 7,878 posts
- 19. Yamamoto 7,600 posts
- 20. Yelich 1,315 posts