How 'DevOps' Is Killing The Developer

Re:How 'DevOps' Is Killing The Developer by coolsunglasses on Wednesday April 16, 2014 @01:46PM (#7599264)

I went to dependent types specifically because I figured we meant static avoidance without resorting to checked arithmetic. (better performance)

[ Parent | on HN ]

Re:How 'DevOps' Is Killing The Developer by dllthomas on Wednesday April 16, 2014 @01:53PM (#7599312)

Sure, that would be a good reason to go there. I didn't mean to cast aspersions at dependent types. I was just confused/amused at the typical case being cast as a hypothetical.

[ Parent | on HN ]