Nanosci. 17, 50915095 2020 Recent Advancement for Diagnosing Diabetic Retinopathy Dimple Nagpal, Surya Narayan Panda, and Nayan Gupta J. Comput. Theor. Nanosci. 17, 50965104 2020 computer technological know-how Pragmatic Analytics of Covid Data Patterns for Predictive Mining of Patients Rubika Walia, Neelam Oberoi, and Sakshi Sachdeva J. Advocates of based typing, implemented in languages comparable to Dependent ML and Epigram, have suggested that almost all bugs can be regarded type errors, if programming types used in computer science application are properly declared by programming programmer or correctly inferred by programming compiler. Static typing usually results in compiled code that executes faster. When programming compiler knows programming exact data types that are in use that’s necessary for static verification, either through declaration or inference it can produce optimized machine code. Some dynamically typed languages such as Common Lisp allow not obligatory type declarations for optimization because of this. By comparison, dynamic typing may allow compilers programmers run faster and interpreters programmers dynamically load new code, because adjustments programmers source code in dynamically typed languages may result in less checking programmers perform and fewer code programmers revisit. This too may reduce programming edit compile test debug cycle.