#fp — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #fp, aggregated by home.social.
-
Brisbane Functional Programming Group #BFPG Hack Day, Saturday 20 June at UQ. Open to #FP newbies, wizards, and everyone in between. Come learn, share, ask, rant, and yak-shave. https://luma.com/0je3g6ft
Mega thanks to @mstheasaurus and George for stepping up to organise and host this edition.
-
"Today, I'm open-sourcing my life's work and magnum opus: ShipReq ... a SaaS/webapp for storing and managing project requirements, tasks, and issues."
#Scala #ScalaJS #FPhttps://gist.github.com/japgolly/538875580ec648ca7517ce04d63dc009
-
-
🚀 Higher-Kinded-J v0.4.4 is out — functional programming for Java 25.
🧪 NEW hkj-test module: fluent AssertJ assertions for every HKJ type — Either, Maybe, Try, IO, VTask, every transformer — behind a single import.
🔗 PCollections integration: HKT compatibility + 7 new optics generators (30 across 7 families).
➕ Alternative.orElseAll(Iterable) & MonadZero.filter.
🔭 Optic-polymorphic ForState.zoom & ReaderPath.magnify.No breaking changes.
📦 https://github.com/higher-kinded-j/higher-kinded-j/releases/tag/v0.4.4
📚 https://higher-kinded-j.github.io -
🚀 Higher-Kinded-J v0.4.4 is out — functional programming for Java 25.
🧪 NEW hkj-test module: fluent AssertJ assertions for every HKJ type — Either, Maybe, Try, IO, VTask, every transformer — behind a single import.
🔗 PCollections integration: HKT compatibility + 7 new optics generators (30 across 7 families).
➕ Alternative.orElseAll(Iterable) & MonadZero.filter.
🔭 Optic-polymorphic ForState.zoom & ReaderPath.magnify.No breaking changes.
📦 https://github.com/higher-kinded-j/higher-kinded-j/releases/tag/v0.4.4
📚 https://higher-kinded-j.github.io -
🚀 Higher-Kinded-J v0.4.4 is out — functional programming for Java 25.
🧪 NEW hkj-test module: fluent AssertJ assertions for every HKJ type — Either, Maybe, Try, IO, VTask, every transformer — behind a single import.
🔗 PCollections integration: HKT compatibility + 7 new optics generators (30 across 7 families).
➕ Alternative.orElseAll(Iterable) & MonadZero.filter.
🔭 Optic-polymorphic ForState.zoom & ReaderPath.magnify.No breaking changes.
📦 https://github.com/higher-kinded-j/higher-kinded-j/releases/tag/v0.4.4
📚 https://higher-kinded-j.github.io -
🚀 Higher-Kinded-J v0.4.4 is out — functional programming for Java 25.
🧪 NEW hkj-test module: fluent AssertJ assertions for every HKJ type — Either, Maybe, Try, IO, VTask, every transformer — behind a single import.
🔗 PCollections integration: HKT compatibility + 7 new optics generators (30 across 7 families).
➕ Alternative.orElseAll(Iterable) & MonadZero.filter.
🔭 Optic-polymorphic ForState.zoom & ReaderPath.magnify.No breaking changes.
📦 https://github.com/higher-kinded-j/higher-kinded-j/releases/tag/v0.4.4
📚 https://higher-kinded-j.github.io -
Hilfegesuch: Suche 30+ cm SATA 6GB/s Kabel mit gewinkeltem Stecker auf einer Seite. Kabelweggang nach oben. Gekauft habe ich diese von Delock:
https://www.delock.de/produkt/83973/merkmale.html
Die haben aber einen etwa 2-3mm zu tiefen/langen/breiten Stecker (siehe Foto). Stehen also über, sodass das PC-Gehäuse nicht geschlossen werden kann.
Konkret geht es um eine gebraucht gekaufte P510 Workstation von Lenovo. Lenovo selbst ruft für alleine ein Kabel indiskutable 50€+ auf.
-
Hilfegesuch: Suche 30+ cm SATA 6GB/s Kabel mit gewinkeltem Stecker auf einer Seite. Kabelweggang nach oben. Gekauft habe ich diese von Delock:
https://www.delock.de/produkt/83973/merkmale.html
Die haben aber einen etwa 2-3mm zu tiefen/langen/breiten Stecker (siehe Foto). Stehen also über, sodass das PC-Gehäuse nicht geschlossen werden kann.
Konkret geht es um eine gebraucht gekaufte P510 Workstation von Lenovo. Lenovo selbst ruft für alleine ein Kabel indiskutable 50€+ auf.
-
Hilfegesuch: Suche 30+ cm SATA 6GB/s Kabel mit gewinkeltem Stecker auf einer Seite. Kabelweggang nach oben. Gekauft habe ich diese von Delock:
https://www.delock.de/produkt/83973/merkmale.html
Die haben aber einen etwa 2-3mm zu tiefen/langen/breiten Stecker (siehe Foto). Stehen also über, sodass das PC-Gehäuse nicht geschlossen werden kann.
Konkret geht es um eine gebraucht gekaufte P510 Workstation von Lenovo. Lenovo selbst ruft für alleine ein Kabel indiskutable 50€+ auf.
-
Hilfegesuch: Suche 30+ cm SATA 6GB/s Kabel mit gewinkeltem Stecker auf einer Seite. Kabelweggang nach oben. Gekauft habe ich diese von Delock:
https://www.delock.de/produkt/83973/merkmale.html
Die haben aber einen etwa 2-3mm zu tiefen/langen/breiten Stecker (siehe Foto). Stehen also über, sodass das PC-Gehäuse nicht geschlossen werden kann.
Konkret geht es um eine gebraucht gekaufte P510 Workstation von Lenovo. Lenovo selbst ruft für alleine ein Kabel indiskutable 50€+ auf.
-
Hilfegesuch: Suche 30+ cm SATA 6GB/s Kabel mit gewinkeltem Stecker auf einer Seite. Kabelweggang nach oben. Gekauft habe ich diese von Delock:
https://www.delock.de/produkt/83973/merkmale.html
Die haben aber einen etwa 2-3mm zu tiefen/langen/breiten Stecker (siehe Foto). Stehen also über, sodass das PC-Gehäuse nicht geschlossen werden kann.
Konkret geht es um eine gebraucht gekaufte P510 Workstation von Lenovo. Lenovo selbst ruft für alleine ein Kabel indiskutable 50€+ auf.
-
Kann man das schon als #Spam werten?
Vor allem die Art und Weise wie der Autor Jan Leißner das schon schreibt sagt sehr viel aus über die Qualität dieser Artikel....
-
Eine nette kleine Open-Source-Bibliothek aus unseren Projekten, um trotz funktionaler Fehlerbehandlung (mit Either aus Kotlin-Arrow) klassische Stacktraces zu bekommen: https://blog.spree.de/2026/05/11/failure-kt-a-tiny-stacktrace-library-on-top-of-arrows-either/
(#kotlin , #arrow , #fp ) -
https://www.europesays.com/ch/63466/ Phillips Geneva Watch Auction Sets Record With $96.3 Million Sale #AudemarsPiguet #AurelBacs #Cartier #FP #FPJourne #Geneva #LiviaRusso #PatekPhilippe #phillips #PhillipsGenevaWatchAuctionSetsRecord
-
-
«Hemos visto que la programación en el mundo de la informática es un arte,...»
.- Donald Knuth, en "Computer Programming as an Art" (1974) ~ el creador del concepto de la #programacionliteraria (1992)
( chicos... criticas/sugerencias , ando en las escuelas de #FP )
#autoaprendizaje #python
#git
#videojuegosideas/críticas/sugerencias ?
-
-
@AVincentInSpace as soon as you think more about data and its relations, rather then what gets executed when the chances are rather high you are doing #fp ... My std example to explain FP is a spreadsheet: you enter data alongside with functions as first class citizens - you don't care in which order the cells get evaluated, the spreadsheet does that for you.
-
Interesting:
“A Case Against Currying”, Emilia H (https://emi-h.com/articles/a-case-against-currying.html).
Via HN: https://news.ycombinator.com/item?id=47477090
On Lobsters: https://lobste.rs/s/w2x9dq/case_against_currying
#Programming #FunctionalProgramming #FP #Currying #Rants #PLDI #Haskell
-
Interesting:
“A Case Against Currying”, Emilia H (https://emi-h.com/articles/a-case-against-currying.html).
Via HN: https://news.ycombinator.com/item?id=47477090
On Lobsters: https://lobste.rs/s/w2x9dq/case_against_currying
#Programming #FunctionalProgramming #FP #Currying #Rants #PLDI #Haskell
-
Interesting:
“A Case Against Currying”, Emilia H (https://emi-h.com/articles/a-case-against-currying.html).
Via HN: https://news.ycombinator.com/item?id=47477090
On Lobsters: https://lobste.rs/s/w2x9dq/case_against_currying
#Programming #FunctionalProgramming #FP #Currying #Rants #PLDI #Haskell
-
Interesting:
“A Case Against Currying”, Emilia H (https://emi-h.com/articles/a-case-against-currying.html).
Via HN: https://news.ycombinator.com/item?id=47477090
On Lobsters: https://lobste.rs/s/w2x9dq/case_against_currying
#Programming #FunctionalProgramming #FP #Currying #Rants #PLDI #Haskell
-
Interesting:
“A Case Against Currying”, Emilia H (https://emi-h.com/articles/a-case-against-currying.html).
Via HN: https://news.ycombinator.com/item?id=47477090
On Lobsters: https://lobste.rs/s/w2x9dq/case_against_currying
#Programming #FunctionalProgramming #FP #Currying #Rants #PLDI #Haskell
-
a macro to generate other macros was the best idea ever: now confirmed
(with the last version of emacs-indigo for pretty-much-memory-safe molecule manipulation inside emacs!)
https://github.com/gicrisf/emacs-indigo
#emacs #lisp #chemistry #cheminformatics #metaprogramming #programming #code #coding #fp
-
a macro to generate other macros was the best idea ever: now confirmed
(with the last version of emacs-indigo for pretty-much-memory-safe molecule manipulation inside emacs!)
https://github.com/gicrisf/emacs-indigo
#emacs #lisp #chemistry #cheminformatics #metaprogramming #programming #code #coding #fp
-
a macro to generate other macros was the best idea ever: now confirmed
(with the last version of emacs-indigo for pretty-much-memory-safe molecule manipulation inside emacs!)
https://github.com/gicrisf/emacs-indigo
#emacs #lisp #chemistry #cheminformatics #metaprogramming #programming #code #coding #fp
-
a macro to generate other macros was the best idea ever: now confirmed
(with the last version of emacs-indigo for pretty-much-memory-safe molecule manipulation inside emacs!)
https://github.com/gicrisf/emacs-indigo
#emacs #lisp #chemistry #cheminformatics #metaprogramming #programming #code #coding #fp
-
a macro to generate other macros was the best idea ever: now confirmed
(with the last version of emacs-indigo for pretty-much-memory-safe molecule manipulation inside emacs!)
https://github.com/gicrisf/emacs-indigo
#emacs #lisp #chemistry #cheminformatics #metaprogramming #programming #code #coding #fp
-
Cabe decir que todo mi alumnado está haciendo sus prácticas en empresas, con lo cual, mis tareas diarias han cambiado sustancialmente durante esta segunda mitad del curso, pasando a ser principalmente administrativas y de gestión, al ser tutor de esos alumnos. Y visitas a muchas empresas #FP
-
Siesta, café y a comenzar la jornada laboral. Sí, hoy voy de tarde, mis querides mastodones. Nos vamos a los barracones de siempre a hacer #FP.
-
Amazing post! A little mind bending but worth to try and learn something.
––––
Staged Parser Combinators in Scala: Have Your Cake and Eat It (Too)
https://moleike.github.io/blog/staged-parser-combinators/
#Programming #Scala #plt #FunctionalProgramming #FP #parserCombinators
-
Amazing post! A little mind bending but worth to try and learn something.
––––
Staged Parser Combinators in Scala: Have Your Cake and Eat It (Too)
https://moleike.github.io/blog/staged-parser-combinators/
#Programming #Scala #plt #FunctionalProgramming #FP #parserCombinators
-
Amazing post! A little mind bending but worth to try and learn something.
––––
Staged Parser Combinators in Scala: Have Your Cake and Eat It (Too)
https://moleike.github.io/blog/staged-parser-combinators/
#Programming #Scala #plt #FunctionalProgramming #FP #parserCombinators
-
Amazing post! A little mind bending but worth to try and learn something.
––––
Staged Parser Combinators in Scala: Have Your Cake and Eat It (Too)
https://moleike.github.io/blog/staged-parser-combinators/
#Programming #Scala #plt #FunctionalProgramming #FP #parserCombinators
-
Amazing post! A little mind bending but worth to try and learn something.
––––
Staged Parser Combinators in Scala: Have Your Cake and Eat It (Too)
https://moleike.github.io/blog/staged-parser-combinators/
#Programming #Scala #plt #FunctionalProgramming #FP #parserCombinators
-
Higher-Kinded-J 0.4.2 ships EffectBoundary: write your Spring business logic once, interpret it three ways.
🏭 Production: boundary.runIO(program) → real IO, actuator metrics, HTTP response
🧪 Tests: TestBoundary.of(stub).run(program) → Id monad, no Spring, ms-fast, no mocks
📋 Audit: swap in a WriterT interpreter for structured loggingSame OrderService. Same program. Different interpreter at the edge.
👉 https://higher-kinded-j.github.io/latest/spring/effect_boundary_integration.html
-
-
Почему JS/TS — не функциональный язык (и почему это важно понимать)
Мотивацией для написания этого поста стали два года собеседований JS/TS-инженеров. Я интересуюсь языками и функциональным программированием, поэтому всегда «разбавлял» технические вопросы разговором о парадигмах. И заметил любопытную асимметрию. Об ООП кандидаты рассуждали уверенно — но в основном на концептуальном уровне, не вдаваясь в то, как именно ООП реализовано в JavaScript. С FP картина была другой: уверенности меньше, зато критика — конкретная и повторяющаяся: «иммутабельность дорогая по памяти» , «рекурсия небезопасна из-за стека» . Что характерно — эти аргументы почти всегда были сформулированы через опыт работы с JS, а не с Haskell, Clojure или Scala. Это важная деталь. Любая парадигма существует на двух уровнях: концептуальном (идеальная модель) и имплементационном (как конкретный язык эту модель выражает). Судить о FP по JS — примерно то же самое, что судить об ООП по bash-скриптам с глобальными переменными. Параллельно я регулярно слышал, что JS — функциональный язык. Аргументы варьировались от «там есть .map() » до рассуждений о чистых функциях и каррировании. Именно это и стало поводом для поста: я хочу объяснить, что я считаю функциональным языком — и почему JS таковым не является. Не перечислить отсутствующие фичи, а показать, почему их нет и что это значит в реальном рантайме.
-
Почему JS/TS — не функциональный язык (и почему это важно понимать)
Мотивацией для написания этого поста стали два года собеседований JS/TS-инженеров. Я интересуюсь языками и функциональным программированием, поэтому всегда «разбавлял» технические вопросы разговором о парадигмах. И заметил любопытную асимметрию. Об ООП кандидаты рассуждали уверенно — но в основном на концептуальном уровне, не вдаваясь в то, как именно ООП реализовано в JavaScript. С FP картина была другой: уверенности меньше, зато критика — конкретная и повторяющаяся: «иммутабельность дорогая по памяти» , «рекурсия небезопасна из-за стека» . Что характерно — эти аргументы почти всегда были сформулированы через опыт работы с JS, а не с Haskell, Clojure или Scala. Это важная деталь. Любая парадигма существует на двух уровнях: концептуальном (идеальная модель) и имплементационном (как конкретный язык эту модель выражает). Судить о FP по JS — примерно то же самое, что судить об ООП по bash-скриптам с глобальными переменными. Параллельно я регулярно слышал, что JS — функциональный язык. Аргументы варьировались от «там есть .map() » до рассуждений о чистых функциях и каррировании. Именно это и стало поводом для поста: я хочу объяснить, что я считаю функциональным языком — и почему JS таковым не является. Не перечислить отсутствующие фичи, а показать, почему их нет и что это значит в реальном рантайме.
-
Почему JS/TS — не функциональный язык (и почему это важно понимать)
Мотивацией для написания этого поста стали два года собеседований JS/TS-инженеров. Я интересуюсь языками и функциональным программированием, поэтому всегда «разбавлял» технические вопросы разговором о парадигмах. И заметил любопытную асимметрию. Об ООП кандидаты рассуждали уверенно — но в основном на концептуальном уровне, не вдаваясь в то, как именно ООП реализовано в JavaScript. С FP картина была другой: уверенности меньше, зато критика — конкретная и повторяющаяся: «иммутабельность дорогая по памяти» , «рекурсия небезопасна из-за стека» . Что характерно — эти аргументы почти всегда были сформулированы через опыт работы с JS, а не с Haskell, Clojure или Scala. Это важная деталь. Любая парадигма существует на двух уровнях: концептуальном (идеальная модель) и имплементационном (как конкретный язык эту модель выражает). Судить о FP по JS — примерно то же самое, что судить об ООП по bash-скриптам с глобальными переменными. Параллельно я регулярно слышал, что JS — функциональный язык. Аргументы варьировались от «там есть .map() » до рассуждений о чистых функциях и каррировании. Именно это и стало поводом для поста: я хочу объяснить, что я считаю функциональным языком — и почему JS таковым не является. Не перечислить отсутствующие фичи, а показать, почему их нет и что это значит в реальном рантайме.
-
Почему JS/TS — не функциональный язык (и почему это важно понимать)
Мотивацией для написания этого поста стали два года собеседований JS/TS-инженеров. Я интересуюсь языками и функциональным программированием, поэтому всегда «разбавлял» технические вопросы разговором о парадигмах. И заметил любопытную асимметрию. Об ООП кандидаты рассуждали уверенно — но в основном на концептуальном уровне, не вдаваясь в то, как именно ООП реализовано в JavaScript. С FP картина была другой: уверенности меньше, зато критика — конкретная и повторяющаяся: «иммутабельность дорогая по памяти» , «рекурсия небезопасна из-за стека» . Что характерно — эти аргументы почти всегда были сформулированы через опыт работы с JS, а не с Haskell, Clojure или Scala. Это важная деталь. Любая парадигма существует на двух уровнях: концептуальном (идеальная модель) и имплементационном (как конкретный язык эту модель выражает). Судить о FP по JS — примерно то же самое, что судить об ООП по bash-скриптам с глобальными переменными. Параллельно я регулярно слышал, что JS — функциональный язык. Аргументы варьировались от «там есть .map() » до рассуждений о чистых функциях и каррировании. Именно это и стало поводом для поста: я хочу объяснить, что я считаю функциональным языком — и почему JS таковым не является. Не перечислить отсутствующие фичи, а показать, почему их нет и что это значит в реальном рантайме.
-
:scala: Skunk 1.0.0 is out! 🎉 A huge milestone for the @typelevel ecosystem — pure functional PostgreSQL library for Scala.
Massive congrats to @tpolecat @mpilquist @armanbilge @ross and the whole #typelevel crew. 🍾
-
-
Implementing the Repository Pattern with Hygienic Macros in Scheme
Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp
I’ve been working on a new approach for the data layer of my projects lately, and I’d love to poke your brains and get some feedback.
#lisp #scheme #guile #gnu #metaprogramming #programming #guix #jointhefreeworld #ast #sexp #fp #functionalprogramming #repository #sqlite
-
Implementing the Repository Pattern with Hygienic Macros in Scheme
Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp
I’ve been working on a new approach for the data layer of my projects lately, and I’d love to poke your brains and get some feedback.
#lisp #scheme #guile #gnu #metaprogramming #programming #guix #jointhefreeworld #ast #sexp #fp #functionalprogramming #repository #sqlite
-
Implementing the Repository Pattern with Hygienic Macros in Scheme
Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp
I’ve been working on a new approach for the data layer of my projects lately, and I’d love to poke your brains and get some feedback.
#lisp #scheme #guile #gnu #metaprogramming #programming #guix #jointhefreeworld #ast #sexp #fp #functionalprogramming #repository #sqlite
-
https://www.europesays.com/fr/860784/ face aux prix du carburant, le cri d’alarme d’un marin pêcheur en Méditerranée #Actualités #Décryptage #économieFrançaise #entretien #EU #europe #fp+ #FR #France #Iran #News #pêche #RépubliqueFrançaise #Témoignage #UnionEuropéenne
