#functionalprogramming Suchergebnisse
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
Readings shared December 3, 2025. jaalonso.github.io/vestigium/post… #CompSci #FunctionalProgramming #Haskell #ITP #LeanProver #Math
Effect Oriented Programming by Bill Frasure, Bruce Eckel, and James Ward is on sale on Leanpub! Its suggested price is $30.00; get it for $14.00 with this coupon: leanpub.com/sh/W2RKqoMW @BruceEckel @_JamesWard #Scala #FunctionalProgramming #SoftwareEngineering
Haskell Advent of code Day 3 Completed ✅ 20 minutes to pass it, just cruising for now 😎 github.com/mehdidotcafe/a… #AdventOfCode #Haskell #functionalprogramming
Day 51 /100 – #100DaysOfElixir unpopular opinion learning a language by reading docs yields better long term result than you tube tutorials.. #Elixir #FunctionalProgramming
Welcome @riccardo_cardin as the #Scalarconf 2026 speakers! 🎙️ The Concurrency Triangle: Scala Fibers, Java Virtual Threads, and Kotlin Coroutines 🎟️ Grab your ticket here: scalar-conf.com/tickets #scala #functionalprogramming
Something went wrong.
Something went wrong.
United States Trends
- 1. The BONK 104K posts
- 2. FINALLY DID IT 564K posts
- 3. #Nifty 11.4K posts
- 4. Good Tuesday 29.1K posts
- 5. $FULC 10.4K posts
- 6. US Leading Investment Team 6,825 posts
- 7. Jalen 77K posts
- 8. Eagles 119K posts
- 9. Chargers 87.2K posts
- 10. Chainers 1,739 posts
- 11. LINGLING BA HAUS64 394K posts
- 12. #Haus64xLingMOME 392K posts
- 13. Judah 3,791 posts
- 14. #QG494 N/A
- 15. Piers 87.4K posts
- 16. #oracle 2,989 posts
- 17. Herbert 34K posts
- 18. AJ Brown 10.7K posts
- 19. Nick Fuentes 82.2K posts
- 20. Burkina Faso 46.9K posts