⚡ functional programming - abnv · Scour

Functional Logic Program Transformations

arxiv.org·23h

🏭Functional Compilers

Using Haskell in Production

agentultra.com·1d

Making a Language

thunderseethe.dev·5h

🔬programming language theory

Rust async combinators for elegant and secure concurrency

kerkour.com·22h·

Discuss: r/rust

🪆Embedded DSLs

On Learning Elixir

denvaar.dev·1d

🚂Error Propagation

jhgarner/Theseus: An experimental and still heavily in progress Haskell effect system library supporting coroutines and higher order effects.

github.com·2d

⚡Algebraic Effects

Scheme implementation as O’Reilly book via Claude Code

ezzeriesa.notion.site·1d·

Discuss: Hacker News

🔧Scheme Macros

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

abelianization of an additive category in nLab

ncatlab.org·11h

🔗Category Theory

GNU C Language Manual

gnu.org·8h

🪄C Metaprogramming

ES6 Generators Deliver Go Style Concurrency

swannodette.github.io·1d

⚙️Async State Machines

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·11h·

Discuss: Hacker News

🪢Rope Data Structures

Designing real systems with immutable data in Clojure

building.nubank.com·2d·

Discuss: Hacker News

Designing a Programming Language for the Desert

futhark-lang.org·12h·

Discuss: Hacker News

🔄Bootstrapping

Linking Zig from Haskell

agentultra.com·1d

⚙️Zig Comptime

Datomic - Datomic at Clojure/Conj 2025

blog.datomic.com·1d

🌲Deforestation

clojuriststogether.org·5h

🔄Bootstrapping

From logical reasoning to code in C and PHP

dev.to·17h·

Discuss: DEV

Unification of Deterministic Higher-Order Patterns

arxiv.org·23h

🔗Unification Algorithms

Evolution of LLMs use by a programmer

asfaload.com·11h·

Discuss: Hacker News

🎮Language Ergonomics

Loading more...