Circuit diagrams illustrate Hindley-Milner inference
22.5K views·274 likes·181 saves·34 reposts·Posted 24 Sept 2026 · 4:37 · Explainers
Our note
A nearly five-minute explainer on how Algorithm W infers types in Hindley-Milner systems, drawing substitutions as circuits that route a type variable into two slots at once.
The creator’s post
got opus 5.5 to make a video illustrating how algorithm W infers types in hindley-milner type systems
The prompt
The creator didn’t publish a prompt for this one. Start from the prompt template instead.
Make one like this
1 · Start from a template
This creator didn't share a prompt. Start from the template and describe this video's look.
2 · Direct it like an editor
Ask for one self-contained HTML file on a fixed 1920×1080 stage, link this video as the reference, and send two or three rounds of specific notes.
3 · Render it to MP4
Screen-record a short piece, or capture it frame by frame for exact timing. How →
How it was made
The creator didn’t name their tools. Most videos like this are HTML, canvas or SVG animation written by Claude and screen-recorded or rendered to MP4. How that works →
Look
Views as of collection. Video, post and prompt © their creator.
Create with Zryth