Programming languages have not improved much over the years, but there are possibilities for big improvements. Dafny language goes above and beyond with static property checks. Example functions show its capabilities. #ProgrammingLanguages #Dafny #StaticChecking #CodeVerification