Skip to content

ddawnlll/hapl-vscode

Repository files navigation

HAPL (HOLY Abstractive Programming Language)

VS Code language support for HAPL (HOLY Abstractive Programming Language) — an abstractive programming language focused on semantic correctness (abstractions, contracts, semantic types, and pipeline operators).

This extension currently provides:

  • Syntax highlighting

  • Basic editor language configuration (comments, brackets, auto-closing pairs, indentation, folding)

Features

  • Syntax highlighting for HAPL keywords (e.g., abstraction, bind, lambda, function, requires, ensures, match)

  • Highlighting for operators, including pipeline operators (|>, <|, |->, |>>, |=>, |>=, <->)

Comment support:

  • Line comments: # ...

  • Block comments: ### ... ###

  • Doc comments: #d# ... #d#

  • Bracket matching + auto-closing for {}, [], (), and ""

Example:

# Example HAPL
abstraction temperature of Celsius = 25.0

abstraction square of lambda x of Int -> Int: x * x

###
Block comment
###

match option:
    | Some(x) -> x
    | None -> 0

Requirements

No requirements.

Extension Settings

No settings yet.

Known Issues

Indentation and folding rules are heuristic-based (regex) and may need tuning for some formatting styles.

Syntax highlighting is TextMate-based; it may mis-highlight in complex nested cases until the grammar is expanded.

Release Notes

- 0.0.1

Initial release: syntax highlighting + language configuration.

About

hapl vscode extension

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors