Type checking and logical inference for JetBrains MPS
APACHE-2.0 License
An experimental feature of JetBrains MPS, Coderules is collection of languages that allow to utilize logical programming approach for solving typechecking and related problems.
JetBrains MPS is a project developed by JetBrains.
The documentation is available online.
Add the the URL providing access to EAP channel to the list of Plugin Repositories:
Manage Plugin Repositories...
https://plugins.jetbrains.com/plugins/eap/list
For latest stable MPS release (2021.3):
jetbrains.mps.coderules-213-*.zip
(Coderules and related languages and accessory solutions)jetbrains.mps.core-types-213-*.zip
(Type definitions for core MPS languages)TeamCity Stable | TeamCity EAP |
---|---|
The status of this project is pre-release. Don’t rely on any of the language features or the API to be stable. The purpose of this project is to show the new technology and collect early feedback.
This project is the result of ongoing research done within MPS team in the area of code analysis using constraints handling, in particular CHR.
Analysis of source model with CodeRules can be described as a two-phase process.
In the first phase, languages used by the model being analysed and surveyed for the appropriate CodeRules aspect model, which is types in case of type checking. Coderules allow for extensions to be provided by derived languages. Extensions have higher priority, so it’s easy to override the built-in behaviour.
The outcome of this phase is a constraint rules program, which is a collection of rule tables, which in turn represent lists of constraint rules. This “program” however, exists in memory only as it does not have any textual representation.
In the second phase the constraints program that was created in phase one is evaluated. The semantics of constraints processing is compatible with regular Java semantics.
The source code can be opened with the last release of JetBrains MPS. See INSTALL.txt for information on how to set up the project.
The author can be reached by email fedor.isakov
@jetbrains.com
or by Twitter.
Copyright 2014-2022 JetBrains s.r.o.
Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at
http://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.