A typeclass based language that compiles to JavaScript
Starting with a program in a file ending '.zs':
let id2 = (x) =>
let id = (x) => (x,x)
let id3 = (x) => id(x)
let y = id(x)
return id3(y)
id2(42)Compile using:
node src/compiler.js t1.zs
This will output a JavaScript file called t1.js
var id2 = function(x) {
var id = function(x) {
return [x/*{x : t0} t0*/ , x/*{x : t1} t1*/ ]/*{x : t0 & t1} Product<t0, t1>*/ ;
};
var id3 = function(x) {
return id/*{id : t2} t2*/ (x/*{x : t3} t3*/ )/*{x : t3} Product<t3>*/ ;
};
var y = id/*{id : t4} t4*/ (x/*{x : t5} t5*/ )/*{x : t5} Product<t5>*/ ;
return id3/*{id3 : t6} t6*/ (y/*{y : t7} t7*/ )/*{y : t7} Product<t7>*/ ;
};
id2/*{id2 : t8} t8*/ (42/*Int*/ )/*Product<Int>*/ and dump the AST into t1.ast.
{
"status": true,
"value": {
"tag": "block",
"statements": [
{
"tag": "declaration",
"name": "id2",
"expression": {
"tag": "function",
"name": "",
"args": [
"x"
],
"body": {
"tag": "block",
"statements": [
{
"tag": "declaration",
"name": "id",
"expression": {
"tag": "function",
"name": "",
"args": [
"x"
],
"body": {
"tag": "return",
"expression": {
"tag": "literal_tuple",
"expressions": [
{
"tag": "variable",
"name": "x",
"typing": {
"tag": "typing",
"context": {
"x": [
{
"tag": "type_variable",
"id": 0
}
]
},
"type": {
"tag": "type_variable",
"id": 0
}
}
},
{
"tag": "variable",
"name": "x",
"typing": {
"tag": "typing",
"context": {
"x": [
{
"tag": "type_variable",
"id": 1
}
]
},
"type": {
"tag": "type_variable",
"id": 1
}
}
}
],
"typing": {
"tag": "typing",
"context": {
"x": [
{
"tag": "type_variable",
"id": 0
},
{
"tag": "type_variable",
"id": 1
}
]
},
"type": {
"tag": "type_constructor",
"constructor": "Product",
"params": [
{
"tag": "type_variable",
"id": 0
},
{
"tag": "type_variable",
"id": 1
}
]
}
}
}
}
}
},
{
"tag": "declaration",
"name": "id3",
"expression": {
"tag": "function",
"name": "",
"args": [
"x"
],
"body": {
"tag": "return",
"expression": {
"tag": "application",
"fun": {
"tag": "variable",
"name": "id",
"typing": {
"tag": "typing",
"context": {
"id": [
{
"tag": "type_variable",
"id": 2
}
]
},
"type": {
"tag": "type_variable",
"id": 2
}
}
},
"arg": {
"tag": "literal_tuple",
"expressions": [
{
"tag": "variable",
"name": "x",
"typing": {
"tag": "typing",
"context": {
"x": [
{
"tag": "type_variable",
"id": 3
}
]
},
"type": {
"tag": "type_variable",
"id": 3
}
}
}
],
"typing": {
"tag": "typing",
"context": {
"x": [
{
"tag": "type_variable",
"id": 3
}
]
},
"type": {
"tag": "type_constructor",
"constructor": "Product",
"params": [
{
"tag": "type_variable",
"id": 3
}
]
}
}
}
}
}
}
},
{
"tag": "declaration",
"name": "y",
"expression": {
"tag": "application",
"fun": {
"tag": "variable",
"name": "id",
"typing": {
"tag": "typing",
"context": {
"id": [
{
"tag": "type_variable",
"id": 4
}
]
},
"type": {
"tag": "type_variable",
"id": 4
}
}
},
"arg": {
"tag": "literal_tuple",
"expressions": [
{
"tag": "variable",
"name": "x",
"typing": {
"tag": "typing",
"context": {
"x": [
{
"tag": "type_variable",
"id": 5
}
]
},
"type": {
"tag": "type_variable",
"id": 5
}
}
}
],
"typing": {
"tag": "typing",
"context": {
"x": [
{
"tag": "type_variable",
"id": 5
}
]
},
"type": {
"tag": "type_constructor",
"constructor": "Product",
"params": [
{
"tag": "type_variable",
"id": 5
}
]
}
}
}
}
},
{
"tag": "return",
"expression": {
"tag": "application",
"fun": {
"tag": "variable",
"name": "id3",
"typing": {
"tag": "typing",
"context": {
"id3": [
{
"tag": "type_variable",
"id": 6
}
]
},
"type": {
"tag": "type_variable",
"id": 6
}
}
},
"arg": {
"tag": "literal_tuple",
"expressions": [
{
"tag": "variable",
"name": "y",
"typing": {
"tag": "typing",
"context": {
"y": [
{
"tag": "type_variable",
"id": 7
}
]
},
"type": {
"tag": "type_variable",
"id": 7
}
}
}
],
"typing": {
"tag": "typing",
"context": {
"y": [
{
"tag": "type_variable",
"id": 7
}
]
},
"type": {
"tag": "type_constructor",
"constructor": "Product",
"params": [
{
"tag": "type_variable",
"id": 7
}
]
}
}
}
}
}
]
}
}
},
{
"tag": "application",
"fun": {
"tag": "variable",
"name": "id2",
"typing": {
"tag": "typing",
"context": {
"id2": [
{
"tag": "type_variable",
"id": 8
}
]
},
"type": {
"tag": "type_variable",
"id": 8
}
}
},
"arg": {
"tag": "literal_tuple",
"expressions": [
{
"tag": "literal_int",
"value": 42,
"typing": {
"tag": "typing",
"context": {},
"type": {
"tag": "type_constructor",
"constructor": "Int",
"params": []
}
}
}
],
"typing": {
"tag": "typing",
"context": {},
"type": {
"tag": "type_constructor",
"constructor": "Product",
"params": [
{
"tag": "type_constructor",
"constructor": "Int",
"params": []
}
]
}
}
}
}
]
}
}You can then evaluate the program using:
node src/eval.js t1.js
This program should return:
[ [ 42, 42 ], [ 42, 42 ] ]