Habr4d ago

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

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

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

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

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

Введение Effect -фреймворк, который не может не вызвать эмоции у разбирающего с ней разработчика: либо неподдельный восторг, либо отвращение от синтаксиса, ненужного бойлерплейта и неоправданной...

Хабр
VulwsztynMar 1

I've created a port of a functional utility library to python

https://programming.dev/post/46523350

I've created a port of a functional utility library to python - programming.dev

cross-posted from: https://programming.dev/post/46518217 [https://programming.dev/post/46518217] > Links: > - Pypi [https://pypi.org/project/remedapy/] > - Codeberg.org repo [https://codeberg.org/Vulwsztyn/remedapy] > - GH mirrror [https://github.com/Vulwsztyn/remedapy] > - Remeda.js - the library I ported [https://remedajs.com/] > > I created it mainly as a proof of concept that python’s typing system is mature enough to support such a thing. The process was fun and I was able to help make remeda.js docs a bit better [https://github.com/remeda/remeda/pulls?q=is%3Apr+author%3AVulwsztyn+] > > The library is as typed as possible with my knowledge of python typing system, which means dict typing is kinda meh, but for iterables it is as good as in TS. > > I decided to publish 1.X, since I’ve been adding a lot of stuff that “absolutely must be in 1.X” and got tired of the scope creep, so there is a bunch of TODOs, but they are "nice to have"s. > > I’m planning to work on the TODOs and making the docs better now that I’ve managed to release it. > > About the library: > > It supports what remeda.js calls “data-first” and “data-last” approaches to calling functions. That means: > > > x = R.map([1, 2, 3], lambda i: i +1) > # is the same as > x = R.map(lambda i: i +1)([1, 2, 3]) > > which allows for a “fun” function composition: > > import remedapy as R > > R.pipe( > [1, 2, 2, 3, 3, 4, 5, 6], > R.for_each(print), > R.unique(), > R.take(3), > list > ) > # Returns [1, 2, 3] > # Prints: > # 1 > # 2 > # 2 > # 3 > > Features: > - as typed as possible, checked with basedpyright > - 100% code coverage, but the tests could be a bit more exhaustive > - docstrings for everything (they might require some work) > - no AI, 100% Human Stupidity

alephoto85    Jan 14
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
alephoto85    Jan 1
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
 Hacker NewsDec 31
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 - Daniel Beskin's Blog

The compiler is a powerful tool, yet many developers have a painful relationship with it. Can we do better?

 Hacker NewsDec 31
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 - Daniel Beskin's Blog

The compiler is a powerful tool, yet many developers have a painful relationship with it. Can we do better?

alephoto85    Dec 26
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
15-150: Principles of Functional Programming

 Hacker NewsDec 14
History of Declarative Programming
https://shenlanguage.org/TBoS/tbos_15.html
#ycombinator #functional_programming #logic_programming #typed_languages
The Book of Shen 4th Edition

Shen Programming Language

KepekenDec 5

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

david_Nov 16

Monad laws in Raku - Anton Antonov

https://discuss.tchncs.de/post/49050806

Monad laws in Raku - Anton Antonov - tchncs

Lemmy