Mastodawn

Askar Safin Jul 4, 2024

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

Instructions — WebAssembly 2.0 (Draft 2024-07-02)

Mr. Pataphor, Dadaist Dad May 9, 2023

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/

Technoetic Arts Journal Apr 9, 2023

'Any person who has language has the ability to understand the self-reflexive nature of language, and hence is, in her fluency, an expert in reflexivity. If we do not understand this, it is only because social and educational customs and prohibitions have placed blinders on our natural motion in thought and speech.' (Kauffman 2021)

https://ta.pubpub.org/pub/19-1-2-kauffman

#language #metalanguage #selfreference #cybernetics #recursion #observer #participant

19.1-2 | Global Conversation | Louis H. Kauffman

Reflections on reflexivity

Technoetic Arts

Webosoof Feb 16, 2023

Toki Pona and Constructed Semantic Metalanguage (CSM)
jansegers — September 16, 2018

https://fediverse.blog/~/TokiPonaAConl[email protected]/toki-pona-and-constructed-semantic-metalanguage-csm

#TokiPona #CSM #ConstructedSemanticMetalanguage #métalanguage #sona_toki

Toki Pona and Constructed Semantic Metalanguage (CSM)

Show thread

yottalogical Jan 24, 2023

@tymwol There's a reason why the last two letters of OCaml are there. It's based off of #MetaLanguage, a programming language that's good for implementing programming languages.

There's a reason #Rust was originally implemented in OCaml.

The whale Feb 5, 2021

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]