#functionalprogramming resultados de búsqueda

A monad is a programming concept used in functional programming to manage side effects and compose functions. It provides a way to chain operations together in a structured way. To learn more, check out resources like blogs, tutorials, or videos on monads. #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

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

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

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

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

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

I'm delighted to be here at @LambdaDays for the 10th time! Let's celebrate #functionalprogramming

pub.dev/packages/nadz #monads #functionalprogramming #German #leibniz #philosophy

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

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

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

Version upgrades be like #scala #functionalprogramming #spark

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

Ravi de vous annoncer, la sortie de mes 2 articles intitulés « Ecrire son 1er DSL avec Kotlin » et « Programmation Fonctionnelle avec Kotlin » 🙂 Ils viennent d’être publiés dans le nouveau numéro #256 du magazine @progmag ! #Kotlin #DSL #FunctionalProgramming