Hacker News new | ask | show | jobs
by clusterfish 2107 days ago
That's what unboxed tagged types are for. Floats (e.g.) at runtime, but with compile time restrictions.