Functional Programming

Feeds to Scour
SubscribedAll
Scoured 102 posts in 4.3 ms

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

 🤔Philosophy of CS  Content type: News
developing.dev·

Issue 527

 λType Theory
haskellweekly.news·

Tarides

 Category Theory  Content type: Code
github.com·

Implementing Monads with Async Zig

 λLambda Calculus  Content type: Blog

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

 λType Theory
lix.polytechnique.fr·

clj.rs Clojure implemented on Rust

 λLambda Calculus

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

 λLambda Calculus  Content type: Discussion

Watch: Historic US-Canada border library gets new Quebec-only entrance

 λLambda Calculus  Content type: News
bbc.com
·

Stackage Blog: Stackage talk at Haskell Ecosystem Workshop 2026

 λType Theory  Content type: Blog
stackage.org·

quasitriangular Hopf 2-algebra in nLab

 Category Theory
ncatlab.org·

Kan Extensions in Haskell

 Category Theory

Clojure Deref (Jun 9, 2026)

 λLambda Calculus
clojure.org·

OCaml Onboarding: Introduction to the Dune build system

 λType Theory  Content type: Blog
ocamlpro.com··Hacker News

Border-straddling library opens Canadian entrance

 Category Theory  Content type: News
sootoday.com·

OCaml Weekly News, 09 Jun 2026

 Category Theory

Chloe Madeley looks incredible stripping to bikini on £718-a-night solo holiday after opening up on James Haskell split

 λType Theory  Content type: News
thesun.co.uk·

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 Theory
lmika.org·

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

 λType Theory

Debootstrapping without Archeology: Stacked Implementations in Camlboot

 λLambda Calculus  Content type: Academic
arxiv.org··Lobsters

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

 λLambda Calculus  Content type: Blog

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