#functionalprogramming

7 messages6 participants0 message aujourd’hui

jbz🐍 Functional Programming with Python <a href="https://docs.python.org/3/howto/functional.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://docs.python.org/3/howto/functional.html</a><a href="https://indieweb.social/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://indieweb.social/tags/python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#python</a>

José A. AlonsoInvertible syntax without the tuples (Functional Pearl). ~ Mathieu Boespflug, Arnaud Spiwack. <a href="https://arxiv.org/abs/2508.09856v1" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://arxiv.org/abs/2508.09856v1</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a>

jbzLamber is a minimalist functional programming language with a focus on graspability, readability… and compilation to pure untyped Lambda Calculus, of course! It’s inspired by Lua, Haskell, and Wisp. And it smells of creamy cheese!<a href="https://github.com/aartaka/lamber" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://github.com/aartaka/lamber</a><a href="https://indieweb.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#functionalprogramming</a> <a href="https://indieweb.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#plt</a> <a href="https://indieweb.social/tags/lambdacalculus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#lambdacalculus</a>

jbz💡 Why Racket? Why Lisp? | Butterick’s Practical Typography ｢ What I found was plenty of Lisp flattery from expert Lisp programmers. (Also plenty of Lisp kvetchery from its detractors.) What I didn’t find were simple, persuasive arguments in its favor. So here’s why Racket was the right tool for this project, and what I see as the practical virtues of Lisps in general ｣<a href="https://practicaltypography.com/why-racket-why-lisp.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://practicaltypography.com/why-racket-why-lisp.html</a><a href="https://indieweb.social/tags/racketlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#racketlang</a> <a href="https://indieweb.social/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#lisp</a> <a href="https://indieweb.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#functionalprogramming</a>

jbzA Tour of Standard ML <a href="https://saityi.github.io/sml-tour/tour/welcome" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://saityi.github.io/sml-tour/tour/welcome</a><a href="https://indieweb.social/tags/standardml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#standardml</a> <a href="https://indieweb.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#functionalprogramming</a> <a href="https://indieweb.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#plt</a>

José A. AlonsoType inference for plain data. ~ Gabriella Gonzalez. <a href="https://www.haskellforall.com/2025/08/type-inference-for-plain-data.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.haskellforall.com/2025/08/type-inference-for-plain-data.html</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a>

dalloPHP 8.5 Adds Pipe Operator <a href="https://thephp.foundation/blog/2025/07/11/php-85-adds-pipe-operator/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://thephp.foundation/blog/2025/07/11/php-85-adds-pipe-operator/</a>Now JS please do it.<a href="https://pouet.chapril.org/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a> <a href="https://pouet.chapril.org/tags/php" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#php</a> <a href="https://pouet.chapril.org/tags/code" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#code</a> <a href="https://pouet.chapril.org/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fp</a> <a href="https://pouet.chapril.org/tags/functionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#functionalProgramming</a>

HaskellOrgThe talks of the 2025 Haskell Implementor's Workshop, also co-located with <a href="https://fosstodon.org/@zurihac" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@zurihac</a> are available on YouTube: <a href="https://www.youtube.com/playlist?list=PLQpeDZt0_xQfpBPdVV3hUZ3_pDxmYhsbr" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.youtube.com/playlist?list=PLQpeDZt0_xQfpBPdVV3hUZ3_pDxmYhsbr</a><a href="https://fosstodon.org/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://fosstodon.org/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a>

HaskellOrgThe talks of the 2025 Haskell Ecosystem Workshop, co-located with <a href="https://fosstodon.org/@zurihac" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@zurihac</a>, are now available on YouTube: <a href="https://www.youtube.com/playlist?list=PLQpeDZt0_xQe319u9EdkpxjibYFtGsugc" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.youtube.com/playlist?list=PLQpeDZt0_xQe319u9EdkpxjibYFtGsugc</a><a href="https://fosstodon.org/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://fosstodon.org/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a>

Simon Brooke<a href="https://babka.social/@serge" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@serge</a> Is Scratch not essentially based on <a href="https://mastodon.scot/tags/Smalltalk" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Smalltalk</a>? Not knocking it, Smalltalk is also an excellent language, but <a href="https://mastodon.scot/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> is a different, and in my opinion more fundamental, paradigm than <a href="https://mastodon.scot/tags/OOP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OOP</a>, and one which I believe it benefits children to be introduced to first.

