⚡ functional programming - abnv · Scour

Formal Verification in Any Language for Everybody 🏭Functional Compilers

dev-log.me·1d·Hacker News·

Vibe Clojure 2: Ahead of Time 🔮Clojure

medium.com·4d·

What Would You See Changed in Haskell? 🔧haskell

blog.haskell.org·18h·Lobsters, Hacker News, r/programming·

Functional programming is the simplest way to scale agentic development ✨Gleam

cyrusradfar.com·21h·Hacker News·

Almighty Lisp: Lisp & Emacs Essentials 🌱Minimal Lisps

almightylisp.com·1d·Hacker News·

Quadratic Micropass Type Inference 🔍Type Inference

articles.luminalang.com·6d·Hacker News·

Control Flow: Truth, Conditions, and Pattern-Based Decisions 🔀Control Structures

grox.io·7h·

New Era for Clojure: Infix Syntax! 🔮Clojure

flexiana.com·1d·

Relational Schema Migrations Powered by Lisp on DBs (Guile Scheme) + Seeding 📋Tablegen

codeberg.org·17h·Hacker News·

DavidLiedle/WISP: Lisp in WASM 🔮Lisp Interpreters

github.com·2d·Hacker News·

Generators in Lone Lisp 🔮Lisp Interpreters

news.ycombinator.com·6d·Hacker News·

The Lisp Curse 🌱Minimal Lisps

winestockwebdesign.com·1d·

GHC Developer Blog: GHC 9.12.4 is now available 📏Linear Haskell

haskell.org·6d·

Lisp Machines! 🖥️Lisp Machines

irreal.org·3d·

Formally verifying digital circuits with category theory in Lean 🔗Category Theory

matt.hunzinger.me·5d·r/programming·

PANE: Programming with visible data 🌊Dataflow Languages

joshuahhh.com·6d·

Nubank Morse: A graphical, interactive tool for browsing Clojure data 🔮Clojure

github.com·2d·Hacker News·

Developing OCaml with Nix 🏗️Build Systems

ryan.freumh.org·6d·

Stop Writing If-Chains: 8 Python Pattern Matching Examples for Data Science 🔤String Algorithms

captain-solaris.medium.com·5d·

Ayatori: An Experimental Agent Orchestration Engine in Clojure 🎪Actor Frameworks

serefayar.substack.com·3d·Substack·

Loading more...