😴 Lazy Evaluation - abnv · Scour

Convert Class Components to Functional Components with React Hooks 🔧API Design

digitalocean.com·2d·

An Update On Typed Racket For HtDP 🎭Racket Modules

callumr.com·5d·

rahultumpala/dsm: Declarative finite state machines and pipelines 🎭Staged Interpreters

github.com·18h·

Issue 518 📏Linear Haskell

haskellweekly.news·16h·

Wrapping my head around Tail Recursion and TCO 🔄Tail Recursion

reddit.com·1d·Substack·

The Wrong Spherical Cow - First Principles of Parts Based Programming 🏛️Elm Architecture

programmingsimplicity.substack.com·4d·Substack·

Validating Hare’s Sort Module using Symbolic Execution 🎯Symbolic Execution

notes.8pit.net·10h·Lobsters·

Formal Verification in Any Language for Everybody 🏭Functional Compilers

dev-log.me·2d·Hacker News·

What Would You See Changed in Haskell? 🔧haskell

blog.haskell.org·1d·Lobsters, Hacker News, r/programming·

Vibe Clojure 2: Ahead of Time 🔮Clojure

medium.com·5d·

Linear types proposal for Hare 📏Linear Types

yerinalexey.srht.site·1d·Lobsters, Hacker News·

Perceus: Garbage Free Reference Counting with Reuse (2020) 🗑️Garbage Collection

microsoft.com·6d·Lobsters·

Shared mutable state in Rust (2022) 🔗Concurrency Primitives

draft.ryhl.io·1d·Hacker News·

The revolution of compiler-enforced correctness: bugs that the Rust compiler catches for you 🪆Embedded DSLs

kerkour.com·1d·

Bigoish: Test the empirical computational complexity of Rust algorithms 🦀MIR Optimization

docs.rs·6d·Lobsters, Hacker News·

Wrapping my head around Tail Recursion and TCO 🔄Tail Recursion

functiondispatch.substack.com·1d·r/programming·

Pondering Effects 💫Effect Systems

wiki.alopex.li·6d·Lobsters, Hacker News·

Rust's next-generation trait solver 🦀Rust Macros

lwn.net·3d·Lobsters, Hacker News, r/programming·

chore: bump transitive deps 🔗Borrowing Extensions

github.com

·6d·

A Couple Million Lines of Haskell: Production Engineering at Mercury 🚂Error Propagation

blog.haskell.org·4d·Lobsters, Hacker News, r/programming·

Loading more...