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 EGreg on Thursday November 02, 2017 @09:55AM (#15610378)
Why not simply bake these contracts and tests into the actual software APIs so they are impossible to break?

That way the app would be "backward compatible certified" if it used this layer. The layer would only run during deployment.

I guess an approximation is the Passing indicator on Travis or GitHub.

[ Parent | on HN ]
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 ]