λ Functional Programming - chrisdohrm · Scour

A Monadic Implementation of Functional Logic Programs 🔤Type Systems

Leveraging Functional Programming for Scalable, Sustainable Web Apps- Wendy Randolph |Lambda Days 25 🔤Type Systems

youtube.com·21h

Functional Programming in Lean - Functional Programming in Lean ⚙️Compiler Design

leanprover.github.io·3d·Hacker News

Document type inference 🔤Type Systems

Functional Programmers need to take a look at Zig. ⚙️Systems Programming

pure-systems.org·1d·Lobsters, Hacker News, Hacker News, r/functionalprogramming

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

ziggit.dev·13h

Lambda Calculus Benchmark for AI 💬Prompt Engineering

victortaelin.github.io·5d·Hacker News

Haskell: Debugging 📝Python Type Hints

wiki.haskell.org·10h·Hacker News

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

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

Coalton Language Manual 📝Python Type Hints

coalton-lang.github.io·2h

Veryl 0.20.0: logic synthesis and type inference are supported 🎯Emacs Lisp

veryl-lang.org·3h·Hacker News

Build a JSON Parser in Rust from Scratch ⚙️Systems Programming

blog.sheerluck.dev·22h

Why I still reach for Lisp and Scheme instead of Haskell 🔤Type Systems

news.ycombinator.com·1d·Hacker News

Java sealed classes and exhaustive pattern matching 🔤Type Systems

neilmadden.blog·6d

How to Move from AI Experimentation to AI Transformation 🤖AI Code Generation

·16h

Breaking ten years of API compatibility 🔤Type Systems

futhark-lang.org·2d·Lobsters

Can AI simplify the alphabet of life? 🤖AI Code Generation

science.org·16h

On Lisp: A review of Paul Graham's 1993 book 🔤Type Systems

alexvear.com·3d·Hacker News

Clojure us the future of AI coding, but you won't use it ⚙️Systems Programming

latypoff.com·1d·Hacker News

I built a free TypeScript quiz website with 125 questions and levels 📝Python Type Hints

ts-quiz.com·18h·DEV

Log in to enable infinite scrolling