🔠 Type-Level Programming - matmat · Scour

An Algorithmic Reconstruction of Normalisation by Evaluation ⬆️Lambda Lifting

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

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

Building Semantic Version Control in Rust 🦀Rust Macros

therohansharma.com·5h·Hacker News

Lambda Calculus Benchmark for AI 🎼Audio Lambda Calculus

victortaelin.github.io·14h·Hacker News

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

discourse.haskell.org·2d·Lobsters

Value-oriented programming in Futhark λLambda Encodings

futhark-lang.org·4d

Borrow-checking without type-checking 🦀Rust Borrowing

scattered-thoughts.net·2d·Lobsters, Hacker News

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

neilmadden.blog·1d

egison/sweet-egison: Haskell library for non-deterministic pattern matching 🧮Algebraic Datatypes

github.com·6d·Hacker News

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

cacm.acm.org·2d·Hacker News

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

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

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

Effekt Language: Effectful Recursion Schemes λLambda Formalization

effekt-lang.org·5d·Lobsters

Issue 521 🔗Functional Compilers

haskellweekly.news·2d

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

news.ycombinator.com·6d·Hacker News

Generalised plusequals 🧮Algebraic Datatypes

leontrolski.github.io·1d·Hacker News

Models of computation 📼Tape Combinators

curiouscoding.nl·6d

Types and Neural Networks 🎯Gradual Typing

brunogavranovic.com·4d·Hacker News

Finding duplicated code with tools from your CS course λLambda Encodings

purplesyringa.moe·3d·Hacker News

Log in to enable infinite scrolling