HaskellOrgCabal 3.16 is released with numerous quality-of-life improvements! <a href="https://blog.haskell.org/cabal-3-16-0-0-release/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://blog.haskell.org/cabal-3-16-0-0-release/</a><a href="https://fosstodon.org/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://fosstodon.org/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a>

Zelphir KaltstahlI also got experience with the following (5 = a lot, 1 = a little) :<a href="https://mastodon.social/tags/machinelearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#machinelearning</a> <a href="https://mastodon.social/tags/ml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ml</a> (3) (I have implemented some ML models myself in the past, for learning purposes.) <a href="https://mastodon.social/tags/guix" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#guix</a> (3) (Using it for reproducible setups of projects.) <a href="https://mastodon.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#functionalprogramming</a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fp</a> (5) (Doing it in my own projects.) <a href="https://mastodon.social/tags/objectorientedprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#objectorientedprogramming</a> <a href="https://mastodon.social/tags/oop" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#oop</a> (4) (last job and past xp in my own projects.) <a href="https://mastodon.social/tags/CI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CI</a> / <a href="https://mastodon.social/tags/CD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CD</a> (3) (Last job) <a href="https://mastodon.social/tags/make" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#make</a> (4) (using it for my own project setups and convenience) <a href="https://mastodon.social/tags/testing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#testing</a> (4) (last job, own projects)

Teixi<a href="https://mathstodon.xyz/@FrohlichMarcel" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@FrohlichMarcel</a> Oh là là just dropped: 2.5 hour "Introduction To Category Theory" by Richard Southwell <a href="https://youtu.be/H32kyA4BMz4" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://youtu.be/H32kyA4BMz4</a><a href="https://mastodon.social/tags/categorytheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#categorytheory</a> <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> <a href="https://mastodon.social/tags/ZuriHac" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ZuriHac</a> <a href="https://mastodon.social/tags/ZuriHac2025" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ZuriHac2025</a> <a href="https://mastodon.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#functionalprogramming</a>HT <a href="https://fosstodon.org/@zurihac" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@zurihac</a>

Artyom Bologov“Hume remarked once and for all that the arguments of Berkeley were not only thoroughly unanswerable but thoroughly unconvincing. This dictum is emphatically true as it applies to our world; but it falls down completely in Tlön. The nations of that planet are congenitally idealist. Their language, with its derivatives—religion, literature, and metaphysics—presupposes idealism. For them, the world is not a concurrence of objects in space, but a heterogeneous series of independent acts. It is serial and temporal, but not spatial. There are no nouns in the hypothetical Ursprache of Tlön, which is the source of the living language and the dialects; there are impersonal verbs qualified by monosyllabic suffixes or prefixes which have the force of adverbs. For example, there is no word corresponding to the noun moon, but there is a verb to moon or to moondle. The moon rose over the sea would be written hlör u fang axaxaxas mlö, or, to put it in order: upward beyond the constant flow there was moondling. (Xul Solar translates it succinctly: upward, behind the onstreaming it mooned.)”<a href="https://merveilles.town/tags/Borges" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Borges</a>, Ficciones, TLÖN, UQBAR, ORBIS TERTIUSGod this is beautiful. And then... it kind of is like radical <a href="https://merveilles.town/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a>, where you don't have nouns/variables, only compositions of actions applied to inputs. If you're successful in that, there's not a single name mentioned. But I digress, my being a programmer makes it an extremely shallow commentary to a captivating idea.

screwlisp<a href="https://gamerplus.org/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a> <a href="https://gamerplus.org/tags/softwareEngineering" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#softwareEngineering</a> article <a href="https://screwlisp.small-web.org/programming/tangle/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://screwlisp.small-web.org/programming/tangle/</a> <a href="https://gamerplus.org/tags/commonLisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#commonLisp</a> <a href="https://gamerplus.org/tags/asdf" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#asdf</a> <a href="https://gamerplus.org/tags/systemsProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#systemsProgramming</a> <a href="https://gamerplus.org/tags/series" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#series</a> <a href="https://gamerplus.org/tags/pathnames" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#pathnames</a> <a href="https://gamerplus.org/tags/packaging" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#packaging</a> Really simple... Sort of... But so intricate to write. I deal with (writing a smidge of <a href="https://gamerplus.org/tags/interactive" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#interactive</a> <a href="https://gamerplus.org/tags/lazyEvaluation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#lazyEvaluation</a> <a href="https://gamerplus.org/tags/functionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#functionalProgramming</a> ) :- Tangling markdown into an asdf :class :package-inferred-system lisp system - Doing so with scan-file and collect-file from series - Working with lisp’s make-pathname directories.<a href="https://gamerplus.org/tags/literateProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#literateProgramming</a>

