#Tag · bonfire.cafe

Why Reliability Demands Functional Programming

https://blog.rastrian.dev/post/why-reliability-demands-functional-programming-adts-safety-and-critical-infrastructure

#HackerNews #Reliability #FunctionalProgramming #ADTs #Safety #CriticalInfrastructure

Why Reliability Demands Functional Programming: ADTs, Safety, and Critical Infrastructure

> In banking, telecom, and payments, reliability is not a nice to have. It is table stakes. The most reliable systems I have worked on reduce entire classes of bugs before the code even runs. Functional programming and Algebraic Data Types (ADTs) let you push correctness into the type system, so illegal states cannot be constructed in the first place. **What you will learn** - How invalid states show up in real systems and why they cause costly incidents - How ADTs encode business rules so the compiler enfo...

Joseph Nuthalapati :fbx: boosted

💙🩷💜Ⓑⓡⓔⓣⓣ🐡🍉🐧

@brettm@swarm.coiloptic.org · 6 days ago

Enjoying reading the Gleam language tour/intro, its written simply and the editable/runnable examples are pretty useful:
https://tour.gleam.run/

or all-in-one-page version:
https://tour.gleam.run/everything/

Language nerds may find it interesting that Gleam compiles to Erlang, then hands over to the Erlang compiler.

The Gleam compiler is written in Rust (some people would call it a transpiler, to which Gleam's creator says "same thing")

I'm not sure yet if a function can return multiple values/variables. Can functional languages normally do this? Anyway if not I guess I can have a function return a union with the various values contained within...

#gleamlang
#functionalprogramming

Everything! - The Gleam Language Tour

An interactive introduction and reference to the Gleam programming language.

💙🩷💜Ⓑⓡⓔⓣⓣ🐡🍉🐧

@brettm@swarm.coiloptic.org · 6 days ago

Everything! - The Gleam Language Tour

An interactive introduction and reference to the Gleam programming language.

Larry Garfield

@Crell@phpc.social · 2 weeks ago

In May, I'll be giving what will probably be the first ever PHP 8.6 talk: Piping Hot PHP.

8.5 isn't even cool yet, but 8.6 already has some hot new features. Combining 8.5's pipe operator with the new partial function application capabilities in 8.6 should give us a whole new way to think about structuring code!

Want to be the first to see the future? Get your tickets to #phptek now!

https://phptek.io

#PHP #FunctionalProgramming

alcinnz boosted

Patrik Jansson

@patrikja@functional.cafe · 3 weeks ago

SIGPLAN AV

@sigplanav@mastodon.acm.org · 4 weeks ago

(1/5) We are happy to announce the release of our ICFP/SPLASH'25 coverage totaling over 481 talks and presentations across co-located events: OOPSLA, ICFP, FARM, Doctoral Symposium, Tutorials, FUNARCH, PLMW, SPLASH-E, Onward!, Haskell, Erlang, Scheme, MPLR, LMPL, TyDe, HOPE, ML, HATRA, VMIL, PROPL, OCaml, SAS, miniKanren, WAW, Scala, IWACO, and REBASE!
https://youtube.com/@acmsigplan

X-mas comes early this year: the ICFP 2025 talks are now on YouTube.

You can catch my talk on "Domain-specific tensor languages" below. We explore implementing tensor calculus in #Haskell, supporting both Einstein notation and Penrose diagrams to model things like General Relativity and black holes. 🕳️🚀

My talk: https://www.youtube.com/watch?v=04cxfddDwuI

Full Playlists:
🔗 ICFP papers: https://www.youtube.com/watch?v=COD4tnVtHoQ&list=PLyrlk8Xaylp4WyLpPH40RBw-kZSdkpkVs
🔗 JFP First papers: https://www.youtube.com/watch?v=oZLSDFfpHp0&list=PLyrlk8Xaylp68qJ-kEeXEPne0ePPwNGFi

https://mastodon.acm.org/@sigplanav/115667300324636252

cc @sigplanav (https://sigplan.org)

#icfpsplash25 #ProgLang #TensorCalculus #Physics #FunctionalProgramming