Latest posts tagged with #functionalprogramming on Bluesky
🔍 Spot the difference?
Both define an outer function (plus).
Both return an inner, anonymous function.
Both "close over" the variable in the parent scope.
R uses environments; Perl uses lexicals. Same logic, different syntax. 🤝
#FunctionalProgramming #CodingTips #ComputerScience #RStats #Perl
💡 R and Perl are more alike than you think!Both use lexical scoping to create closures. The inner function "captures" the variable from the outer scope, creating a persistent environment.
#rstats
plus <- function(x) {
function(y) x + y
}
plus_one <- plus(1)
plus_one(10) #11
#perl
sub plus {
my […]
🔍 Spot the difference?
Both define an outer function (plus).
Both return an inner, anonymous function.
Both "close over" the variable in the parent scope.
R uses environments; Perl uses lexicals. Same logic, different syntax. 🤝
#FunctionalProgramming #CodingTips #ComputerScience #RStats #Perl
3/3
#perl
sub plus {
my ($x) = @_;
sub {
my ($y) = @_;
$x + $y
}
}
my $plus_one = plus(1);
$plus_one->(10); # 11
#FunctionalProgramming #CodingTips #ComputerScience #RStats #Perl
2/
Readings shared April 4, 2026. jaalonso.github.io/vestigium/po... #AI #AI4Math #ATP #Agda #Autoformalization #CategoryTheory #CoqProver #FunctionalProgramming #ITP #IsabelleHOL #LLMs #LambdaCalculus #LeanProver #Lisp #Logic #LogicProgramming #LLMs #Math #Programming #Prolog #Racket #RocqProver
![[CIS352] Encodings into the λ-Calculus](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:nogtf77xcyjilq52agusqrjx/bafkreiflrxbuzzhu4wpw4gw6lzz2c75jzgut73bfxirjswdudulc375wyq)
Encodings into the λ-calculus. ~ Kristopher Micinski. youtu.be/EjNalq6EihU #LambdaCalculus #Racket #FunctionalProgramming
I just spent 1 1/2 hours reading this absolutely amazing blog post by @iankduncan.com: www.iankduncan.com/engineering/...
And if you're likely to get nerdsniped by me mentioning #distributedsystems, #functionalprogramming, you definitely should read it too.
Readings shared March 24, 2026. jaalonso.github.io/vestigium/po... #AI4Math #Autoformalization #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Math
Liberator: A drag-and-drop visual programming environment for Haskell. ~ Miles Berry. github.com/milesberry/l... #Haskell #FunctionalProgramming
Rado's radical reflections. ~ Rado Kirov. rkirov.github.io/posts/code-p... #LeanProver #ITP #FunctionalProgramming
Guess how many ways to manage dependencies are used in the Safe Clean Architecture?
#CleanArchitecture #FSharp #DotNet #DependencyInjection #FunctionalProgramming #SoftwareArchitecture
www.linkedin.com/pulse/9-ways...
ArrayCast goes live in 10 minutes!
Episode 122: REPL & IDE Deep Dive
Adám Brudzewsky and Conor Hoekstra explore REPLs and IDEs across the array language ecosystem
Join live: www.youtube.com/watch?v=kDpF...
#ArrayCast #APL #ArrayProgramming #FunctionalProgramming
Enterprise software is not ready for #agenticworkflow. Mutable #OOP is problematic. Critical systems are too big and have too many dependencies to be pulled locally. Therefore a #functionalprogramming based on immutable values is needed and a local lang runtime independent of the data. #SAP #ABAP
After a long, intense day of learning, don't forget to join the beloved Scalar afterparty!
📅 Date: 26.03
⏰ Time: 8 pm
📍Location: Klub Arco
Eat, drink, bowl the night away, or simply relax and enjoy more of Scala discussions!
#scalarconf #scala #functionalprogramming
Attention, Scalarians!
Are you ready for the 2026 edition of the @scalar-conf.com?
The favourite gathering of Scala professionals & enthusiasts is coming to Warsaw on 26-27 March!
🎟️ Get your tickets here: www.scalar-conf.com/tickets
#scalarconference #scala #functionalprogramming
This sounds like a really interesting PhD course at Chalmers: “Functional Programming and Climate Impact Research”, by Patrik Jansson:
https://github.com/DSLsofMath/FPClimate
After completion of the course the student should be able to:
Use functional programming specification / implementation […]
Readings shared March 09, 2026. jaalonso.github.io/vestigium/po... #AI #AI4Math #CategoryTheory #CoqProver #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LambdaCalculus #LeanProver #Lisp #Math #Physics #RocqProver
Welcome Magda Stożek as the #Scalarconf 2026 speaker!
🎙️ Flexible Modeling: Keeping Your Domain Pure with Scala 3
The full Scalar agenda is ready and waiting for you on our website!
🎟️ Grab your ticket here: scalar-conf.com/tickets
#scala #functionalprogramming
The floor is magma. ~ Alexandre Esteves. github.com/alexfmpe/sem... #Haskell #FunctionalProgramming
Lambda calculus for dummies: The Church encoding. youtu.be/CL1LAKMsyKg #LambdaCalculus #FunctionalProgramming
Category theory for programming. ~ Benedikt Ahrens, Kobe Wullaert. arxiv.org/abs/2209.012... #CategoryTheory #Haskell #LeanProver #FunctionalProgramming
Composing Software: An Exploration of Functional Programming and Object Composition in JavaScript by Eric Elliott is the featured course on Leanpub!
Link: leanpub.com/courses/lean...
#ComputerProgramming #FunctionalProgramming #Javascript #Software #SoftwareEngineering #SoftwareArchitecture
OOP Is A Construct Of Oppression Installed By The Bourgeoisie
OOP Is A Construct Of Oppression Installed By The Bourgeoisie
#oop #Objectorientedprogramming #Functionalprogramming #Cleancode #Refactoring
programmerhumor.io/programming-memes/oop-is...
Readings shared March 04, 2026. jaalonso.github.io/vestigium/po... #AI #AI4Math #CoqProver #FunctionalProgramming #Haskell #ITP #LeanProver #Math #RocqProver
Monuses and heaps. ~ Donnacha Oisín Kidney. doisinkidney.com/posts/2026-0... #Haskell #FunctionalProgramming
New tale: talesfrom.dev/blog/the-amb... in which we see developers and architects interpreting diagrams.
#objectorienteddesign #functionalprogramming #empathydrivendesign #domaindrivendesign #softwarearchitecture #softwaredesign #collaborativesoftwaredesign
📖 A new book by Noel Welsh is in the making. Read a preview about the approaches to dependency injection in FP and OOP to fully understand the connection between them. 👇 buttondown.com/functionalpr... #scala #functionalprogramming
Just joined Bluesky! Senior F# engineer based in Barcelona — 10+ years building production systems with DDD, event sourcing, and Ports & Adapters. Excited to connect with the functional programming community here.
#fsharp #dotnet #functionalprogramming
