🔠 Type-Level Programming - matmat · Scour

Eye magazine #109 📖Nordic Typography

fontsinuse.com·2d

An Algorithmic Reconstruction of Normalisation by Evaluation ⬆️Lambda Lifting

yangzhixuan.github.io·3d·Lobsters, Hacker News

Building Semantic Version Control in Rust 🦀Rust Macros

therohansharma.com·7h·Hacker News

Rust for Scala and Haskell Developers: A Surprisingly Familiar Journey by Pawel Szulc 🦀Rust Macros

youtube.com·2d·r/rust

Value-oriented programming in Futhark λLambda Encodings

futhark-lang.org·4d

LLM StructCore: Schema-Guided Reasoning Condensation and Deterministic Compilation 🔗Functional Compilers

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing 🦀Rust Borrowing

discourse.haskell.org·2d·Lobsters

Modelling Data Catalogs and Data Pipelines using Rust's type system 🦀Rust Macros

pond-org.github.io·3d·r/rust

100+ TypeScript utility types I built for my own use, now open source 🎯Gradual Typing

github.com·2d·r/javascript

Proofs are Programs: A Few Examples of the Curry-Howard Correspondence 🔤Type Theory

adueck.github.io·3d·Hacker News, r/programming

Java sealed classes and exhaustive pattern matching 🛡️Proof-Carrying Archives

neilmadden.blog·1d

A Grounded Conceptual Model for Ownership Types in Rust 🦀Rust Borrowing

cacm.acm.org·2d·Hacker News

Effekt Language: Effectful Recursion Schemes λLambda Formalization

effekt-lang.org·5d·Lobsters

Outsourced Private Set Intersection for Pairwise Analytics 🌸Bloom Filters

eprint.iacr.org·2d

The seven programming ur-languages (2022) 💻Programming languages

news.ycombinator.com·6d·Hacker News

The Complicated Nature of Programming Languages 💻Programming languages

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

Static Types for Dynamic Targets 🎯Gradual Typing

intertwingly.net·1d·Hacker News

Models of computation 📼Tape Combinators

curiouscoding.nl·6d

Issue 521 🔗Functional Compilers

haskellweekly.news·2d

Types and Neural Networks 🎯Gradual Typing

brunogavranovic.com·4d·Hacker News

Log in to enable infinite scrolling