Hacker News new | ask | show | jobs
by jared314 5910 days ago
It is useful for doing metaprogramming, while keeping it type safe and well specified.