Functional Programming

Feeds to Scour
SubscribedAll
Scoured 94 posts in 7.2 ms

Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones

 λPLT  Content type: News
developing.dev·

Implementing Monads with Async Zig

 🔷Type Systems  Content type: Blog
platypro.net··Hacker News

Issue 527

 λPLT
haskellweekly.news·

A line-by-line translation of the OCaml runtime from C to Rust

 ⚙️Compilers  Content type: Discussion
discuss.ocaml.org··Lobsters

ocaml/odoc: Documentation compiler for OCaml

 ⚙️Compilers  Content type: Code
github.com·

Stackage Blog: Stackage talk at Haskell Ecosystem Workshop 2026

 🔷Type Systems  Content type: Blog
stackage.org·

quasitriangular Hopf 2-algebra in nLab

 λPLT
ncatlab.org·

Kan Extensions in Haskell

 λPLT

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

 λPLT
lix.polytechnique.fr·

OCaml Onboarding: Introduction to the Dune build system

 🛠️Developer Tools  Content type: Blog
ocamlpro.com··Hacker News

Poor Man's Time Machine: Lazy Evaluation in JavaScript and Haskell

 🔷Type Systems  Content type: Blog

Still wishing for enums in Go. And now, after looking at a piece of code feating optional pointer types, I wished Go had unions too. In fact, Go should just ...

 🔷Type Systems
lmika.org·

Co-Creator of Haskell: Functional Prog., Thinking in Types, Useless Languages [video]

 λPLT  Content type: Video
youtube.com··Hacker News

BQN: Functional programming

 λPLT

𝜇⁢𝜆⁢ϵ⁢𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

 λPLT  Content type: Academic
arxiv.org··Lobsters

Strudel REPL – Audio Programming Language

 🤖LLMs
gamefromscratch.com·

Extension or Imitation? Can you tell the valid Haskell Language Extensions, from the Impostors?

 🔷Type Systems

🍋 Lumiterra Dev Log #138 · Agents Learn to Stake, the Social Layer Takes Shape

 🤖LLMs  Content type: Blog
lumiterra.itch.io·

AeroWomen in Yeovil highlights women's role in space exploration

 Accessibility  Content type: News
bbc.com·

A Concurrent Language for Non-Concurrent Software (2010)

 λPLT

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help