#metalanguage — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #metalanguage, aggregated by home.social.
-
Best programming language and bytecode specifications. (By their rigidness)
- SML (just go read it, it is mathematical article)
- Webassembly (for example: https://webassembly.github.io/spec/core/valid/instructions.html#xref-syntax-instructions-syntax-instr-control-mathsf-if-xref-syntax-instructions-syntax-blocktype-mathit-blocktype-xref-syntax-instructions-syntax-instr-mathit-instr-1-ast-xref-syntax-instructions-syntax-instr-control-mathsf-else-xref-syntax-instructions-syntax-instr-mathit-instr-2-ast-xref-syntax-instructions-syntax-instr-control-mathsf-end )
- Ecmascript (see my summary: https://github.com/rust-lang/rfcs/pull/3355#issuecomment-1385713351 )
#sml #metalanguage #webasm #wasm #webassembly #ecma #ecmascript #javascript #js
-
Best programming language and bytecode specifications. (By their rigidness)
- SML (just go read it, it is mathematical article)
- Webassembly (for example: https://webassembly.github.io/spec/core/valid/instructions.html#xref-syntax-instructions-syntax-instr-control-mathsf-if-xref-syntax-instructions-syntax-blocktype-mathit-blocktype-xref-syntax-instructions-syntax-instr-mathit-instr-1-ast-xref-syntax-instructions-syntax-instr-control-mathsf-else-xref-syntax-instructions-syntax-instr-mathit-instr-2-ast-xref-syntax-instructions-syntax-instr-control-mathsf-end )
- Ecmascript (see my summary: https://github.com/rust-lang/rfcs/pull/3355#issuecomment-1385713351 )
#sml #metalanguage #webasm #wasm #webassembly #ecma #ecmascript #javascript #js
-
Best programming language and bytecode specifications. (By their rigidness)
- SML (just go read it, it is mathematical article)
- Webassembly (for example: https://webassembly.github.io/spec/core/valid/instructions.html#xref-syntax-instructions-syntax-instr-control-mathsf-if-xref-syntax-instructions-syntax-blocktype-mathit-blocktype-xref-syntax-instructions-syntax-instr-mathit-instr-1-ast-xref-syntax-instructions-syntax-instr-control-mathsf-else-xref-syntax-instructions-syntax-instr-mathit-instr-2-ast-xref-syntax-instructions-syntax-instr-control-mathsf-end )
- Ecmascript (see my summary: https://github.com/rust-lang/rfcs/pull/3355#issuecomment-1385713351 )
#sml #metalanguage #webasm #wasm #webassembly #ecma #ecmascript #javascript #js
-
Best programming language and bytecode specifications. (By their rigidness)
- SML (just go read it, it is mathematical article)
- Webassembly (for example: https://webassembly.github.io/spec/core/valid/instructions.html#xref-syntax-instructions-syntax-instr-control-mathsf-if-xref-syntax-instructions-syntax-blocktype-mathit-blocktype-xref-syntax-instructions-syntax-instr-mathit-instr-1-ast-xref-syntax-instructions-syntax-instr-control-mathsf-else-xref-syntax-instructions-syntax-instr-mathit-instr-2-ast-xref-syntax-instructions-syntax-instr-control-mathsf-end )
- Ecmascript (see my summary: https://github.com/rust-lang/rfcs/pull/3355#issuecomment-1385713351 )
#sml #metalanguage #webasm #wasm #webassembly #ecma #ecmascript #javascript #js
-
Best programming language and bytecode specifications. (By their rigidness)
- SML (just go read it, it is mathematical article)
- Webassembly (for example: https://webassembly.github.io/spec/core/valid/instructions.html#xref-syntax-instructions-syntax-instr-control-mathsf-if-xref-syntax-instructions-syntax-blocktype-mathit-blocktype-xref-syntax-instructions-syntax-instr-mathit-instr-1-ast-xref-syntax-instructions-syntax-instr-control-mathsf-else-xref-syntax-instructions-syntax-instr-mathit-instr-2-ast-xref-syntax-instructions-syntax-instr-control-mathsf-end )
- Ecmascript (see my summary: https://github.com/rust-lang/rfcs/pull/3355#issuecomment-1385713351 )
#sml #metalanguage #webasm #wasm #webassembly #ecma #ecmascript #javascript #js
-
A Short Introduction to ‘Asemic Poetry’ as Meta-Language
Very academic - lots of terminology/jargon, but there is some useful information in the article, for those interested in #Asemic compositions. Includes research resources and examples of various forms of asemic art.#AsemicPoetry #AsemicArt #AsemicWriting #Semiotics #MetaLanguage #Typography #Vispo #VisualPoetry
https://www.utsanga.it/betancourt-a-short-introduction-to-asemic-poetry-as-metalanguage/
-
ReScript - ReScript is the language for folks who don't necessarily love JavaScript, but who still acknowledge its importance. ReScript looks like JavaScript, works like... https://rescript-lang.org/ #Front #JavaScript #Compilation #MetaLanguage #ReScript by @[email protected]
