datra

Datra

A WIP language spec for a data transformation language. Read the primer.

Code Example

Hello World

"Hello, world!"

Dependent Identifiers

double :: x of Int -> Int := 2 * x
myfunc :: {x of "x[double]" : Int, y of "y[double]" : Int} -> Int
    := 2 * x + y
    
mynum := myfunc(y4 := 2, x6 := 3) # := 8
# mynum := myfunc(x7 := 3, y6 := 4) # does not compile!