#functional_programming — Public Fediverse posts

Coffee Break Python - Mastery Workout by Finxter, Lukas Rieger, and Adrian Chan is free with a Leanpub Reader membership! Or you can buy it for $19.99! https://leanpub.com/coffeebreakpython-masteryworkout #python #computer_programming #functional_programming #computer_science

Coffee Break Python - Mastery Workout by Finxter, Lukas Rieger, and Adrian Chan is free with a Leanpub Reader membership! Or you can buy it for $19.99! https://leanpub.com/coffeebreakpython-masteryworkout #python #computer_programming #functional_programming #computer_science

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: https://leanpub.com/effect-oriented-programming/c/LeanPublishingDaily20260727 #scala #functional_programming

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: https://leanpub.com/effect-oriented-programming/c/LeanPublishingDaily20260727 #scala #functional_programming

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: https://leanpub.com/certainty-by-construction/c/LeanPublishingDaily20260724 #functional_programming #mathematics #computer_science

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: https://leanpub.com/certainty-by-construction/c/LeanPublishingDaily20260724 #functional_programming #mathematics #computer_science

🐫 Submitting a PR on opam sixteen years after the first commit:

https://github.com/ocaml/opam-repository/pull/30346 🚀

#Ocaml #OpenSource #Software #Functional_programming #Fractal #Art

🐫 Submitting a PR on opam sixteen years after the first commit:

https://github.com/ocaml/opam-repository/pull/30346 🚀

#Ocaml #OpenSource #Software #Functional_programming #Fractal #Art

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: https://leanpub.com/effect-oriented-programming/c/LeanPublishingDaily20260708 #scala #functional_programming

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: https://leanpub.com/effect-oriented-programming/c/LeanPublishingDaily20260708 #scala #functional_programming

Functional Java by dimitris papadimitriou is free with a Leanpub Reader membership! Or you can buy it for $2.00! https://leanpub.com/functional-java-with-vavr #java #functional_programming

Functional Java by dimitris papadimitriou is free with a Leanpub Reader membership! Or you can buy it for $2.00! https://leanpub.com/functional-java-with-vavr #java #functional_programming

Professional Android Developer by Mahmoud Ramadan is a new release on Leanpub!

Link: https://leanpub.com/b/professional_android_developer

#books #ebooks #newreleases #leanpublishing #selfpublishing #android #functional_programming #asynchronous_programming #computer_programming #testing #dependency_injection

Professional Android Developer by Mahmoud Ramadan is a new release on Leanpub!

Link: https://leanpub.com/b/professional_android_developer

#books #ebooks #newreleases #leanpublishing #selfpublishing #android #functional_programming #asynchronous_programming #computer_programming #testing #dependency_injection

Haskell Wizard by Alejandro Serrano Mena is the featured bundle of ebooks 📚 on Leanpub!

Become a real Haskell wizard with these two books! On the one hand, get your hands dirty with every major library in the ecosystem. On the other hand, climb the ivory tower and deepen your knowledge of monads.

Link: https://leanpub.com/b/haskell-wizard

#haskell #functional_programming

Haskell Wizard by Alejandro Serrano Mena is the featured bundle of ebooks 📚 on Leanpub!

Become a real Haskell wizard with these two books! On the one hand, get your hands dirty with every major library in the ecosystem. On the other hand, climb the ivory tower and deepen your knowledge of monads.

Link: https://leanpub.com/b/haskell-wizard

#haskell #functional_programming

Functional Java by dimitris papadimitriou is free with a Leanpub Reader membership! Or you can buy it for $2.00! https://leanpub.com/functional-java-with-vavr #java #functional_programming

Functional Java by dimitris papadimitriou is free with a Leanpub Reader membership! Or you can buy it for $2.00! https://leanpub.com/functional-java-with-vavr #java #functional_programming

Modern Software Design in Fortran by Matthias Noback is a new release on Leanpub!

Link: https://leanpub.com/modern-software-design-in-fortran

#books #ebooks #newreleases #leanpublishing #selfpublishing #object_oriented_programming #functional_programming #software_architecture #automated_software_testing #refactoring

Modern Software Design in Fortran by Matthias Noback is a new release on Leanpub!

Link: https://leanpub.com/modern-software-design-in-fortran

#books #ebooks #newreleases #leanpublishing #selfpublishing #object_oriented_programming #functional_programming #software_architecture #automated_software_testing #refactoring

Functional Java by dimitris papadimitriou is free with a Leanpub Reader membership! Or you can buy it for $2.00! https://leanpub.com/functional-java-with-vavr #java #functional_programming

Functional Java by dimitris papadimitriou is free with a Leanpub Reader membership! Or you can buy it for $2.00! https://leanpub.com/functional-java-with-vavr #java #functional_programming

Notes on Dynamical Systems for Actor-Critic Learning: A Dynamical Systems Approach to Reinforcement Learning Mean Dynamics by Vladyslav Prytula is a new release on Leanpub!

Link: https://leanpub.com/rl-attractors

#books #ebooks #newreleases #leanpublishing #selfpublishing #ai_programming_with_python #functional_programming #mathematics #algorithm #formal_methods

Notes on Dynamical Systems for Actor-Critic Learning: A Dynamical Systems Approach to Reinforcement Learning Mean Dynamics by Vladyslav Prytula is a new release on Leanpub!

