🧮 Functional Programming - martin · Scour

Finite Functional Programming 🔧Functional programming

Functional Programming in Lean - Functional Programming in Lean 🔧Functional programming

leanprover.github.io·3d·Hacker News

Leveraging Functional Programming for Scalable, Sustainable Web Apps- Wendy Randolph |Lambda Days 25 🔧Functional programming

youtube.com·20h

Functional Programmers need to take a look at Zig 🔧Functional programming

lobste.rs·3h·Lobsters

Document type inference λHaskell

Haskell: Debugging λHaskell

wiki.haskell.org·9h·Hacker News

Coalton Language Manual 🔧Functional programming

coalton-lang.github.io·1h

Java sealed classes and exhaustive pattern matching ⚡Algebraic Effects

neilmadden.blog·6d

Why I Still Reach for Lisp and Scheme Instead of Haskell λHaskell

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

Functional Programmers need to take a look at Zig 🔧Functional programming

ziggit.dev·12h

Build a JSON Parser in Rust from Scratch λHaskell

blog.sheerluck.dev·21h

Breaking ten years of API compatibility λHaskell

futhark-lang.org·2d·Lobsters

On Lisp: A review of Paul Graham's 1993 book 🔧Functional programming

alexvear.com·3d·Hacker News

Veryl 0.20.0: logic synthesis and type inference are supported ⚡Algebraic Effects

veryl-lang.org·2h·Hacker News

Can AI simplify the alphabet of life? 🗺️Pathfinding Algorithms

science.org·15h

Why I still reach for Lisp and Scheme instead of Haskell 🔧Functional programming

news.ycombinator.com·1d·Hacker News

Association-sensory spatiotemporal hierarchy and functional gradient-regularised recurrent neural network with implications for schizophrenia 🔲Cellular Automata

nature.com·23h

Lambda Calculus Benchmark for AI 🗺️Pathfinding Algorithms

victortaelin.github.io·5d·Hacker News

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 λHaskell

pocketcasts.com·2d·Hacker News

How to Move from AI Experimentation to AI Transformation ⚡Algebraic Effects

·16h

Log in to enable infinite scrolling