λ Functional Programming - nmarshall · Scour

Finite Functional Programming ∀Lean4

Java sealed classes and exhaustive pattern matching ⚙️Alloy

neilmadden.blog·6d

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

youtube.com·21h

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

lobste.rs·4h·Lobsters

Document type inference 🎭Gradual Typing

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

ziggit.dev·13h

Functional Programming in Lean - Functional Programming in Lean ∀Lean4

leanprover.github.io·3d·Hacker News

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

blog.sheerluck.dev·22h

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

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

Coalton Language Manual 🎭Gradual Typing

coalton-lang.github.io·2h

Haskell: Debugging 🦀Rust Macros

wiki.haskell.org·10h·Hacker News

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

veryl-lang.org·3h·Hacker News

Breaking ten years of API compatibility 🔄C to Rust Translation

futhark-lang.org·2d·Lobsters

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

alexvear.com·3d·Hacker News

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

science.org·16h

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

news.ycombinator.com·1d·Hacker News

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

ts-quiz.com·18h·DEV

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

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

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

github.com·1d·Hacker News

Scaling and democratising structure-based protein function prediction with metagenomic-deepFRI 🍄Mycelium Networks

biorxiv.org·10h

Log in to enable infinite scrolling