Link: https://leanpub.com/rl-attractors

#books #ebooks #newreleases #leanpublishing #selfpublishing #ai_programming_with_python #functional_programming #mathematics #algorithm #formal_methods

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: https://leanpub.com/certainty-by-construction/c/LeanPublishingDaily20260601 #functional_programming #mathematics #computer_science

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: https://leanpub.com/certainty-by-construction/c/LeanPublishingDaily20260601 #functional_programming #mathematics #computer_science

Composing Software: An Exploration of Functional Programming and Object Composition in JavaScript by Eric Elliott is the featured course 🎓 on Leanpub!

Link: https://leanpub.com/courses/leanpub/composingsoftware

#computer_programming #functional_programming #javascript #software #software_engineering #software_architecture

Composing Software: An Exploration of Functional Programming and Object Composition in JavaScript by Eric Elliott is the featured course 🎓 on Leanpub!

Link: https://leanpub.com/courses/leanpub/composingsoftware

#computer_programming #functional_programming #javascript #software #software_engineering #software_architecture

Rust Blockchain: A Full-Stack Implementation Guide by Bill Kunyiha is a new release on Leanpub!

Link: https://leanpub.com/rustblockchainafull-stackimplementationguide

#books #ebooks #newreleases #leanpublishing #selfpublishing #rust #blockchain_technology #functional_programming

Rust Blockchain: A Full-Stack Implementation Guide by Bill Kunyiha is a new release on Leanpub!

Link: https://leanpub.com/rustblockchainafull-stackimplementationguide

#books #ebooks #newreleases #leanpublishing #selfpublishing #rust #blockchain_technology #functional_programming

Почему JS/TS — не функциональный язык (и почему это важно понимать)

Мотивацией для написания этого поста стали два года собеседований JS/TS-инженеров. Я интересуюсь языками и функциональным программированием, поэтому всегда «разбавлял» технические вопросы разговором о парадигмах. И заметил любопытную асимметрию. Об ООП кандидаты рассуждали уверенно — но в основном на концептуальном уровне, не вдаваясь в то, как именно ООП реализовано в JavaScript. С FP картина была другой: уверенности меньше, зато критика — конкретная и повторяющаяся: «иммутабельность дорогая по памяти» , «рекурсия небезопасна из-за стека» . Что характерно — эти аргументы почти всегда были сформулированы через опыт работы с JS, а не с Haskell, Clojure или Scala. Это важная деталь. Любая парадигма существует на двух уровнях: концептуальном (идеальная модель) и имплементационном (как конкретный язык эту модель выражает). Судить о FP по JS — примерно то же самое, что судить об ООП по bash-скриптам с глобальными переменными. Параллельно я регулярно слышал, что JS — функциональный язык. Аргументы варьировались от «там есть .map() » до рассуждений о чистых функциях и каррировании. Именно это и стало поводом для поста: я хочу объяснить, что я считаю функциональным языком — и почему JS таковым не является. Не перечислить отсутствующие фичи, а показать, почему их нет и что это значит в реальном рантайме.

https://habr.com/ru/articles/1025100/

#fp #scala #js #ts #functional_programming

10 причин попробовать Effect TS/Основы Effect TS

Effect -фреймворк, который никого не может оставить равнодушным. Читая комментарии к другим постам, я заметил, что добрая часть хабра считает, что эффект это избыточно сложная и не особо нужная технология. В своей статье я обозначаю 10 причин, почему эту технологию стоит попробовать, даже если вы дико предвзятый разработчик, а также даю экскурс по базам фреймворка.

https://habr.com/ru/articles/1009458/

#Effect #Effect_TS #TypeScript #functional_programming #функциональное_программирование #dependency_injection #AI

The compiler is your best friend
https://blog.daniel-beskin.com/2025-12-22-the-compiler-is-your-best-friend-stop-lying-to-it
#ycombinator #software_development #functional_programming #scala

The compiler is your best friend
https://blog.daniel-beskin.com/2025-12-22-the-compiler-is-your-best-friend-stop-lying-to-it
#ycombinator #software_development #functional_programming #scala

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

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

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?

#theoremProving #types #functional_programming

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?

#theoremProving #types #functional_programming

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

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/

#Java #functional_programming #HigherKindedTypes #Optics

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

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

#adventofcode #javascript #clojure #functional_programming

🚀 just uploaded (links in reply): Drawing Heighway’s Dragon - Part 4 - Interactive and Animated Dragon Creation #scala #functional_programming #computer_graphics

Keeping it Old-Tool: REPL habits of a grug-brained Clojure programmer
https://www.evalapply.org/posts/demo-clojure-workflow-scicloj/index.html
#ycombinator #systems_thinking #functional_programming #architecture #software_design #technology_leadership #devops #clojure #B2B_Micro_SaaS

@jakehamilton Is this a pattern specific to configuration only, or does it have wider application in pure #functionalProgramming (and maybe even beyond that)? I wonder whether this pattern has been found, described and named before, or whether this is its first (documented) discovery.

#functional_programming #softwareDesign #softwareDesignPattern

A very interesting and detailed article about functional programming in JavaScript.

https://janhesters.com/blog/unleash-javascripts-potential-with-functional-programming

#javascript #functional_programming