Only want to say

Tue Jan 12 17:16:37 UTC 2021

On Tuesday, 12 January 2021 at 17:04:14 UTC, H. S. Teoh wrote:
> IMNSHO, if contracts are hideous and unhelpful, then they're 
> not being used properly.  Contracts are supposed to document 
> (and enforce) what the caller must fulfill when calling the 
> function;

Maybe it is possible to write a specification language as a 
template library and compile it down with mixins to the "ugly" 
internal representation?