A Visual Studio Code extension providing language support for the Miranda purely-functional programming language, including syntax highlighting, IntelliSense completions, real-time diagnostics, and more.
Features
- Syntax highlighting: keywords, operators, types, constructors, literals, and comments.
- IntelliSense completions: library functions, keywords, and symbols defined in the file.
- Hover information: function signatures, type declarations, and documentation.
- Go to Definition: navigate to function and type definitions within the file.
- Document Symbols: outline view with functions, types, and constructors.
- Real-time diagnostics: identifies undefined identifiers, parse errors, and type issues.
Installation
npm install
cd client && npm install && cd ..
cd server && npm install && cd ..
npx tsc -b
Then open the project with code . and press F5 to test.
Usage
Create a file with the .mi extension and write Miranda code.
Example:
-- Guarded equations
gcd a b = gcd (a-b) b, if a>b
= gcd a (b-a), if a<b
= a, if a=b
-- List comprehension
squares = [ n*n | n <- [1..100] ]
-- Algebraic type
tree ::= Nilt | Node num tree tree
Technical Reference
See docs/technical-reference.md for the detailed reference of the LSP server, parser, lexer, and type checker.