What Functional Programmers Get Wrong About Systems
Type systems verify properties of programs. Production correctness is a property of systems. The gap between these is where the interesting failures live.
点赞
收藏
点踩
分享评论
?
参与讨论
Type systems verify properties of programs. Production correctness is a property of systems. The gap between these is where the interesting failures live.