#functionalprogramming search results
Luaで真のパイプライン演算子 |> を実現するライブラリ作った！！！ OCaml/Julia/F#/Elixirみたいに x |> f |> g って書けるやつ（正確には x % f ^ g） Haskellの f . g $ x も書ける（f * g % x） 皆大好き依存ゼロで、オーバーヘッドもほぼゼロ（LuaJIT）！ #Lua #FunctionalProgramming
International Conference on Functional Programming (ICFP) 2026, August 24-29, 2026 Indiana University, Indianapolis, US @icfp_conference #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
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…
Readings shared December 10, 2025. jaalonso.github.io/vestigium/post… #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Math
Haskell Advent of code Day 8 Completed ✅ WHAT. A. DAY. Spent an unreasonable amount of time on deadends, but I managed to figure it out ultimately. github.com/mehdidotcafe/a… #AdventOfCode #Haskell #functionalprogramming
OCaml’s type inference is wild: the compiler figures out precise, static types for everything, even when you never write a single explicit annotation. #OCaml #FunctionalProgramming #TypeInference #HindleyMilner #StrongTyping #ProgrammingLanguages #FP
Readings shared December 9, 2025. jaalonso.github.io/vestigium/post… #AI #FunctionalProgramming #HOL4 #HOL-Light #Haskell #ITP #IsabelleHOL #LeanProver #Math
"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
Haskell Advent of code Day 6 Completed ✅ Not so hard today, haskell's transpose function does most of the work. We're already halfway through! github.com/mehdidotcafe/a… #AdventOfCode #Haskell #functionalprogramming
Haskell is a great language for data science. ~ Jonathan Carroll. jcarroll.com.au/2025/12/05/has… #Haskell #FunctionalProgramming #DataScience #Rstats
💡Immutability: Why Your Data Should Never Change phel-lang.org/blog/immutabil… #PhelLang #PHP #FunctionalProgramming #Immutability #Lisp #OpenSource
Functional Python programming in introductory computer science courses. ~ Rajshekhar Sunderraman. arxiv.org/abs/2512.03492… #Python #FunctionalProgramming
Elm Beyond the Browser: Type-Safe Scripting with elm-pages by @TomasLatal Register and read more: meetup.com/func-prog-swed… And you can join from anywhere as we are live streaming. #funcprogsweden #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…
Lambda World is this WEEK! And Wendy Randolph is fully prepared to take part in it. Check out this great video she sent us from Florida, and go and grab your tickets NOW! lambda.world #FunctionalProgramming #Elixir #Clojure
Readings shared December 10, 2025. jaalonso.github.io/vestigium/post… #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Math
International Conference on Functional Programming (ICFP) 2026, August 24-29, 2026 Indiana University, Indianapolis, US @icfp_conference #FunctionalProgramming
Readings shared December 9, 2025. jaalonso.github.io/vestigium/post… #AI #FunctionalProgramming #HOL4 #HOL-Light #Haskell #ITP #IsabelleHOL #LeanProver #Math
Haskell Advent of code Day 9 Completed ✅ Actually not so hard when you know what to code; lost a lot of times on silly condition mistakes 🥲 github.com/mehdidotcafe/a… #AdventOfCode #Haskell #functionalprogramming
🚀 tulanā seeks a Senior Software Engineer to build stochastic optimization platforms with Scala, Nix/NixOS, Python, Haskell & Rust. Join a Berlin‑remote startup creating reproducible, elegant systems. #Scala #FunctionalProgramming #NixOS #BerlinJobs #Remote…
Readings shared December 8, 2025. jaalonso.github.io/vestigium/post… #FunctionalProgramming #Haskell #ITP #LeanProver #Math
Haskell Advent of code Day 8 Completed ✅ WHAT. A. DAY. Spent an unreasonable amount of time on deadends, but I managed to figure it out ultimately. github.com/mehdidotcafe/a… #AdventOfCode #Haskell #functionalprogramming
Welcome @alexelcu as the #Scalarconf 2026 speaker! 🎙️ Type-Classes (in Scala 3) 🎟️ Grab your ticket here: scalar-conf.com/tickets #scala #functionalprogramming
Readings shared December 7, 2025. jaalonso.github.io/vestigium/post… #CoqProver #FunctionalProgramming #HOL #Haskell #ITP #IsabelleHOL #LeanProver #LogicProgramming #Math #Prolog #Python
Parallel arrays aren’t useful until you combine them. A simple zipWith() turns raw service responses into structured data you can actually work with. #devtips #javascript #FunctionalProgramming #SoftwareEngineering
Another blog post on Monads: Writer Monad + Option<T> in C# = null-safe chains with automatic audit logs! No more manual logging, just pure functional goodness 🔥 devtember.com/how-writer-mon… #CSharp #FunctionalProgramming #Monads
Haskell Advent of code Day 7 Completed ✅ Solved it quickly today as I coded part 2 while trying to code part 1 😄 Added memoization to boost performances and to make it pass. github.com/mehdidotcafe/a… #AdventOfCode #Haskell #functionalprogramming
Functional Python programming in introductory computer science courses. ~ Rajshekhar Sunderraman. arxiv.org/abs/2512.03492… #Python #FunctionalProgramming
Haskell Advent of code Day 6 Completed ✅ Not so hard today, haskell's transpose function does most of the work. We're already halfway through! github.com/mehdidotcafe/a… #AdventOfCode #Haskell #functionalprogramming
Is anyone using monads in any other programming language other than #functionalprogramming
Haskell Advent of code Day 5 Completed ✅ Sets to the rescue again today, not very elegant code buy does the job anyway github.com/mehdidotcafe/a… #AdventOfCode #Haskell #functionalprogramming
As part of growing Functional Programming and the Func Prog Sweden community, we will with start to run more in-person events in Sweden next year. First event – a Scala Meetup @ Spotify: meetup.com/func-prog-swed… #funcprogsweden #functionalprogramming #scala
Haskell is a great language for data science. ~ Jonathan Carroll. jcarroll.com.au/2025/12/05/has… #Haskell #FunctionalProgramming #DataScience #Rstats
Readings shared December 4, 2025. jaalonso.github.io/vestigium/post… #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver
Haskell Advent of code Day 4 Completed ✅ Storing paper rolls under a Set made part 2 so easy 👌🏻 github.com/mehdidotcafe/a… #AdventOfCode #Haskell #functionalprogramming
Something went wrong.
Something went wrong.
United States Trends
- 1. Lakers 43.7K posts
- 2. Spurs 36.5K posts
- 3. Doug Dimmadome 8,347 posts
- 4. Godzilla 19.6K posts
- 5. Michigan 122K posts
- 6. Marcus Smart 2,122 posts
- 7. Wemby 5,303 posts
- 8. Sherrone Moore 62.4K posts
- 9. #Survivor49 5,032 posts
- 10. #AEWDynamite 26.3K posts
- 11. Erika 175K posts
- 12. #PorVida 1,466 posts
- 13. Stephon Castle 3,532 posts
- 14. Dolly Parton 2,027 posts
- 15. Candace 218K posts
- 16. Gabe Vincent 1,139 posts
- 17. Jim Ward 8,732 posts
- 18. Thunder 32.1K posts
- 19. Vando 1,309 posts
- 20. PETA 22.7K posts