News for hackers. Stuff that matters.
Re:Parse, Don't Validate (2019) by ukj on Saturday June 26, 2021 @08:34AM (#27641314)
Yeah, but that is precisely how inductive types work.

"Bonkers" premises. Iterate, iterate, iterate. "Bonkers" conclusions. GIGO.

And yet the result is reified, exists and speaks for itself. So what is so "absurd" and "bonkers" about a result that is right before your eyes?

https://en.wikipedia.org/wiki/Reification_(computer_science)

There are no comments on this comment yet.