🚀 Hindley-Milner+ - abnv · Scour

Making a Language

thunderseethe.dev·10h

🔬programming language theory

Unification of Deterministic Higher-Order Patterns

arxiv.org·1d

🔗Unification Algorithms

PlummersSoftwareLLC/Primes: Prime number projects in 100+ programming languages, to compare their speed - and their programmer's cleverness

github.com·1d·

Discuss: Hacker News

🏁Language Benchmarks

Kolmogorov Complexity

en.wikipedia.org·20h·

Discuss: Hacker News

λLambda Calculus

Introducing Names: practical namespaces for Emacs-Lisp

endlessparentheses.com·19h

🔧Scheme Macros

Models of generics and metaprogramming: Golang, Rust, Swift, D, and more

thume.ca·2d·

Discuss: Hacker News

🗂️Type Indexing

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·16h·

Discuss: Hacker News

🪢Rope Data Structures

Alexis King’s Blog

lexi-lambda.github.io·2d

🗂️Type Indexing

GNU C Language Manual

gnu.org·13h

🪄C Metaprogramming

abelianization of an additive category in nLab

ncatlab.org·16h

🔗Category Theory

Calculus Made Easy

calculusmadeeasy.org·17h

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

Variation on Iota

toolofthought.com·2d·

Discuss: Hacker News

🔢Bit Manipulation

Designing a Programming Language for the Desert

futhark-lang.org·16h·

Discuss: Hacker News

🔄Bootstrapping

C++ Is An Absolute Blast

learncodethehardway.com·5h

🪄C Metaprogramming

Type-safe eval in Grace

haskellforall.com·1d·

Discuss: Lobsters, Hacker News

🌊Gradual Effects

Resource-Bounded Martin-L\"of Type Theory: Compositional Cost Analysis for Dependent Types

arxiv.org·3d

🏗️Calculus of Constructions

Keeping traits dyn-compatible while preserving zero-cost abstraction where possible

scp-iota.github.io·2d·

Discuss: r/rust

🪆Embedded DSLs

Google Releases FunctionGemma Model

i-programmer.info·16h

💬Smalltalk VMs

Harper: Free, Open Source Grammar Checker

writewithharper.com·6h·

Discuss: r/webdev

🔄Incremental Lexing

Loading more...