Liyad (Lisp yet another DSL interpreter) is very small Lisp interpreter written in JavaScript.
npm install liyadbash
$ npm install liyad --save
`
or download UMD from release page.
> NOTICE:
> Use with webpack >= 5
>
> If you get the error:
>
> `
> Module not found: Error: Can't resolve '(importing/path/to/filename)'
> in '(path/to/node_modules/path/to/dirname)'
> Did you mean '(filename).js'?
>
> Add following setting to your webpack.config.js.
>
> `js
> {
> test: /\.m?js/,
> resolve: {
> fullySpecified: false,
> },
> },
> `
>
> On webpack >= 5, the extension in the request is mandatory for it to be fully specified
> if the origin is a '.mjs' file or a '.js' file where the package.json contains '"type": "module"'.
Install CLI
See liyad-cli .
`bash
$ npm install -g liyad-cli
$ liyad
`
Playground
https://shellyln.github.io/liyad/playground.html
----
Features
* APIs to customize all operators and macros
* Builtin S-expression parser
* Builtin minimal Lisp interpreter
* Reference implementation of LSX (alternative JSX notation using Lisp)
----
Real world examples
* Ménneu
Component-based extensible document processor
* mdne - Markdown Neo Edit
A simple markdown and code editor powered by Markdown-it, Ace and Carlo.
* Tynder
TypeScript friendly Data validator for JavaScript.
----
What is LSX
LSX is an alternative JSX notation using Lisp.
$3
* No transpiler needed
+ Liyad uses ES6 template literal syntax.
You don't pass the entire code to transpile and evaluate it.
Save your coding times.
* Secure execution for untrusted contents
+ No host environment's symbols are accessible from evaluated user contents by default.
Malicious codes can not make a serious attack.
* Simple and powerful
+ What you can do with JSX can be done with LSX.
Plus, LSX itself is a complete data description format
and is a complete programming language,
so you can write more concise and powerful.
The LSX runtime directly calls React.createElement
(or a JSX Factory function such as
RedAgate,
Vue.js, etc.) as a Lisp function,
Convert a Lisp list to a renderer component object tree.
In order to resolve the renderer component, you must register the object's constructor with the LSX runtime in advance.
All unresolved lisp function symbols are dispatched to React.createElement('some_unresolved_name', ...).
You can declare HTML/XML standard tags.
As with JSX, LSX must always return a single component.
Using Template Lisp function instead of JSX Fragment tag will produce the same result.
$3
`ts
lsx
;
`
$3
Playground's
source code
is written in LSX.
----
Usage
$3
`ts
import { S } from 'liyad';
console.log(
JSON.stringify(S
// You can also parse by calling w/o template literal syntax as following:
// S(' ... ')
)
);
`
Output:
`json
[{"symbol":"$list"},1,2,3,"a","b","C",[{"symbol":"$list"},4,5,6],{"value":"X"},{"value":["Y","Z"]}]
`
$3
`ts
import { lisp } from 'liyad';
console.log(
JSON.stringify(lisp
// You can also evaluate by calling w/o template literal syntax as following:
// lisp(' ... ')
)
);
`
Output:
`json
[1,2,6,"a","b","c",[4,5,720,"X",["Y","Z"]]]
`
$3
`ts
import * as React from 'react';
import * as ReactDOM from 'react-dom';
import { LSX } from 'liyad';
var lsx = null;
const exampleCodes = [{
name: "Example1: factorial",
code: ...
}, {
name: "Example2: Hello, World!",
code: ... ,
}];
class ExampleLoader extends React.Component {
constructor(props, context) {
super(props, context);
this.state = {};
}
handleExampleSelected(i) {
this.props.loadExample(i);
}
render() {
return (lsx
);
}
}
class App extends React.Component {
constructor(props, context) {
super(props, context);
this.state = {};
}
loadExample(i) {
console.log(exampleCodes[i].code);
}
render() {
return (lsx
);
}
}
var lsx = LSX({
jsx: React.createElement,
jsxFlagment: React.Fragment,
components: {
ExampleLoader,
App,
},
});
ReactDOM.render(lsx(App), document.getElementById('app'));
`
$3
`ts
import { SxFuncInfo,
SxMacroInfo,
SxSymbolInfo,
SExpression,
SxParserConfig,
defaultConfig,
installCore,
installArithmetic,
installSequence } from 'liyad';
const myOperators: SxFuncInfo[] = [{
name: '$__defun',
fn: (state: SxParserState, name: string) => (...args: any[]) => {
// S expression: ($__defun 'name '(sym1 ... symN) 'expr ... 'expr)
// -> S expr : fn
const car: SxSymbol = $$first(...args);
if (args.length < 3) {
throw new Error([SX] $__defun: Invalid argument length: expected: ${3} / args: ${args.length}.);
}
const fn = $__lambda(state, name)(...args.slice(1));
state.funcMap.set(car.symbol, {
name: car.symbol,
fn: (st, nm) => fn
});
return fn;
},
}];
const myMacros: SxMacroInfo[] = [{
name: '$defun',
fn: (state: SxParserState, name: string) => (list) => {
// S expression: ($defun name (sym1 ... symN) expr ... expr)
// -> S expr : ($__defun 'name '(sym1 ... symN) 'expr ... 'expr)
return [{symbol: '$__defun'},
...(list.slice(1).map(x => quote(state, x))),
];
},
}];
const mySymbols: SxSymbolInfo[] = [
{name: '#t', fn: (state: SxParserState, name: string) => true}
];
export const MyDSL = (() => {
let config: SxParserConfig = Object.assign({}, defaultConfig);
config = installCore(config);
config = installArithmetic(config);
config = installSequence(config);
config.stripComments = true;
config.funcs = (config.funcs || []).concat(myOperators);
config.macros = (config.macros || []).concat(myMacros);
config.symbols = (config.symbols || []).concat(mySymbols);
return SExpression(config);
})();
console.log(
JSON.stringify(MyDSL( ... ))
);
`
----
Extended syntax
----
$3
`lisp
This is a line comment
(# ; <-- This is a object literal, not a line comment
)
; This is a line comment
#|
This is a block comment
|#
`
----
$3
#### lisp preset interpreter:
`lisp
"""
Hello, Liyad!
"""
`
is equivalent to:
`lisp
($concat
"
Hello, Liyad!
"
)
`
#### LSX preset interpreter:
`lisp
"""
Hello, Liyad!
"""
`
is equivalent to:
`lisp
(Template
"
Hello, Liyad!
"
)
`
> Template on the LSX preset interpreter, it is mapped to the function passed by LsxConfig.JsxFragment.
> See also: Fragments (React), Template (RedAgate).
----
$3
`lisp
"""
Hello, %%%($get name)!
"""
`
is equivalent to:
`lisp
(Template
"
Hello, " ($get name) "!
"
)
`
----
$3
`lisp
"""div
Hello, %%%($get name)!
"""
`
is equivalent to:
`lisp
(div
"
Hello, " ($get name) "!
"
)
`
$3
`lisp
"""div@{(id "123") (class "foo bar baz")}
Hello, %%%($get name)!
"""
`
is equivalent to:
`lisp
(div (@ (id "123") (class "foo bar baz"))
"
Hello, " ($get name) "!
"
)
`
----
$3
`lisp
($list 1 2 ...($concat (3 4) (5 6)) 7 8)
`
is equivalent to:
`lisp
($list 1 2 ($spread ($concat (3 4) (5 6))) 7 8)
`
and is to be:
`json
[1,2,3,4,5,6,7,8]
`
$spread is NOT a macro. The list passed as a parameter is spliced after evaluation.
----
$3
`lisp
($list 1 2 3 4 ($splice (5 6 7 8)) 9 10)
`
is equivalent to:
`lisp
($list 1 2 3 4 5 6 7 8 9 10)
`
`lisp
(($splice ($call x add)) 5 7)
`
is equivalent to:
`lisp
($call x add 5 7)
`
----
$3
#### $set
`lisp
(::foo:bar:baz= 7)
`
is equivalent to:
`lisp
($set ("foo" "bar" "baz") 7)
`
#### $get
`lisp
($list ::foo:bar:baz)
`
is equivalent to:
`lisp
($list ($get "foo" "bar" "baz"))
`
#### $call
`lisp
(::foo:bar@baz 3 5 7)
`
is equivalent to:
`lisp
($call ($get "foo" "bar") baz 3 5 7)
`
----
$3
`lisp
($defun f (x ...y)
($list x y) )
($list
(f 1)
(f 1 2)
(f 1 2 3)
(f 1 2 3 4)
(f 1 2 3 4 5) )
`
is to be:
`json
[
[1,[]],
[1,[2]],
[1,[2,3]],
[1,[2,3,4]],
[1,[2,3,4,5]]
]
`
----
$3
Verbatim string literal
`lisp
($last @"c:\documents\files\u0066.txt")
`
is to be:
`json
"c:\\documents\\files\\u0066.txt"
`
Normal string literal
`lisp
($last "c:\documents\files\u0066.txt")
`
is to be:
`json
"c:documents\filesf.txt"
`
----
$3
`lisp
(# (foo "a")
(bar 10)
(baz) )
`
is to be:
`json
{
"foo": "a",
"bar": 10,
"baz": true
}
`
----
$3
`lisp
($list nil null undefined)
`
is to be:
`js
[[], null, undefined]
`
See this.
----
$3
`lisp
($defun fn(x) (+ x 1))
($let x (<- fn))
(x 3) ;; 4
`
> Liyad is Lisp-2 language.
----
$3
Lambda
`lisp
($let fn (-> (x y z) (+ x y z)))
(fn 1 2 3) ;; 6
`
> $lambda is synonym of ->.
Closure
`lisp
($let fn ($local ((a 1)(b 2)(c 3))
(|-> (x y z) use (a b c)
($set a (+ a x))
($set b (+ b y))
($set c (+ c z))
(+ a b c) )))
(fn 1 2 3) ;; 12
(fn 1 2 3) ;; 18
`
> $closure is synonym of |->.
is equivalent to:
`lisp
($let fn ($local ((a 1)(b 2)(c 3))
($capture (a b c) (-> (x y z)
($set a (+ a x))
($set b (+ b y))
($set c (+ c z))
(+ a b c) ))))
(fn 1 2 3) ;; 12
(fn 1 2 3) ;; 18
`
> $capture can also be used with $defun.
----
$3
`lisp
($defun tarai(x y z)
($if (<= x y)
y
($self ($self (- x 1) y z)
($self (- y 1) z x)
($self (- z 1) x y) )))
`
> $self refers to the function currently defined by $defun or ->.
----
$3
`lisp
($defmacro FOR (!i <[> s e <]> ...body)
($last
#### Parameter type checking
|formal parameter |constraint|
|------------------|----------|
|!_token_ |parameter should be symbol
|<_token_> |parameter should be symbol named token
|_token_:number |parameter should be number
|_token_:string |parameter should be string
|_token_:function|parameter should be function
|_token_:list |parameter should be list
|_token_:symbol |parameter should be symbol
> Don't put spaces between ! < > :type and _token_.
> Type checking checks formal parameter types before evaluation.
> Macro can be overloaded with the same macro name but different numbers of formal parameters.
----
$3
`lisp
($let fn (-> () $this))
($let xx (# (a 3)
(b 5)
(f fn) ))
($json-stringify (::xx@f)) ;; {"a":3,"b":5}
`
----
$3
|interpreting|compiling| |
|------------|---------|-|
|$defun |$$defun |define the function
|$lambda |$$lambda |define the lambda
|-> |=> |define the lambda
|$closure |$$closure|define the closure
|\|-> |\|=> |define the closure
----
APIs
$3
Create a new DSL.
`ts
interface SxParserConfig {
raiseOnUnresolvedSymbol: boolean;
enableEvaluate: boolean;
enableHereDoc: boolean;
enableSpread: boolean;
enableSplice: boolean;
enableShorthands: boolean;
enableVerbatimStringLiteral: boolean;
enableTailCallOptimization: boolean;
enableRegExpMatchOperator: true, // IMPORTANT: Turn off to prevent ReDoS when executing untrusted code
enableCompilationOperators: boolean; // IMPORTANT: Turn off to prevent DoS when executing untrusted code
stripComments: boolean;
wrapExternalValue: boolean;
reservedNames: SxReservedNames;
returnMultipleRoot: boolean;
maxEvalCount: number; // IMPORTANT: Set positive value to prevent DoS when executing untrusted code
jsx?: (comp: any, props: any, ...children: any[]) => any;
JsxFragment?: any;
funcs: SxFuncInfo[];
macros: SxMacroInfo[];
symbols: SxSymbolInfo[];
funcSymbolResolverFallback?: SxFunc;
valueSymbolResolverFallback?: SxSymbolResolver;
}
function SExpression(config: SxParserConfig): (strings: TemplateStringsArray | string, ...values?: any[]) => SxToken
`
* returns : Template literal function.
* config : Parser config.
----
$3
Parse a S-expression.
`ts
function S(strings: TemplateStringsArray | string, ...values?: any[]): SxToken
`
* returns : S-expression parsing result as JSON object.
* strings : Template strings.
* values : values.
----
$3
Evaluate a Lisp code.
`ts
function lisp(strings: TemplateStringsArray | string, ...values?: any[]): SxToken
`
* returns : Evalueting result value of Lisp code.
* If input Lisp code has multiple top level parenthesis,
result value is last one.
* strings : Template strings.
* values : values.
----
$3
Evaluate a Lisp code.
(asynchronous features are enabled.)
`ts
function lisp_async(strings: TemplateStringsArray | string, ...values?: any[]): Promise
`
* returns : Promise that evalueting result value of Lisp code.
* If input Lisp code has multiple top level parenthesis,
result value is last one.
* strings : Template strings.
* values : values.
----
$3
Evaluate a Lisp code (returns multiple value).
`ts
function LM(strings: TemplateStringsArray | string, ...values?: any[]): SxToken
`
* returns : Evalueting result value of lisp code.
* If input Lisp code has multiple top level parenthesis,
result value is array.
* strings : Template strings.
* values : values.
----
$3
Evaluate a Lisp code (returns multiple value).
(asynchronous features are enabled.)
`ts
function LM_async(strings: TemplateStringsArray | string, ...values?: any[]): Promise
`
* returns : Promise that evalueting result value of lisp code.
* If input Lisp code has multiple top level parenthesis,
result value is array.
* strings : Template strings.
* values : values.
----
$3
Evaluate a Lisp code as LSX.
`ts
interface LsxConfig {
jsx: (comp: any, props: any, ...children: any[]) => any;
jsxFlagment: any;
components: object;
}
function LSX(lsxConf: LsxConfig): (strings: TemplateStringsArray, ...values: any[]) => R
`
* returns : Template literal function.
* lsxConf : LSX config.
----
$3
Evaluate a Lisp code as LSX.
(asynchronous features are enabled.)
`ts
interface LsxConfig {
jsx: (comp: any, props: any, ...children: any[]) => any;
jsxFlagment: any;
components: object;
}
function LSX_async(lsxConf: LsxConfig): (strings: TemplateStringsArray, ...values: any[]) => Promise
`
* returns : Template literal function.
* lsxConf : LSX config.
$3
#### evaluateAST
`ts
evaluateAST(ast: SxToken[]): SxToken;
`
* returns : evaluation result value.
* ast : AST to evaluate. it should be enclosed in [].
`ts
lisp.evaluateAST([[{symbol: '+'}, 1, 2 ,3]]); // 6
`
#### repl
`ts
repl(): SExpressionTemplateFn;
`
* returns : Template literal function that will keep variables and states for each evaluation.
#### setGlobals
`ts
setGlobals(globals: object): SExpressionTemplateFn;
`
* returns : myself (template literal function).
* globals : Global variables to preset.
#### appendGlobals
`ts
appendGlobals(globals: object): SExpressionTemplateFn;
`
* returns : myself (template literal function).
* globals : Global variables to preset.
#### setStartup
`ts
setStartup(strings: TemplateStringsArray | string, ...values: any[]): SExpressionTemplateFn;
`
* returns : myself (template literal function).
* strings : Startup code that evaluate before each evaluation of user code.
#### setStartupAST
`ts
setStartupAST(ast: SxToken[]): SExpressionTemplateFn;
`
* returns : myself (template literal function).
* ast : Startup code AST that evaluate before each evaluation of user code.
#### appendStartup
`ts
appendStartup(strings: TemplateStringsArray | string, ...values: any[]): SExpressionTemplateFn;
`
* returns : myself (template literal function).
* strings : Startup code that evaluate before each evaluation of user code.
#### appendStartupAST
`ts
appendStartupAST(ast: SxToken[]): SExpressionTemplateFn;
`
* returns : myself (template literal function).
* ast : Startup code AST that evaluate before each evaluation of user code.
#### install
`ts
install(installer: (config: SxParserConfig) => SxParserConfig): SExpressionTemplateFn;
`
* returns : myself (template literal function).
* installer : Installer function that register the operators, macros, constants to the config object.
$3
Run script tags.
`ts
function runScriptTags(
lisp: SExpressionTemplateFn | SExpressionAsyncTemplateFn,
globals?: object,
contentType = 'text/lisp')
`
* returns : Evaluation result.
* lisp : Evaluater function.
* globals : Global variables.
* contentType : Content type attribute of script tags.
Usage:
`html
`
----
Tree shaking (webpack)
You can benefit from tree shaking by importing ES module separated files.
| Import path | Description |
|-------------------------------------------------|----------------|
| liyad/modules | Entire library |
| liyad/modules/s-exp/types | Type definitions |
| liyad/modules/s-exp/interpreter | Interpreter DIY APIs SExpression, SExpressionAsync |
| liyad/modules/s-exp/interpreter/presets/s-exp | Preset s-expression parser S |
| liyad/modules/s-exp/interpreter/presets/lisp | Preset interpreters lisp, lisp_async, LM, LM_async |
| liyad/modules/s-exp/interpreter/presets/lsx | Preset interpreters LSX, LSX_async |
| liyad/modules/s-exp/operators/core | Core operators |
| liyad/modules/s-exp/operators/arithmetic | Arithmetic operators |
| liyad/modules/s-exp/operators/sequence | Sequence operators |
| liyad/modules/s-exp/operators/concurrent | Concurrent operators |
| liyad/modules/s-exp/operators/jsx | JSX (LSX) operators |
> NOTICE: liyad/modules/* are not babelized. These are output as ES2015` by tsc.