#functionalprogramming zoekresultaten
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
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
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
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…
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…
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.
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
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
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
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
The calculated typer (Functional pearl). ~ Zac Garby, Patrick Bahr, Graham Hutton. dl.acm.org/doi/10.1145/37… #Haskell #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
A Clash course in solving Sudoku (Functional pearl). ~ Gergő Érdi. 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
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
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
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
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
"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
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
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
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
It takes a village, and I like this village very much! #scala #functionalprogramming #warsaw #poland #scalarconf
Read a new #openaccess article from Journal of Functional Programming: "Trace contracts" by Cameron Moy and Matthias Felleisen 📚 cup.org/3TDBLdD #OA #functionalprogramming
🔴 #JDKFundamenTalks – ¡HOY! Cara a cara de funcionalidades Java con @christiansq2020, @_benek, @berroteranlkf y @geovannycode . 🕔 5PM (🇳🇮🇲🇽) 🕕 6PM (🇨🇴🇵🇪🇪🇨🇵🇦) 🕖 7PM (🇩🇴🇧🇴) 🕗 8PM (🇦🇷) 👉 ¡Conéctate ahora! youtu.be/dxIhjqsNqSg #Java #FunctionalProgramming
Something went wrong.
Something went wrong.
United States Trends
- 1. #SwiftDay 6,727 posts
- 2. Columbus 54.1K posts
- 3. #TSTheErasTour 1,685 posts
- 4. Knesset 93.5K posts
- 5. $ZOOZ 1,026 posts
- 6. Good Monday 35K posts
- 7. #IndigenousPeoplesDay 1,818 posts
- 8. #MondayMotivation 11.1K posts
- 9. Marc 34.5K posts
- 10. #MondayVibes 2,798 posts
- 11. Victory Monday N/A
- 12. Penta 4,259 posts
- 13. Branch 45K posts
- 14. Israeli Parliament 10.7K posts
- 15. Thanksgiving 39.7K posts
- 16. Rod Wave 2,606 posts
- 17. Happy 250th 1,408 posts
- 18. GOD BLESS THE PEACEMAKER 2,617 posts
- 19. All 20 76.4K posts
- 20. Cryptocurrencies 4,211 posts