Dice Syntax Highlighter

Provides syntax highlighting for the probabilistic programming language Dice.

Installation

This extension is not on VS Code Marketplace as of right now. You can install it manually by downloading the release and running:

$ code --install-extension dice-vs-code-1.0.1.vsix

Features

Syntax Highlighting for Dice, based on the current syntax:

ident := ['a'-'z' 'A'-'Z' '_'] ['a'-'z' 'A'-'Z' '0'-'9' '_']*
binop := +, -, *, /, <, <=, >, >=, ==, !=, &&, ||, <=>, ^

expr := 
   (expr)
   | true
   | false
   | int (size, value)
   | discrete(list_of_probabilities) 
   | expr <binop> expr
   | (expr, expr)
   | fst expr
   | snd expr
   | ! expr
   | flip probability
   | observe expr
   | if expr then expr else expr
   | let ident = expr in expr

type := bool | (type, type) | int(size)
arg := ident: type
function := fun name(arg1, ...) { expr }

program := expr 
        | function program

as well as for comments.

Technical Details

Comments

Lines beginning with // are mapped to comment.line

Constants

true and false are mapped to constant.language
numbers (integers and floats) are mapped to constant.numeric

Operators

Binops are mapped to keyword.operator.binop
!, fst, and snd are mapped to keyword.operator.unop

Variables

Idents are mapped to variable.name

Control

if-then-else and let-in are mapped to keyword.control.[if/then/else/let/in]

Functions

keyword fun is mapped to keyword.other.function
function name is mapped to entity.name.function
parameters are mapped to variable.name
types are mapped to entity.name.type

Probability Related Keywords

observe is mapped to keyword.other.probability.observe
int(size,value) is mapped to keyword.other.probability.int
discrete(probabilities) is mapped to keyword.other.probability.discrete
flip probability is mapped to keyword.other.probability.flip

Punctuation

Punctuations (that aren't operators) are mapped to punctuation.[punctuation-name].[open/close]
Includes: ()[]{},

ellieyhcheng/dice-vs-code