mps-coderules/docs/index.md

title	menu	weight	layout
About	false	1	welcome

Type inference and type checking is a problematic area for language authors — users of JetBrains MPS, because of inherent intricacies of the problem and sometimes inadequate support from the framework.

Code Rules is a new technology that brings logic programming in the form of constraints processing as a vehicle for implementing type inference.

Thanks to its flexibility and independence from any specifics of type checking, this technology can be applied in other areas of model analysis where logical inference can be useful.