13 lines
597 B
Markdown
13 lines
597 B
Markdown
---
|
|
title: About
|
|
menu: false
|
|
weight: 1
|
|
layout: 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.
|