λ Functional Programming - hello · Scour

Incremental Lambda Calculus 🔄Salsa

inc-lc.github.io·4d·Hacker News

A Perfectable Programming Language 🔨Compiler Design

alok.github.io·2d·Hacker News

MR-Coupler: Automated Metamorphic Test Generation via Functional Coupling Analysis ✅Property Testing

arxiv.org·18h

Reflection On Recursion • 3 ∘Category Theory

inquiryintoinquiry.com·1d

Why FlatMap Isn’t Ideal for Go Error Handling 🛡️Error Handling

pkg.go.dev·3d·DEV

The Exception Butterfly 🦗Pest

valhovey.github.io·2d·Hacker News

jhud/lisp: Toy Python LISP interpreter based on the original 1960 John McCarthy paper 🔵Clojure

github.com·2d·Hacker News

Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp 🌊SeaORM

jointhefreeworld.org·4d·Lobsters, Hacker News

Hatter: Native Haskell Mobile Apps 🧊Iced

jappie.me·1d·Hacker News

Listful Andrew: Phones-to-Words Challenge IV: Clojure as an alternative to Java 🦗Pest

flandrew.srht.site·4d

Haskell for Dilettantes: What the Functor? ∘Category Theory

youtu.be·2d·r/functionalprogramming

Retrospective on binary search and comp{ress,ilat}ion (2015) ⚖️Y-Fast Tries

pvk.ca·5d·Hacker News

MoonBit 0.9: Introducing First-Class Formal Verification ✓Formal Verification

moonbitlang.com·6d·Lobsters

Giving LLMs a Formal Reasoning Engine for Code Analysis 🌳Tree-sitter

yogthos.net·6d·Lobsters, Hacker News

A Gradual Probabilistic Lambda Calculus 🎯Hindley-Milner

arxiv.org·6d

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference 🔗Dependent Types

arxiv.org·6d

Listful Andrew: Phones-to-Words Challenge V: Clojure-inspired Emacs Lisp 🦗Pest

flandrew.srht.site·4d

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering ✅Model Checking

arxiv.org·6d

BLaDA: Bridging Language to Functional Dexterous Actions within 3DGS Fields 💡Photon

arxiv.org·4d

Reflection On Recursion • 2 📝Parser Combinators

inquiryintoinquiry.com·5d