#functionalprogramming resultados de búsqueda
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


Bridging category theory and functional programming for enhanced learning. ~ Fethi Kadhi. mecs-press.org/ijmsc/ijmsc-v1… #Haskell #FunctionalProgramming #CategoryTheory
Great expectations: Unifying statistical theory and programming. ~ Bradley Saul. arxiv.org/abs/2510.09853 #ITP #Agda #FunctionalProgramming #Math
Exploring Arrows for sequencing effects. ~ Chris Penner. chrispenner.ca/posts/arrow-ef… #Haskell #FunctionalProgramming
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
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
Making change: Array-based dynamic programming. ~ James Bowen. mmhaskell.com/blog/2025/10/1… #Haskell #FunctionalProgramming #RustLang
Automatic C bindings generation for Haskell. ~ Travis Cardwell, Sam Derbyshire, Edsko de Vries, Dominik Schrempf. dl.acm.org/doi/10.1145/37… #Haskell #FunctionalProgramming
Readings shared October 15, 2025. jaalonso.github.io/vestigium/post… #AI #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #LiquidHaskell #Math #OCaml #Rocq
Dynamic programming primer. ~ James Bowen. mmhaskell.com/blog/2025/10/6… #Haskell #FunctionalProgramming #RustLang
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
ADTs, functions and induction. ~ Andrei Arusoaie. edu.info.uaic.ro/principii-ale-… #ITP #LeanProver #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
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
Array.map() transforms every element: const doubled = arr.map(x => x * 2) Returns new array, original unchanged. #JavaScript #Arrays #FunctionalProgramming
Bridging category theory and functional programming for enhanced learning. ~ Fethi Kadhi. mecs-press.org/ijmsc/ijmsc-v1… #Haskell #FunctionalProgramming #CategoryTheory
Great expectations: Unifying statistical theory and programming. ~ Bradley Saul. arxiv.org/abs/2510.09853 #ITP #Agda #FunctionalProgramming #Math
Non-obvious Haskell idiom: Bind to lambda case. ~ kqr. entropicthoughts.com/non-obvious-ha… #Haskell #FunctionalProgramming
Exploring Arrows for sequencing effects. ~ Chris Penner. chrispenner.ca/posts/arrow-ef… #Haskell #FunctionalProgramming
Readings shared October 16, 2025. jaalonso.github.io/vestigium/post… #AI #CompSci #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Math
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
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


"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

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

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

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


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🙌



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

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…

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

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

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

It takes a village, and I like this village very much! #scala #functionalprogramming #warsaw #poland #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

Something went wrong.
Something went wrong.
United States Trends
- 1. #เพียงเธอตอนจบ 211K posts
- 2. LINGORM ONLY YOU FINAL EP 204K posts
- 3. Good Friday 50.5K posts
- 4. #FanCashDropPromotion N/A
- 5. #FridayVibes 5,071 posts
- 6. Ayla 30.8K posts
- 7. Tawan 59.5K posts
- 8. Cuomo 108K posts
- 9. Happy Friyay 1,032 posts
- 10. Dorado 4,216 posts
- 11. Justice 335K posts
- 12. #FursuitFriday 12.1K posts
- 13. Mamdani 257K posts
- 14. Shabbat Shalom 2,182 posts
- 15. RED Friday 2,545 posts
- 16. #FridayMotivation 3,381 posts
- 17. Flacco 102K posts
- 18. Finally Friday 2,387 posts
- 19. New Yorkers 45.6K posts
- 20. Bolton 256K posts