#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
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
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
A thing I love about ZIO HTTP is that a server-side application is just a map of (a) route patterns to (b) their handlers, where each entry is essentially just a function from a Request to a Response. #scala #functionalprogramming
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…
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
THEY'LL PROGRAM YOU WITH #HASKELL-LIKE BIOCODES (#FUNCTIONALPROGRAMMING) FOR THE BRAIN & BODY TO ENSURE FAULT-TOLERANT COMPUTING AND PARALLEL PROCESSING OF YOUR BIOSIGNALS. DID YOU CONSENT TO THIS? ...
Monad Node It handles the transaction processing for new blocks, and keeps track of the state of the blockchain. Monad supports several ways for full nodes to receive block proposals via the RaptorCast protocol. docs.monad.xyz/node-ops/full-… RaptorCast RaptorCast is a specialized…
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…
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
"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
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
The FP pitch This guide is your tactical playbook for those serendipitous moments: the elevator ride with the CTO, the coffee break with the head of sales, or a casual chat with the product manager. Read more: adabeat.com/fp/the-fp-pitch #functionalprogramming
Check out the most-read articles from Journal of Functional Programming here: 📚 cup.org/4lCGyWJ #FunctionalProgramming
Readings shared September 30, 2025. jaalonso.github.io/vestigium/post… #FunctionalProgramming #Haskell #ITP #LeanProver #Math
Is your Prolog code secretly training for the Tour de France? 🏆🚴 Source: devhubby.com/thread/how-to-… #Tech #FunctionalProgramming #ArtificialIntelligence #OpenSource
Interested in submitting your article to Journal of Functional Programming? Click here for more information. 📚 cup.org/3SpFGJ7 #FunctionalProgramming
Make that 1,999 course registrations! learnscala.dev #scala #functionalprogramming
I just saw that we are now over 1,800 course registrations. #Scala and #FunctionalProgramming training, all 100% free.
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
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
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/qngyD135 @volpegabriel87 #Scala #FunctionalProgramming #Software
Readings shared October 11, 2025. jaalonso.github.io/vestigium/post… #FunctionalProgramming #Haskell #ITP #LeanProver #Math
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
ADTs, functions and induction. ~ Andrei Arusoaie. edu.info.uaic.ro/principii-ale-… #ITP #LeanProver #FunctionalProgramming
Readings shared October 9, 2025. jaalonso.github.io/vestigium/post… #AI #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Math
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
Why Haskell is the perfect fit for renewable energy tech. ~ Marc Jakobi. mrcjkb.dev/posts/2025-10-… #Haskell #FunctionalProgramming
State management in Haskell. ~ Ajeet Grewal. grewal.dev/posts/haskell-… #Haskell #FunctionalProgramming
@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”
Readings shared October 8, 2025. jaalonso.github.io/vestigium/post… #FunctionalProgramming #Haskell #ITP #LeanProver #Math #Mathlib
Composing Software by Eric Elliott is on sale on Leanpub! Its suggested price is $34.00; get it for $25.50 with this coupon: leanpub.com/sh/IsKoDkds @ericelliott_ #ComputerProgramming #FunctionalProgramming #Javascript #Software #SoftwareEngineering #SoftwareArchitecture
The Mondrian introduction to functional optics. ~ Marco Perone. marcosh.github.io/post/2025/10/0… #Haskell #FunctionalProgramming
Readings shared October 6, 2025. jaalonso.github.io/vestigium/post… #AI #CoqProver #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Math #PVS #RustLang
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
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
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
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
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.
Something exciting arrived in the mail today 🤩 Maybe I should share some of my favorite books with you all before I finish this one? 🤔 What are some of YOUR favorite books on functional programming or IT in general? #functionalprogramming #book #haskell @graninas
Introduction to F#: A Language for Functional Programming tinyurl.com/5c2uwbme #IntroductionToFSharp #FSharp #FunctionalProgramming #FSharpProgramming #fsharp #AINews #AnalyticsInsight #AnalyticsInsightMagazine
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 takes a village, and I like this village very much! #scala #functionalprogramming #warsaw #poland #scalarconf
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…
#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
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
Read a new #openaccess article from Journal of Functional Programming: "Trace contracts" by Cameron Moy and Matthias Felleisen 📚 cup.org/3TDBLdD #OA #functionalprogramming
Something went wrong.
Something went wrong.
United States Trends
- 1. Branch 36.8K posts
- 2. Chiefs 111K posts
- 3. Red Cross 50K posts
- 4. Exceeded 5,986 posts
- 5. Mahomes 34.6K posts
- 6. Binance DEX 5,183 posts
- 7. #njkopw 5,337 posts
- 8. #LaGranjaVIP 81.9K posts
- 9. Air Force One 56.1K posts
- 10. Rod Wave 1,610 posts
- 11. #TNABoundForGlory 59.1K posts
- 12. #LoveCabin 1,358 posts
- 13. Tel Aviv 59.1K posts
- 14. Alon Ohel 16K posts
- 15. Bryce Miller 4,593 posts
- 16. Omri Miran 15.4K posts
- 17. Eitan Mor 15.2K posts
- 18. LaPorta 12.1K posts
- 19. Matan Angrest 14.6K posts
- 20. Goff 13.9K posts