#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

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

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

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

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

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

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

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

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.

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

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

Version upgrades be like #scala #functionalprogramming #spark

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