🐪 OCaml GADTs

Generalized Algebraic Data Types, Type Witnesses, Pattern Matching, ML

X Design Notes: Pattern Matching II
blog.polybdenum.com·1d
🎯Pattern Matching
Creating a database of motivated proofs
gowers.wordpress.com·5h·
Discuss: Hacker News
⚖️Inference Rules
Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·18h
🌿Trie Structures
Polymorphism for Beginners
roscidus.com·2d·
Discuss: Hacker News
🎭Polymorphic Variants
Using historical books to create structured knowledge graphs in SurrealDB
dev.to·9h·
Discuss: DEV
🌱Minimal ML
Chris Smith 2: Rebooting NYHaskell
cdsmithus.medium.com·1d
🐪OCaml
Proof Rules for MetaSMT
philipzucker.com·1d
🧮Theorem Provers
Variadic Generics Micro Survey
blog.rust-lang.org·1d·
Discuss: r/rust
🔧API Design
第四: A Japanese and Forth inspired postfix language
gist.github.com·22h·
Discuss: Lobsters, Hacker News
🔗Concatenative Languages
Typename syntax and resolution in ClojureCLR
dmiller.github.io·1d
🔮Type Inference Visualization
Identity Types
bartoszmilewski.com·13h·
Discuss: Hacker News
🎯Type Theory
GSoC 2025: Improving Core Clang-Doc Functionality
blog.llvm.org·1d
📋Tablegen
Hybrid Lie semi-group and cascade structures for the generalized Gaussian derivative model for visual receptive fields
arxiv.org·23h
🗺️Region Polymorphism
Implementing a generic Schwartzian transform in Rust for fun
medium.com·2d·
Discuss: r/rust
🦀Rust Macros
Your Code is a Minefield: Let's Talk About Kotlin's Sealed Classes
dev.to·10h·
Discuss: DEV
🔀Control Structures
Building Search for this Site – Search on a static site
alexleighton.com·1d·
Discuss: Hacker News
📋Tablegen
Testing and MicroBenchmarking tool for C++ Code Optimisation
reddit.com·1d·
Discuss: r/cpp
⚡Interpreter Optimization
SEC annual opponents revealed: Alabama-LSU will no longer be yearly in nine-game schedule
nytimes.com·11h
🗺️Region Polymorphism
Space-Deniable Proofs
eprint.iacr.org·17h
📜Proof Languages
Show HN: Python Audio Transcription: Convert Speech to Text Locally
pavlinbg.com·8h·
Discuss: Hacker News
🌊Streaming Lexers