Less-Java, more type safety: Type inference and static analysis in Less-Java
Charles Hines · JMU Scholoraly Commons (James Madison University) · 2020
Less-Java is an object-oriented programming language whose primary goal is to help new programmers learn programming. Some of the features of Less-Java that might make it better for beginners are static typing, implicit typing, low verbosity, and built-in support for unit testing. The primary focus of this project is on improving type inference (especially with regards to object-oriented programming) and adding static analysis in the Less-Java compiler.