#functionalprogramming zoekresultaten

Day 50 /100 – #100DaysOfElixir Almost abandoned it cuz the learning curve is kinda hard with Elixir 😭 #Elixir #FunctionalProgramming

The course Composing Software by Eric Elliott is on sale on Leanpub! Its suggested price is $179.00; get it for $89.00 with this coupon: leanpub.com/sh/adL5Pega @ericelliott_ #ComputerProgramming #FunctionalProgramming #Javascript #Software #SoftwareEngineering

The course Composing Software by Eric Elliott is on sale on Leanpub! Its suggested price is $179.00; get it for $89.00 with this coupon: leanpub.com/sh/S9qAdMlS @ericelliott_ #ComputerProgramming #FunctionalProgramming #Javascript #Software #SoftwareEngineering

Property-based testing for asynchronous functional reactive programming using linear temporal logic. ~ Christian Emil Nielsen, Mathias Faber Kristiansen, Patrick Bahr. bahr.io/pubs/files/pro… #Haskell #FunctionalProgramming

Readings shared November 1, 2025. jaalonso.github.io/vestigium/post… #Agda #FunctionalProgramming #Haskell #ITP #LeanProver #Math

Call-by-value and call-by-name: A simple proof of a classic theorem. ~ D. Biernacki, J. McKinna, & F. Sieczkowski. pure.hw.ac.uk/ws/portalfiles… #ITP #Adga #FunctionalProgramming

Formalization of coverage checking in Agda. ~ Satoshi Takimoto, Sosuke Moriguchi, Takuo Watanabe. wasabi315.github.io/files/wctp2025… #ITP #Agda #FunctionalProgramming

Some more creative coding in Scheme: - a starfield always makes good impression - some colorful spirals #creativecoding #functionalprogramming #lisp #scheme #genart

The bundle Visual Category Theory by Dmitry Vostokov is on sale on Leanpub! Its suggested price is $39.95; get it for $15.00 with this coupon: leanpub.com/b/categories/c… @DumpAnalysis #ComputerScience #Mathematics #FunctionalProgramming

Solving "Ninety-nine OCaml Problems" in Typescript. Learning Typescript, Functional Programming along the way. Join me at: youtube.com/watch?v=tnz3j6… #javascript #TypeScript #functionalprogramming #youtuelive #softwareengineering

Readings shared October 30, 2025. jaalonso.github.io/vestigium/post… #FunctionalProgramming #Haskell #ITP #LeanProver #Math

Functional-Light JavaScript (Book & Code) by Kyle Simpson is on sale on Leanpub! Its suggested price is $29.95; get it for $21.56 with this coupon: leanpub.com/sh/V0htIyFF @getifyX #Javascript #FunctionalProgramming

Lists are geometric series. ~ iacgm. iacgm.com/articles/adts/ #Haskell #FunctionalProgramming

💡Immutability: Why Your Data Should Never Change phel-lang.org/blog/immutabil… #PhelLang #PHP #FunctionalProgramming #Immutability #Lisp #OpenSource

Luaで真のパイプライン演算子 |> を実現するライブラリ作った！！！ OCaml/Julia/F#/Elixirみたいに x |> f |> g って書けるやつ（正確には x % f ^ g） Haskellの f . g $ x も書ける（f * g % x） 皆大好き依存ゼロで、オーバーヘッドもほぼゼロ（LuaJIT）！ #Lua #FunctionalProgramming

Readings shared October 29, 2025. jaalonso.github.io/vestigium/post… #AI #CompSci #FunctionalProgramming #GenAI #HOL_Light #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Metamath #Mizar #Programming #Python #Rocq

Certainty by Construction by Sandy Maguire is on sale on Leanpub! Its suggested price is $80.00; get it for $17.50 with this coupon: leanpub.com/sh/fQHU4MNP #FunctionalProgramming #Mathematics #ComputerScience

Readings shared October 28, 2025. jaalonso.github.io/vestigium/post… #AI #FormalMethods #FunctionalProgramming #Haskell #ITP #LeanProver #Logic #Math

Why (pure) functional programming matters by @therealchreke Register for free and read more at: meetup.com/func-prog-swed… Kind regards @KivraHq for the venue. And you can join from anywhere as we are live streaming. #funcprogsweden #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

"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

Luaで真のパイプライン演算子 |> を実現するライブラリ作った！！！ OCaml/Julia/F#/Elixirみたいに x |> f |> g って書けるやつ（正確には x % f ^ g） Haskellの f . g $ x も書ける（f * g % x） 皆大好き依存ゼロで、オーバーヘッドもほぼゼロ（LuaJIT）！ #Lua #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

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

💡Immutability: Why Your Data Should Never Change phel-lang.org/blog/immutabil… #PhelLang #PHP #FunctionalProgramming #Immutability #Lisp #OpenSource

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

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

Check out the most-read articles from Journal of Functional Programming here: 📚 cup.org/4lCGyWJ #FunctionalProgramming

I'm delighted to be here at @LambdaDays for the 10th time! Let's celebrate #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

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

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.

It takes a village, and I like this village very much! #scala #functionalprogramming #warsaw #poland #scalarconf

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

Version upgrades be like #scala #functionalprogramming #spark

We have now passed 1,600 course registrations! 🥳 #scala #functionalprogramming #free