mstdn.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A general-purpose Mastodon server with a 500 character limit. All languages are welcome.

Administered by:

Server stats:

13K
active users

#functionalprogramming

13 posts12 participants0 posts today

“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.)”

#Borges, Ficciones, TLÖN, UQBAR, ORBIS TERTIUS

God this is beautiful. And then... it kind of is like radical #FunctionalProgramming, 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.

#programming #softwareEngineering article screwlisp.small-web.org/progra #commonLisp #asdf #systemsProgramming #series #pathnames #packaging

Really simple... Sort of... But so intricate to write. I deal with (writing a smidge of #interactive #lazyEvaluation #functionalProgramming ) :

- 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.

screwlisp.small-web.org:screwlisps-knowledge/tangle common lisp asdf package markdown tangling and lisp pathnames

I watched this talk (by Rafal Dittwald) a few years ago, but it still holds up really well. 😍
It does an excellent job of illustrating the differences between procedural, object-oriented, and functional programming.
A great and simple game example to clearly explain the concepts.
#functionalprogramming #programming #datadriven #immutable #pure #sideeffectsfree #testable
youtu.be/vK1DazRK_a0

youtu.be- YouTubeEnjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.

List of #Supercompilation Resources and Papers:

github.com/etiams/supercompila

"Supercompilation is a principiled program transformation technique that symbolically evaluates a given input program into its more efficient version, eliminating as much of computational overhead as possible[...]."

📚 A collection of resources about supercompilation - etiams/supercompilation-resources
GitHubGitHub - etiams/supercompilation-resources: 📚 A collection of resources about supercompilation📚 A collection of resources about supercompilation - etiams/supercompilation-resources

“Hedge funds will go to great lengths in pursuit of #profits, whether it is by counting cars in satellite photos of parking lots or shipping gold across the Atlantic. Building a #compiler—a piece of #software that turns human-written code into programs a computer can execute—for your homegrown language? That still raises eyebrows.

#JaneStreet 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 #Citigroup and #MorganStanley. And the goose that lays the golden egg is its #tech system.

But it is what this system is built from that is really unusual. Other firms employ a hotchpotch of #ProgrammingLanguages, allowing staff to choose the right one for the job. At Jane Street almost everyone works in an obscure tongue developed by French academics: #OCaml.

Ask a #trader at the firm for its benefits and they will reel off a string of features, such as its support for #StaticTyping and #FunctionalProgramming, that make it hard to learn but powerful when applied to a problem. The company says the language helps “maximise the #productivity of each person we hire”.”

#HedgeFunds / #finance <economist.com/finance-and-econ> (paywall) / <archive.md/DQ0ku>

Two hands raise a small camel in their palms. A speech bubble appears to come from the camel's mouth and wraps around the wrists
The Economist · Jane Street’s sneaky retention tacticBy The Economist

In our podcast, @RuntimeArguments, we just did an episode on #FunctionalProgramming. I did a lot of research and learned about techniques that could help me write better code in #MultiParadigm languages, like #Python. Here's a Python script (which can also be imported as a module) that is part of my #dotfiles: github.com/wolf/dotfiles/blob/. I know you're not supposed to get "attached" to code; but I'm pretty happy with this one.