I am #LookingForAJob

Web developer with 20+ years experience.
#JavaScript / #TypeScript 15 years, #React 10 years.
Love #Linux and #functional programming, dabble in maker stuff.
Would be happiest to work on #FreeSoftware, #OpenSource or with an NGO.

#Vilnius, #Lithuania, Europe. Hybrid or remote.

CV: https://emilis.codeberg.page/cv2025.html

We're live this Friday with the first episode looking at functional programming, and so I thought I'd put together a collection of the material I've created over the years on the topic, in the form of presentations, documents and blog posts, in case you want to dive in before the first episode. Share & enjoy!

https://qmacro.org/blog/posts/2025/03/24/functional-programming-resources/

#HandsOnSAPDev #Functional #FP @sap

I'm looking for interesting new ways to bend (or break) my brain. Is there a #functional (first) #programming language that compiles down to single binaries?
I have some experience with F#, but it's been ages since I used it and I don't really like whatever "self-contained" .Net binaries are.
Haven't tried Elm or Haskell yet.
Any recommendations?

I am #LookingForAJob

Web developer with 20+ years experience.
#JavaScript / #TypeScript 15 years, #React 10 years.
Love #Linux and #functional programming, dabble in maker stuff.
Would be happiest to work on #FreeSoftware, #OpenSource or with an NGO.

#Vilnius, #Lithuania, Europe. Hybrid or remote.

CV: https://emilis.codeberg.page/cv2025.html

Please boost

Dear all,

I am looking for a #PhD student to work on (any subset of) these topics:
#semantics, #domaintheory, #categorytheory #typetheory and #functional programming.

Deadline for application is 15th of February 2025.

Please get in touch if interested, here's the official call: https://www.kent.ac.uk/scholarships/search/FN15COMPGR01

It is traditional for #functional #programming languages (especially those used in academic research) to target 𝜆-calculus, then have a graph reduction VM (G-machine, eg), to interpret that generated "functional assembly".

It would be interesting to switch things up a bit: instead of interpreting the generated 𝜆-calculus, translate that intermediate code into #Forth and have the Forth compiler generate byte code for a stack VM (Smalltalk VM, JVM, WASM, etc.), which can JIT compiles the byte code, if necessary.

In many ways, 𝜆-calculus and Forth are like dizygotic twins separated at birth:

• Both languages are as low-level as languages can get without devolving into machine instructions
• Both languages are unashamedly raw and untyped
• Both derive their considerable computational powers from their simplicity
• 𝜆-calculus prefix and Forth postfix have the same operational semantics
• 𝜆-calculus is declarative, but Forth is imperative
• 𝜆-calculus models a reduction machine, but Forth models a stack machine

With the resurgence of the stack architecture in the form of powerful, modern VMs, it would seem reasonable to reunite these long-lost twins.

This past long weekend, I reread an old favourite of mine: "The Implementation of #Functional #Programming Languages", Jones (1987). I haven't touched this book in years; it jogged many a fond memory.

The subject matter of this book is implementing non-strict (lazy) FP languages on a graph reduction VM called the G-machine. Jones's customary no-nonsense presentation style cuts cleanly through the dense thicket of compiler theory. It is a great classic text for all #ComputerScience students studying compilers.

An advantage this book offers, especially to the undergraduate students, is its practice-oriented description of 𝜆-calculus, which is in stark contrast to most other textbooks on this theory. Since Jones's compilers target 𝜆-calculus as the intermediate language, his presentation is necessarily pragmatic. This enables the students to grasp not only the denotational semantics, but also the operational semantics, of executable 𝜆-calculus—a rare gem amongst the countless texts on this theoretical subject.

The best bit is that Jones made his book public domain on Microsoft Research site.

https://www.microsoft.com/en-us/research/wp-content/uploads/1987/01/slpj-book-1987-small.pdf

Similarly accessible—but less practice-focused—introductions to 𝜆-calculus can be found in these textbooks:

