Skip to main content

Module formalizer

Module formalizer 

Source
Expand description

Formalizes a shell script as a meta-language links network.

This is the first half of the translation pipeline the way link-foundation/meta-language models it: source text becomes a network of typed links (LinkType::Syntax nodes over LinkType::Token leaves). The second half — super::rules plus super::engine — rewrites that network into JavaScript purely by substitution rules.

Structs§

DeclaredNames
The variable names a script binds, split by how they must be declared in JavaScript.
Formalization
A formalized shell script.

Constants§

SHELL_LANGUAGE
The language name used for every shell link in the network.

Functions§

formalize_shell
Formalizes shell source as a links network.
shell_profile
The capability profile of the shell dialect this translator formalizes.