Comment Comment by AdieuToLogic The short answer - F# and similar languages provide confidence in correctness due to being strongly typed.The long answer - https://bartoszmilewski.com/2014/10/28/category-theory-for-p... parent AdieuToLogic 2 years ago
The long answer - https://bartoszmilewski.com/2014/10/28/category-theory-for-p...