🐒 Welcome to the 'Typechecker Zoo' 🦓 where we pretend that reinventing the wheel is a fun pet project! With more keyboard shortcuts than actual content, this "romp" is all about making toy models of things that already exist. 🎪 Why use modern tools when you can play with toy languages instead? 🙃
https://sdiehl.github.io/typechecker-zoo/ #TypecheckerZoo #ReinventTheWheel #ToyLanguages #FunProjects #KeyboardShortcuts #HackerNews #ngated

🚀 Oh, look! Yet another toy language trying to ride Go's coattails, as if we needed more ways to complicate our lives. 🤦‍♂️ GitHub Copilot's #AI must be rolling its digital eyes, wondering why humans keep #reinventing square wheels. 🤖💡
https://github.com/alaingilbert/agl #toyLanguages #Go #GitHubCopilot #innovation #HackerNews #ngated