The journey continues, slowly but surely.
I should start doing some exercises on Project Euler again. Really fun.
original post on org-social:
https://preview.org-social.org/?post=https%3A%2F%2Fwww.alessandroliguori.it%2Fsocial.org%232026-01-13T23%3A54%3A43%2B0100
#functional_programming #haskell #haskellings #dev
#functional_programming
I never noticed it before, but does anyone really think this interactive tutorial on the home page works?
Well, it worked for me 🤣🤣🤣
...and so begins the first day of the year:
curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh
https://www.haskell.org/
#haskell #functional_programming #functionalprogramming #happy2026
The Compiler Is Your Best Friend, Stop Lying to It
https://blog.daniel-beskin.com/2025-12-22-the-compiler-is-your-best-friend-stop-lying-to-it
#ycombinator #software_development #functional_programming #scala
Devo smettere di fare ricerche in rete altrimenti trovo roba interessante e poi mi tocca passare le serate a casa davanti al pc 🤣
"I had the pleasure of serving as the summer instructor for 15-150, the introduction functional programming class for computer science students at Carnegie Mellon, in the Summer 2023 semester.
This course typically serves as the second or third course in the traditional computer science undergraduate sequence, a privilege which not many other universities get to enjoy, as functional programming is often considered a niche topic.
Despite this, I (and CMU) believe this to be of the utmost importance. A disciplined, type-oriented, safety-first view of programming can be of utmost benefit to burgeoning computer science scholars, and I have often heard feedback from students that it is has a transformative view on their perspective of computer science in general.
To that end, I have made my lecture materials from my iteration of the course available for free on the Internet. Please feel free to use this knowledge in any way that you see fit, and I hope that it aids you in your future endeavors."
Parliamo di programmazione funzionale e in particolare di StandardML. Magari può interessare a qualcunə...
https://brandonspark.github.io/150/
#functional_programming #functionalprogramming #standardml #ocaml #programming #dev
History of Declarative Programming
https://shenlanguage.org/TBoS/tbos_15.html
#ycombinator #functional_programming #logic_programming #typed_languages
Does anyone know if an inductive Nat datatype defined as a place-value system could replace the need to rewrite the PA definition to bigints in the compiler?
Monad laws in Raku - Anton Antonov
What Might Functional Programming Mean
I'm getting started with functional programming, which language would you recommend?
Poor man's bitemporal data system in SQLite and Clojure
https://www.evalapply.org/posts/poor-mans-time-oriented-data-system/index.html
#ycombinator #indie_software #B2B_Micro_SaaS #systems_thinking #technology_leadership #architecture #software_design #functional_programming #clojure #devops #shell_scripting #web_development #databases #sqlite #writing #blogging #coaching
🚀 Higher-Kinded-J v0.1.7 is LIVE!
We've packed this release with ergonomic features for more expressive & robust Java:
✨ Smarter Optics: @GenerateLenses now auto-creates with* methods for easy immutable updates on your records.
🎯 Targeted Traversals: New Traversals.forMap(key) plus modify() & getAll() for precise map value handling.
✅ Powerful Error Accumulation: Validated is now an Applicative, using Semigroup to beautifully accumulate errors.
🧮 Deeper Foundations: New Semigroup, Monoid, & Foldable interfaces bring category theory power to Java.
↔️ Enhanced Type Flexibility: Wildcards (? super, ? extends) improve compatibility for Functor, Applicative, Monad.
All documented in the updated hkj-book!
Explore more: https://higher-kinded-j.github.io/
GNU Artanis – A fast web application framework for Scheme
https://artanis.dev/index.html
#ycombinator #Scheme_programming_language #Web #Framework #GNU #Guile #GNU_Artanis #Artanis #Web_Application_Framework #WAF #Functional_Programming #Web_Development #Web_Server #Web_Framework #Web_Application
Преодоление сложности в самом сердце Анемичной Модели
Доброго времени суток, Хабр! Сегодня хотел бы поговорить об анемичной модели — одном из самых дискуссионных топиков (особенно для приверженцев DDD) и о том, как, по моему мнению, правильно её готовить. Для кого-то анемичная модель — это антипаттерн, тогда как для других это единственный правильный способ реализации приложений. Многие использовали её годами и даже не знали, как она называется, и что кем-то она считается антипаттерном. Реальность же такова, что анемичная модель — это инструмент, который может подходить или не подходить в зависимости от ситуации, но при этом является очень популярным и, по факту, «стандартом де-факто» для многих программистов и организаций. Хотя в последние годы я и вижу тенденцию к тому, что DDD и, соответственно, богатая доменная модель становятся всё популярнее, пока что, по моему мнению, им далеко до популярности анемичной модели.
https://habr.com/ru/articles/917012/
#ddd #software_design #anemic_model #refactoring #architecture #java #oop #web_development #domain_driven_design #functional_programming
What monads get used the most?
That’s not a terribly well-formed question, I think. I write a lot of Elixir and find myself reaching for Error and Writer a *ton*. Is there any survey on this?
🚀 just uploaded (link in reply): "Folding Cheat Sheet #9 List Unfolding - unfold as the Computational Dual of fold, and how unfold relates to iterate" #scala #haskell #folding #unfolding #iterate #functional_programming
🚀 just uploaded (link in reply): "List Unfolding -
unfold as the Computational Dual of fold,
and how unfold relates to iterate" #folding #unfolding #fold #unfold #foldL #foldL_prime #unfoldL #unfoldL_prime #unfoldr #iterate #anamorphism #catamorphism #functional_programming #scala #haskell
Today I spent a LOT of time solving AoC2024 day2 puzzle.
I solved it in three ways:
1. Javascript, just how I normally write it (somewhat functional programming)
2. A fully FP javascript solution
3. clojure solution
I realized some interesting things:
1. the functional programming js solution was very pretty and clean, and I think js is pretty good at FP. (I'm just learning FP so maybe I'm wrong)
2. the effective LOC of both clojure and js solution were exactly the same, and I think in the cleanliness and readability department they are very similar. But maybe that is because I'm much more used to js
3. The effective LOC of the functional solutions were almost half the LOC of the "normal" solution
Here are the solutions
https://github.com/alirezaalavi87/advent-of-code/tree/main/2024/day2
🚀 just uploaded (links in reply): Drawing Heighway’s Dragon - Part 4 - Interactive and Animated Dragon Creation #scala #functional_programming #computer_graphics
In #haskell, if you were implementing, say, a Lisp interpreter, is there a "REPL monad"?
It feels like there should be one, but I cannot think of it for the life of me...
Client Info
Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst