#fp — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #fp, aggregated by home.social.
-
When I first got to know the #Z notation #formal method in the early 1980s, I was very impressed. In those days, imperative languages like C and Pascal ruled the industrial landscape, and pen-and-paper #programming was still an accepted, nay expected, practice. The Z notation and its emphasis on proof obligations meshed well with that paper-borne process of specification and design.
Not long after, I got to know #ML and its Hindley-Milner type system. Thereafter, I was no longer impressed with Z's use of an overtly ceremonial and verbose syntax to describe what ML could do with just one expression.
This superiority of the #FP syntax over Z's bloated notation is even more evident in modern descendants of ML, such as Standard ML, OCaml, and Haskell, and especially the dependently typed proof assistant offsprings like Coq, Lean, Agda, and Idris.
-
When I first got to know the #Z notation #formal method in the early 1980s, I was very impressed. In those days, imperative languages like C and Pascal ruled the industrial landscape, and pen-and-paper #programming was still an accepted, nay expected, practice. The Z notation and its emphasis on proof obligations meshed well with that paper-borne process of specification and design.
Not long after, I got to know #ML and its Hindley-Milner type system. Thereafter, I was no longer impressed with Z's use of an overtly ceremonial and verbose syntax to describe what ML could do with just one expression.
This superiority of the #FP syntax over Z's bloated notation is even more evident in modern descendants of ML, such as Standard ML, OCaml, and Haskell, and especially the dependently typed proof assistant offsprings like Coq, Lean, Agda, and Idris.
-
La FP gana peso entre los alumnos extranjeros que aumentan 10 veces más rápido que los españoles
-
⚡️ F# Weekly #32, 2026
-
⚡️ F# Weekly #32, 2026
-
Not bluster, not BS... just results- The #Trump team should learn.
"Ukraine’s Fire Point CEO On How It’s Making Missiles And Drones To “Destroy The Russian Empire”
Iryna Terekh talks Flamingo cruise missiles, weaponizing AI, Ukraine's future interceptors and much more in our wide-ranging interview."#News #Politics #UN #War #ww3 #Military #Technology #Drones #Ukraine #FP #USA #Escalation #Europe #EU #NATO #News #Economy
-
-
-
⚡️ F# Weekly #29, 2026
-
⚡️ F# Weekly #29, 2026
-
The ML family of #FP #programming languages—both eager (ML, SML, Caml, OCaml, F#, Reason, Idris, …) and lazy (Hope, Miranda, Haskell, Agda, …) varieties—are arguably the most ergonomic to use for offline system programming and for compiler implementation. SML and Haskell dominate amongst the #CS academic research language implementations, and OCaml amongst the #IT industrial strength language implementations.
Also, nearly every language that has become popular in IT since the early 2000s (Scala, Rust, Swift, Kotlin, Python 3, Mojo, Elm, Grain, Moonbit, …) has wholesale adopted ML’s type system and language constructs. Yet, the ML family remains unknown in the industry, and its direct influence upon all modern languages gone unacknowledged. Even OCaml and Haskell, despite their industry-wide notoriety, had somehow escaped broad adoption.
This situation is unfortunate, because the ML family of languages all have the unique ability to transform an average user into an effective theoretical thinker and an efficient practical doer.
-
The ML family of #FP #programming languages—both eager (ML, SML, Caml, OCaml, F#, Reason, Idris, …) and lazy (Hope, Miranda, Haskell, Agda, …) varieties—are arguably the most ergonomic to use for offline system programming and for compiler implementation. SML and Haskell dominate amongst the #CS academic research language implementations, and OCaml amongst the #IT industrial strength language implementations.
Also, nearly every language that has become popular in IT since the early 2000s (Scala, Rust, Swift, Kotlin, Python 3, Mojo, Elm, Grain, Moonbit, …) has wholesale adopted ML’s type system and language constructs. Yet, the ML family remains unknown in the industry, and its direct influence upon all modern languages gone unacknowledged. Even OCaml and Haskell, despite their industry-wide notoriety, had somehow escaped broad adoption.
This situation is unfortunate, because the ML family of languages all have the unique ability to transform an average user into an effective theoretical thinker and an efficient practical doer.
-
Lots of nice things going on here :blobcatcoffee:
----
How Our Rust-to-Zig Rewrite is Going
https://rtfeldman.com/rust-to-zig -
Lots of nice things going on here :blobcatcoffee:
----
How Our Rust-to-Zig Rewrite is Going
https://rtfeldman.com/rust-to-zig -
Complexity doesn't appear all at once.
It sneaks in. (With augmented coding, it doesn't even sneak.)Joseph Koski's FunPark will help; model complexity instead of fighting it.
Advanced Functional Programming with Elixir
https://pragprog.com/titles/jkelixir/advanced-functional-programming-with-elixir/
#elixir #fp -
Complexity doesn't appear all at once.
It sneaks in. (With augmented coding, it doesn't even sneak.)Joseph Koski's FunPark will help; model complexity instead of fighting it.
Advanced Functional Programming with Elixir
https://pragprog.com/titles/jkelixir/advanced-functional-programming-with-elixir/
#elixir #fp -
-
-
If you like my event sourcing series, or want to see some real-world production F# code, join me in tomorrow's online session of Coders-Only Software Craft Study Group (Wednesday, 24.06.2026 19:00 CEST):
This session was motivated by previous discussions about functional programming, where the question "How well does this really work in real life?" kept coming up.
-
If you like my event sourcing series, or want to see some real-world production F# code, join me in tomorrow's online session of Coders-Only Software Craft Study Group (Wednesday, 24.06.2026 19:00 CEST):
This session was motivated by previous discussions about functional programming, where the question "How well does this really work in real life?" kept coming up.
-
/e/OS 4.0 released for Fairphone 6!!! Upgrading my device right now!!!
#eOS #eOS4 #ota #fairphone #fairphone6 #fp #fp6 #murena#murenaEOS
-
/e/OS 4.0 released for Fairphone 6!!! Upgrading my device right now!!!
#eOS #eOS4 #ota #fairphone #fairphone6 #fp #fp6 #murena#murenaEOS
-
Qué pinta Naturgy en este debate con el ministerio de Educación?Eso de la revolución verde no es más marketing?
Impedid la privatización de la FP. Esa es la verdadera revolución
La secretaria general de FP, Esther Monterrubio, ha participado en el debate sobre transición energética impulsada por @fomentdeltreball.bsky.social y
@naturgy.bsky.social.🌿La #FP es clave para llevar a cabo con éxito la revolución verde.
https://www.educacionfpydeportes.gob.es/prensa/actualidad/2026/06/20260618-debatetransicionverde.html
https://bsky.app/profile/educaciongob.bsky.social/post/3mokxlpawfs2l -
oi ya functional programming #FP boffins and FP-curious minds. Brisbane Functional Programming Group #BFPG Hack Day is on again, THIS SATURDAY at UQ. Be there or be a lambda cube! https://luma.com/0je3g6ft
Thanks to UQ and Professor Paul Vrbik for venue arrangement, Sirius-Beta Labs for lunch, and Thea and George for hosting this edition (yes, I am a lambda cube this time).
#Haskell #Idris #Agda #Clojure #Scala #Rust #Scheme #Lisp #Fsharp #Erlang #Gleam #Racket #Elixir #Elm #PureScript
-
oi ya functional programming #FP boffins and FP-curious minds. Brisbane Functional Programming Group #BFPG Hack Day is on again, THIS SATURDAY at UQ. Be there or be a lambda cube! https://luma.com/0je3g6ft
Thanks to UQ and Professor Paul Vrbik for venue arrangement, Sirius-Beta Labs for lunch, and Thea and George for hosting this edition (yes, I am a lambda cube this time).
#Haskell #Idris #Agda #Clojure #Scala #Rust #Scheme #Lisp #Fsharp #Erlang #Gleam #Racket #Elixir #Elm #PureScript
-
Brisbane Functional Programming Group #BFPG tomorrow - #Django migrations from a Functional Programming #FP perspective. Be there or be a lambda cube! https://luma.com/l8ay649p
-
Brisbane Functional Programming Group #BFPG tomorrow - #Django migrations from a Functional Programming #FP perspective. Be there or be a lambda cube! https://luma.com/l8ay649p
-
Bay Area Racket Meet-up - Saturday June 6, 3pm for people interested in Racket & Lisps, #fp and related topics at Noisebridge hackerspace, SF. Register at https://luma.com/35gm6zha Ann:
https://racket.discourse.group/t/bay-area-racket-meetup-june-6-3pm/4222
#racket #lisp #scheme -
Bay Area Racket Meet-up - Saturday June 6, 3pm for people interested in Racket & Lisps, #fp and related topics at Noisebridge hackerspace, SF. Register at https://luma.com/35gm6zha Ann:
https://racket.discourse.group/t/bay-area-racket-meetup-june-6-3pm/4222
#racket #lisp #scheme -
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.
-
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.
-
-
-
🚀 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.
-
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 ) -
