Hacker News new | ask | show | jobs
by blasdel 6023 days ago
That's certainly cleverer, but it's still a nested user-implemented unsound type-system.