🐪 OCaml GADTs

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

X Design Notes: Pattern Matching II
blog.polybdenum.com·18h
🎯Pattern Matching
Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·9h
🌿Trie Structures
Using historical books to create structured knowledge graphs in SurrealDB
dev.to·49m·
Discuss: DEV
🌱Minimal ML
Polymorphism for Beginners
roscidus.com·2d·
Discuss: Hacker News
🎭Polymorphic Variants
Chris Smith 2: Rebooting NYHaskell
cdsmithus.medium.com·16h
🐪OCaml
Variadic Generics Micro Survey
blog.rust-lang.org·18h·
Discuss: r/rust
🔧API Design
第四: A Japanese and Forth inspired postfix language
gist.github.com·13h·
Discuss: Lobsters, Hacker News
🔗Concatenative Languages
Typename syntax and resolution in ClojureCLR
dmiller.github.io·1d
🔮Type Inference Visualization
Identity Types
bartoszmilewski.com·5h·
Discuss: Hacker News
🎯Type Theory
GSoC 2025: Improving Core Clang-Doc Functionality
blog.llvm.org·18h
📋Tablegen
Hybrid Lie semi-group and cascade structures for the generalized Gaussian derivative model for visual receptive fields
arxiv.org·14h
🗺️Region Polymorphism
Implementing a generic Schwartzian transform in Rust for fun
medium.com·1d·
Discuss: r/rust
🦀Rust Macros
Your Code is a Minefield: Let's Talk About Kotlin's Sealed Classes
dev.to·1h·
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·16h·
Discuss: r/cpp
⚡Interpreter Optimization
SEC annual opponents revealed: Alabama-LSU will no longer be yearly in nine-game schedule
nytimes.com·2h
🗺️Region Polymorphism
The Syndrome-Space Lens: A Complete Resolution of Proximity Gaps for Reed-Solomon Codes
eprint.iacr.org·2d
🎯Ring Buffers
The 3 Most Practical Features of C# 14 for Everyday Developers
learn.microsoft.com·1d·
Discuss: DEV
🌉Language Bindings
The low-cost path to AI Mastery
antonyarkov.substack.com·1d·
Discuss: Substack
💬Interactive REPLs
Building sub-100ms autocompletion for JetBrains IDEs
blog.sweep.dev·3d·
Discuss: Hacker News
🩺Compiler Diagnostics