• "An Introduction to Functional Programming through 𝜆-Calculus", Michaelson (1989)
• "Functional Programming: Practice and Theory", MacLennan (1990)

The students should read at least one (preferably all) of these introductory texts, before reaching for "The 𝜆-Calculus, its Syntax, and Semantics", Barendregt (1981) or "Computational 𝜆-Calculus and Monads", Moggi (1989).

#Glowdust-store | A completely and totally inadequate description of storing stuff as functions - by radiki.dev (Chris Gioran)

https://radiki.dev/posts/glowdust-store/

#introduction time!

I love #programming, I do it since *redacted* years, especially interested in #functional languages and in general about software architecture.

Started to accumulate some #gamedev experience inside @owofgames .

I have strong opinions about games and game culture, but I'll mostly post about technical stuff in here.
(probably)
(maybe)
(well, i guess my current propic already says a lot)

#NatureServe, which curates #biodiversity data from across #Canada and the #United #States estimates that “40% of #animals and 34% of #plants in the #USA are at risk of #extinction, while 41% of #ecosystems are facing #collapse.”

Each extinction is forever, and can create an unfillable #functional gap in an ecosystem.

Collapse begets collapse - of ecosystems, #ecosystem #services, and #societies. We are collectively on a #dangerous track.

https://www.reuters.com/business/environment/huge-chunk-plants-animals-us-risk-extinction-report-2023-02-06/

Good morning In this morning's #Introduction #ConnectionList #FollowFriday #TwitterMigration post, I'm bringing you another list of folx you should consider following - so we more richly and deeply connect the #Fediverse.

@jess is a Staff #SoftwareEngineer in #OpenSource with interests in #web and #testing

@shirley works in #dataviz and combines #code and #art to make wonder and hope

@alisonmarigold is a #mycologist #scientist

@hackuador does #software, specifically the #functional #fp type

@steveblackburn is a #ComputerScience #professor #academic #researcher who specialises in #GarbageCollection

@afsanehrazi is an Assistant #Professor #researcher #academic at #Drexel and she research #HCI, #privacy and #safety

@jujuliagrace is a #doctor and #activist who is opposing privitisation of the #NHS

Professor @Prof_Klinger is a #geographer and #SupplyChain #researcher

@georgelakoff is #Professor Emeritus at UC #Berkeley in cognitive #linguistics and #philosophy - his Metaphors we Live By is a favourite

That's all for this morning, don't forget to build your own #ConnectionList so we can more closely connect the #Fediverse

New blog post on #python and #functionalprogramming

https://slott-softwarearchitect.blogspot.com/2022/11/functional-programming-and-finite-state.html

For more on #functional Python, visit PacktPublishing.

Hey! #introduction on a new server with my favorite tech peeps! My name is Sasha and I am a #developer

a #backenddev reformed to be a #fullstackdeveloper, with experience in #dotnet, #csharp, #javascript, #python, interested in #functional programming

a #slowlearner that ironically has a broad interest in all dev things, but not enough time and energy to get to them all

I believe that #teamequalsproduct and also that #empathy and #kindness are underrated.

More here: https://blog.ferrata.dev/hey-there/

#introduction #introductions

Hey folks!

Darklang is a #ProgrammingLanguage, editor, and #PaaS, developed in public on #GitHub.

It started in 2017 and has had a tumultuous time, but is still being actively worked on by a small team led by @paulbiggar.

Darklang's goal is to make it 100x easier to build #backend #services. It's a #functional programming language, with some novel ideas, such as #TraceDrivenDevelopment and #deployless.

1/

#introduction #introductions

Hey folks, I hope #corporate accounts are welcome here.

Dark is a #ProgrammingLanguage, editor, and #PaaS, developed in public on #GitHub.

It started in 2017 and has had a tumultuous time, but is still being actively worked on by a small team led by @paulbiggar.

Dark's goal is to make it 100x easier to build #backend #services. It's a #functional programming language, with some novel ideas, such as #TraceDrivenDevelopment and #deployless.

what's the hashtag for functional programming ?

#functional ?

Or what ?