News for hackers. Stuff that matters.

A comment on A regression is the kernel not giving the same result with the same user space. Parent comment

Re:A regression is the kernel not giving the same result wit... by majewsky on Thursday November 02, 2017 @10:30AM (#15610692)
Some contracts are so complicated that we need 100-page RFCs to express them. What makes you think we can express these in a regular type system? (Unless you use Idris or Coq or something like that.)
[ Parent | on HN ]

There are no comments on this comment yet.