☮ ♥ ♬ 🧑‍💻“Hedge funds will go to great lengths in pursuit of <a href="https://ioc.exchange/tags/profits" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#profits</a>, whether it is by counting cars in satellite photos of parking lots or shipping gold across the Atlantic. Building a <a href="https://ioc.exchange/tags/compiler" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#compiler</a>—a piece of <a href="https://ioc.exchange/tags/software" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#software</a> that turns human-written code into programs a computer can execute—for your homegrown language? That still raises eyebrows.<a href="https://ioc.exchange/tags/JaneStreet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#JaneStreet</a> is the quant shops’ quant shop, and it does just that, with great success. Last year its trading revenue almost doubled, to $21bn, putting it on a par with giants such as <a href="https://ioc.exchange/tags/Citigroup" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Citigroup</a> and <a href="https://ioc.exchange/tags/MorganStanley" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MorganStanley</a>. And the goose that lays the golden egg is its <a href="https://ioc.exchange/tags/tech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#tech</a> system.But it is what this system is built from that is really unusual. Other firms employ a hotchpotch of <a href="https://ioc.exchange/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProgrammingLanguages</a>, allowing staff to choose the right one for the job. At Jane Street almost everyone works in an obscure tongue developed by French academics: <a href="https://ioc.exchange/tags/OCaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OCaml</a>. Ask a <a href="https://ioc.exchange/tags/trader" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#trader</a> at the firm for its benefits and they will reel off a string of features, such as its support for <a href="https://ioc.exchange/tags/StaticTyping" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#StaticTyping</a> and <a href="https://ioc.exchange/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a>, that make it hard to learn but powerful when applied to a problem. The company says the language helps “maximise the <a href="https://ioc.exchange/tags/productivity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#productivity</a> of each person we hire”.”<a href="https://ioc.exchange/tags/HedgeFunds" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#HedgeFunds</a> / <a href="https://ioc.exchange/tags/finance" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#finance</a> <<a href="https://www.economist.com/finance-and-economics/2025/06/26/jane-streets-sneaky-retention-tactic" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.economist.com/finance-and-economics/2025/06/26/jane-streets-sneaky-retention-tactic</a>> (paywall) / <<a href="https://archive.md/DQ0ku" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://archive.md/DQ0ku</a>>

José A. AlonsoCompetitive programming in Haskell: range queries, classified. ~ Brent Yorgey. <a href="https://byorgey.github.io/blog/posts/2025/06/23/range-queries-classified.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://byorgey.github.io/blog/posts/2025/06/23/range-queries-classified.html</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a>

Mike McCaffreyYears before <a href="https://drupal.community/tags/VibeCoding" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#VibeCoding</a> became a thing, we had another way to tell computers to run code using simple words. It was called <a href="https://drupal.community/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a>.

Vassil Nikolov | Васил Николов[<a href="https://ieji.de/tags/Lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Lisp</a> and type theory]> type theory- it's not really different to what lisp was doing approximately a century agoThat is too imprecise.Lisp started off _untyped_ lambda calculus less than 3/4 of a century ago.Lisp did beget functional programming a little later, but the real application of type theory in computer programming started with the ML family of languages and Haskell. (Maybe I missed one more language.)<a href="https://ieji.de/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://ieji.de/tags/TypeTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TypeTheory</a><a href="https://gamerplus.org/@screwlisp" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@screwlisp</a> <a href="https://fe.disroot.org/users/ramin_hal9001" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@ramin_hal9001</a> <a href="https://appdot.net/@mdhughes" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@mdhughes</a>

blaixThe next Gren Twigs is up. It's the final entry on building a cowsay-powered pomodoro timer on the command line. In this one we add the ability to enter a custom amount of time, which means we are managing form fields and multiple screens in a gren-tui app for the first time. Wild and crazy stuff.<a href="https://www.youtube.com/watch?v=6b-gSFuLHaM&list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&index=28" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.youtube.com/watch?v=6b-gSFuLHaM&list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&index=28</a><a href="https://hachyderm.io/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://hachyderm.io/tags/gren" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#gren</a> <a href="https://hachyderm.io/tags/tui" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#tui</a> <a href="https://hachyderm.io/tags/cow" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#cow</a>

Recherches récentes

Options de recherche

Administré par :

Statistiques du serveur :

#functionalprogramming