5
Почему у функциональных программ есть корреляция между успехом компиляции и правильностью?
Я работаю в течение четырех лет в функциональном программировании, с тех пор как я впервые начал работать с LINQ. Недавно я написал некоторый чистый функциональный код на C # и из первых рук заметил, что я читал о функциональных программах - что после компиляции они становятся правильными. Я пытался понять, …