News for hackers. Stuff that matters.
Re:Never patterns, exhaustive matching, and uninhabited type... by a1369209993 on Saturday August 18, 2018 @02:03PM (#17789682)
I mostly use them as return types for functions that are guaranteed to either loop forever or kill the process:

  noreturn mainloop(State* s)
    {
    for(; s->valid ;s->itick++) do_step(s);
    die(70,"invalid internal state");
    }

There are no comments on this comment yet.