λ Functional Programming - nmarshall · Scour

Finite Functional Programming ∀Lean4

Java sealed classes and exhaustive pattern matching ⚙️Alloy

neilmadden.blog·6d

Document type inference 🎭Gradual Typing

Functional Programmers need to take a look at Zig ⚙️Zig

lobste.rs·2h·Lobsters

Leveraging Functional Programming for Scalable, Sustainable Web Apps- Wendy Randolph |Lambda Days 25 ⚡Incremental Computation

youtube.com·19h

Breaking ten years of API compatibility 🔄C to Rust Translation

futhark-lang.org·2d·Lobsters

Functional Programming in Lean - Functional Programming in Lean ∀Lean4

leanprover.github.io·3d·Hacker News

Functional Programmers need to take a look at Zig ⚙️Zig

ziggit.dev·11h

Why I Still Reach for Lisp and Scheme Instead of Haskell ⚙️LLVM

jointhefreeworld.org·2d·Lobsters, Hacker News, r/functionalprogramming, r/programming

Veryl 0.20.0: logic synthesis and type inference are supported 📐TLA+

veryl-lang.org·1h·Hacker News

Build a JSON Parser in Rust from Scratch ⚠️Unsafe Rust

blog.sheerluck.dev·20h

Why I still reach for Lisp and Scheme instead of Haskell 🦀Rust Macros

news.ycombinator.com·1d·Hacker News

On Lisp: A review of Paul Graham's 1993 book 🔗Dependent Types

alexvear.com·3d·Hacker News

Haskell: Debugging 🦀Rust Macros

wiki.haskell.org·8h·Hacker News

rcarmo/go-joker: A personal twist on the original Clojure interpreter and linter, slightly mad, Go-ing places 🏗️Cranelift

github.com·1d·Hacker News

Functional impact of genetic background on variable expressivity in neurodevelopmental disorders 🧬Genetics

Can AI simplify the alphabet of life? 🏗️AI Infrastructure

science.org·14h

More hexagon acl2 first-order-logic/embeddable common lisp+McCLIM graphics 🔗Dependent Types

lispy-gopher-show.itch.io·3d

Cinderella-Man/credence: Credence is a semantic linter for Elixir 🎭Gradual Typing

I built a free TypeScript quiz website with 125 questions and levels 📘TypeScript

ts-quiz.com·16h·DEV

Log in to enable infinite scrolling