4 ms·
> Is it better to ask and wait for an answer instead? No, around here it's better to say "So dependent types are pretty much $SOMETHING_COMPLETLY_WRONG ?" and
by gosub100 3y ago
> Is it better to ask and wait for an answer instead?
No, around here it's better to say "So dependent types are pretty much $SOMETHING_COMPLETLY_WRONG ?" and wait for all the "corrections" (aka Cunningham's law someone linked to nearby).