Hacker News new | ask | show | jobs
by mighmi 281 days ago
> CUE spec

Have you heard of Ada, whose type system does the same thing?