News for hackers. Stuff that matters.

A comment on All Programming Languages are Wrong (2018). Parent comment

Re:All Programming Languages are Wrong (2018) by pasquinelli on Wednesday February 12, 2020 @02:21AM (#22306663)
That is what it is, a branch at the type level that the type checker mandates you complete both sides of.
[ Parent | on HN ]

There are no comments on this comment yet.