| \documentclass{article} | |
| \usepackage[utf8]{inputenc} | |
| \usepackage[italian]{babel} | |
| \usepackage{libertine} | |
| \usepackage{libertinust1math} | |
| \usepackage[T1]{fontenc} | |
| \usepackage{titlesec} |
This is the actual definition of the custom VM to run web bytecode.
The various options for the VM are:
Nah, let's go for the stack based one that seems decent. So one bytecode can be one of the following operation
| (A number := 12) | |
| (A bit of text := "Here there is some text") | |
| (println (join (A bit of text) " and the number " (A number))) | |
| (Sum of things := ((A number) + 5)) | |
| (i, j := (tuple of 12 and 16)) |
| Expression | |
| = _ expression:(BinaryExpression / Macro / UnaryExpression / BraceBlock / Value) _ { | |
| return expression; | |
| } | |
| ArgBlock | |
| = BraceBlock / BracketBlock | |
| BracketBlock |
A prototype for an image with a progress bar that show the progress of download of the image.
First create an HeavyImage instance with the target URL and then place the internal
element somewhere on the page using theImage.$element and when ready stard downloading
the image with theImage.load().
| // Copyright Antonio De Lucreziis 2018 | |
| /* | |
| A simple PEGjs parser for a basic custom type system (Parses primitive types, generics (lowcase symbols), arrays (haskell way), functions (args are comma separated and after a right arrow there is a return type) and union types). | |
| Can be tried out here https://pegjs.org/online | |
| */ |
| vec4 stroke(float distance, float linewidth, float antialias, vec4 stroke) | |
| { | |
| float t = linewidth / 2.0 - antialias; | |
| float signed_distance = distance; | |
| float border_distance = abs(signed_distance) - t; | |
| float alpha = border_distance / antialias; | |
| alpha = exp(-alpha * alpha); | |
| if( border_distance < 0.0 ) |
| const structuralReplace = (string, pattern, replacer) => { | |
| if (typeof string === 'string') { | |
| const acc = []; | |
| let m; | |
| let prevIndex = 0; | |
| while (m = pattern.exec(string)) { |
| // Haskell-Like Type Syntax | |
| // for Fragment Editor | |
| // ======================== | |
| // | |
| start | |
| = Type | |
| Type | |
| = NamedType / ArrayType / ObjectType |