natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
mps-coderules/samples/lambdacalc
History
Fedor Isakov fe16b80132 Refactor types in all mps foundation langs. Drop node-ptr usage as anchor in terms. 
Drop node-ptr in node features, macro calls.
Drop node-ptr types in rule templates and recover closures,
fix BiConsumer params
Drop node-ptr// refs where appropriate.
Drop pointer operations from macro calls and term ctor's; add resolve to FunctionTypeLookup static table.
Drop node pointer operations from constraints, add require statements in SModel types macro table.
 		2020-11-24 13:41:24 +01:00
..
.mps lc: add DemoScopes test case, fix one test example; reverse displayed order of user-supplied type annotations 2019-01-09 12:49:34 +03:00
languages/samples.lambdacalc Refactor types in all mps foundation langs. Drop node-ptr usage as anchor in terms. 2020-11-24 13:41:24 +01:00
solutions Introduce runtime support module j.m.coderules.runtime. 2020-06-21 23:17:33 +02:00
.gitignore Initial commit. A simple functional language with numeric and string constants, single-argument abstractions and let bindings. 2018-07-18 15:54:47 +02:00
README.md Add a reference to the article on typechecking STLC to readme 2018-08-19 17:32:59 +02:00
build.gradle Attempt to fix gradle task deps graph. 2020-04-13 18:00:15 +02:00
build.xml Introduce runtime support module j.m.coderules.runtime. 2020-06-21 23:17:33 +02:00

README.md

Type Checking Lambda Calculus

This is a demo of type checking simply typed lambda calculus using constraint rules.

This project is made with JetBrains MPS using coderules experimental extension.

Details of implementation can be found in the article available online.

Installation

The code in this project relies on coderules languages and solutions to be available, either as a project library or as a plugin. There are two possibilities to install coderules:

  1. Follow the instructions for building the root project, or
  2. Install the compiled plugin (see the latest release on GitHub).

License

Copyright 2014-2018 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.