News for hackers. Stuff that matters.
Re:Programming paradigms that change how people think about ... by coldtea on Friday March 08, 2019 @06:20AM (#19336622)
>How about C90: pointer to array of 10 is not compatible with a pointer to array 20:

As if that's all dependent types are?

Re:Programming paradigms that change how people think about ... by kazinator on Friday March 08, 2019 @10:38AM (#19338413)
That's what is exemplified by the submitted page as representing the paradigm.