fez-lisp 1.5.169 → 1.5.171

package/README.md

@@ -1,7 +1,7 @@
 # Fez Programming Language
 
 <p align="center">
-<img width="128" src="./logo.svg"/>
+<img width="128" src="./favicon.svg"/>
 </p>
 
 ```lisp
@@ -37,3 +37,10 @@ import { parse, compile } from 'fez-lisp'
 console.log(compile(parse('(+ 1 2)')))
 // '(()=>{;return(()=>{return (1+2);})()})()'
 ```
+
+```js
+import { parse, fez } from 'fez-lisp'
+const parsed = parse(`(|> [ 1 2 3 4 ] (math:map math:square) (math:summation))`)
+const [result, error] = fez(parsed, false)
+error == null ? console.log(result) : console.log('\x1b[31m', error, '\x1b[0m')
+```

package/index.js

@@ -1,7 +1,7 @@
 import { evaluate } from './src/evaluator.js'
 import { compile } from './src/compiler.js'
-import { parse, UTILS } from './src/utils.js'
+import { parse, fez, UTILS } from './src/utils.js'
 import { LISP, AST } from './src/parser.js'
 import { type } from './src/check.js'
 import { enhance } from './src/enhance.js'
-export { parse, evaluate, compile, type, enhance, LISP, AST, UTILS }
+export { parse, evaluate, compile, type, enhance, fez, LISP, AST, UTILS }

package/lib/baked/std-T.js

@@ -1 +1 @@
-export default [[[0,"let"],[1,"math:map"],[[0,"lambda"],[1,"Numbers"],[[0,"lambda"],[1,"Number"],[[0,"do"],[1,"Number"]]],[[0,"do"],[1,"Numbers"]]]],[[0,"let"],[1,"math:select"],[[0,"lambda"],[1,"Numbers"],[[0,"lambda"],[1,"Number"],[[0,"do"],[1,"Boolean"]]],[[0,"do"],[1,"Numbers"]]]],[[0,"let"],[1,"math:exclude"],[[0,"lambda"],[1,"Numbers"],[[0,"lambda"],[1,"Number"],[[0,"do"],[1,"Boolean"]]],[[0,"do"],[1,"Numbers"]]]],[[0,"let"],[1,"math:fold"],[[0,"lambda"],[1,"Numbers"],[[0,"lambda"],[1,"Number"],[1,"Number"],[[0,"do"],[1,"Number"]]],[1,"Number"],[[0,"do"],[1,"Number"]]]],[[0,"let"],[1,"math:enumerated-fold"],[[0,"lambda"],[1,"Numbers"],[[0,"lambda"],[1,"Number"],[1,"Number"],[1,"Number"],[[0,"do"],[1,"Number"]]],[[0,"do"],[1,"Number"]]]],[[0,"let"],[1,"math:maximum-index"],[[0,"lambda"],[1,"Numbers"],[[0,"do"],[1,"Number"]]]],[[0,"let"],[1,"math:minimum-index"],[[0,"lambda"],[1,"Numbers"],[[0,"do"],[1,"Number"]]]],[[0,"let"],[1,"math:var-def"],[[0,"lambda"],[1,"Number"],[[0,"do"],[1,"Numbers"]]]],[[0,"let"],[1,"math:var-get"],[[0,"lambda"],[1,"Numbers"],[[0,"do"],[1,"Number"]]]],[[0,"let"],[1,"math:var-set!"],[[0,"lambda"],[1,"Numbers"],[1,"Number"],[[0,"do"],[1,"Numbers"]]]],[[0,"let"],[1,"math:var-del!"],[[0,"lambda"],[1,"Numbers"],[[0,"do"],[1,"Numbers"]]]],[[0,"let"],[1,"math:var-set-and-get!"],[[0,"lambda"],[1,"Numbers"],[1,"Number"],[[0,"do"],[1,"Number"]]]],[[0,"let"],[1,"math:var-increment!"],[[0,"lambda"],[1,"Numbers"],[[0,"do"],[1,"Numbers"]]]],[[0,"let"],[1,"math:var-decrement!"],[[0,"lambda"],[1,"Numbers"],[[0,"do"],[1,"Numbers"]]]],[[0,"let"],[1,"math:var-increment-and-get!"],[[0,"lambda"],[1,"Numbers"],[[0,"do"],[1,"Number"]]]],[[0,"let"],[1,"math:var-decrement-and-get!"],[[0,"lambda"],[1,"Numbers"],[[0,"do"],[1,"Number"]]]],[[0,"let"],[1,"math:max-sub-array-sum"],[[0,"lambda"],[1,"Numbers"],[[0,"do"],[1,"Number"]]]],[[0,"let"],[1,"var:def"],[[0,"lambda"],[1,"Any"],[[0,"do"],[1,"Unknowns"]]]],[[0,"let"],[1,"var:get"],[[0,"lambda"],[1,"Unknowns"],[[0,"do"],[1,"Any"]]]],[[0,"let"],[1,"var:set!"],[[0,"lambda"],[1,"Unknowns"],[1,"Any"],[[0,"do"],[1,"Unknowns"]]]],[[0,"let"],[1,"var:del!"],[[0,"lambda"],[1,"Unknowns"],[[0,"do"],[1,"Unknowns"]]]],[[0,"let"],[1,"var:set-and-get!"],[[0,"lambda"],[1,"Unknowns"],[1,"Any"],[[0,"do"],[1,"Any"]]]],[[0,"let"],[1,"array:first"],[[0,"lambda"],[1,"Unknowns"],[[0,"do"],[1,"Any"]]]],[[0,"let"],[1,"array:second"],[[0,"lambda"],[1,"Unknowns"],[[0,"do"],[1,"Any"]]]],[[0,"let"],[1,"array:third"],[[0,"lambda"],[1,"Unknowns"],[[0,"do"],[1,"Any"]]]],[[0,"let"],[1,"array:last"],[[0,"lambda"],[1,"Unknowns"],[[0,"do"],[1,"Any"]]]],[[0,"let"],[1,"array:transform"],[[0,"lambda"],[1,"Unknowns"],[[0,"lambda"],[1,"Unknowns"],[1,"Unknown"],[[0,"do"],[1,"Unknown"]]],[1,"Unknowns"],[[0,"do"],[1,"Unknowns"]]]],[[0,"let"],[1,"array:reduce"],[[0,"lambda"],[1,"Unknowns"],[[0,"lambda"],[1,"Number"],[1,"Unknown"],[[0,"do"],[1,"Number"]]],[1,"Number"],[[0,"do"],[1,"Number"]]]],[[0,"let"],[1,"array:enumerated-reduce"],[[0,"lambda"],[1,"Unknowns"],[[0,"lambda"],[1,"Number"],[1,"Unknown"],[1,"Number"],[[0,"do"],[1,"Number"]]],[1,"Number"],[[0,"do"],[1,"Number"]]]],[[0,"let"],[1,"bools:fold"],[[0,"lambda"],[1,"Booleans"],[[0,"lambda"],[1,"Boolean"],[1,"Boolean"],[[0,"do"],[1,"Boolean"]]],[1,"Boolean"],[[0,"do"],[1,"Boolean"]]]],[[0,"let"],[1,"array:unique"],[[0,"lambda"],[1,"Numbers"],[[0,"do"],[1,"Numbers"]]]]]
+export default [[[0,"let"],[1,"math:map"],[[0,"lambda"],[1,"Numbers"],[[0,"lambda"],[1,"Number"],[[0,"do"],[1,"Number"]]],[[0,"do"],[1,"Numbers"]]]],[[0,"let"],[1,"math:select"],[[0,"lambda"],[1,"Numbers"],[[0,"lambda"],[1,"Number"],[[0,"do"],[1,"Boolean"]]],[[0,"do"],[1,"Numbers"]]]],[[0,"let"],[1,"math:exclude"],[[0,"lambda"],[1,"Numbers"],[[0,"lambda"],[1,"Number"],[[0,"do"],[1,"Boolean"]]],[[0,"do"],[1,"Numbers"]]]],[[0,"let"],[1,"math:fold"],[[0,"lambda"],[1,"Numbers"],[[0,"lambda"],[1,"Number"],[1,"Number"],[[0,"do"],[1,"Number"]]],[1,"Number"],[[0,"do"],[1,"Number"]]]],[[0,"let"],[1,"math:enumerated-fold"],[[0,"lambda"],[1,"Numbers"],[[0,"lambda"],[1,"Number"],[1,"Number"],[1,"Number"],[[0,"do"],[1,"Number"]]],[[0,"do"],[1,"Number"]]]],[[0,"let"],[1,"math:maximum-index"],[[0,"lambda"],[1,"Numbers"],[[0,"do"],[1,"Number"]]]],[[0,"let"],[1,"math:minimum-index"],[[0,"lambda"],[1,"Numbers"],[[0,"do"],[1,"Number"]]]],[[0,"let"],[1,"math:var-def"],[[0,"lambda"],[1,"Number"],[[0,"do"],[1,"Numbers"]]]],[[0,"let"],[1,"math:var-get"],[[0,"lambda"],[1,"Numbers"],[[0,"do"],[1,"Number"]]]],[[0,"let"],[1,"math:var-set!"],[[0,"lambda"],[1,"Numbers"],[1,"Number"],[[0,"do"],[1,"Numbers"]]]],[[0,"let"],[1,"math:var-del!"],[[0,"lambda"],[1,"Numbers"],[[0,"do"],[1,"Numbers"]]]],[[0,"let"],[1,"math:var-set-and-get!"],[[0,"lambda"],[1,"Numbers"],[1,"Number"],[[0,"do"],[1,"Number"]]]],[[0,"let"],[1,"math:var-increment!"],[[0,"lambda"],[1,"Numbers"],[[0,"do"],[1,"Numbers"]]]],[[0,"let"],[1,"math:var-decrement!"],[[0,"lambda"],[1,"Numbers"],[[0,"do"],[1,"Numbers"]]]],[[0,"let"],[1,"math:var-increment-and-get!"],[[0,"lambda"],[1,"Numbers"],[[0,"do"],[1,"Number"]]]],[[0,"let"],[1,"math:var-decrement-and-get!"],[[0,"lambda"],[1,"Numbers"],[[0,"do"],[1,"Number"]]]],[[0,"let"],[1,"math:max-sub-array-sum"],[[0,"lambda"],[1,"Numbers"],[[0,"do"],[1,"Number"]]]],[[0,"let"],[1,"math:median"],[[0,"lambda"],[1,"Numbers"],[[0,"do"],[1,"Number"]]]],[[0,"let"],[1,"math:mean"],[[0,"lambda"],[1,"Numbers"],[[0,"do"],[1,"Number"]]]],[[0,"let"],[1,"var:def"],[[0,"lambda"],[1,"Any"],[[0,"do"],[1,"Unknowns"]]]],[[0,"let"],[1,"var:get"],[[0,"lambda"],[1,"Unknowns"],[[0,"do"],[1,"Any"]]]],[[0,"let"],[1,"var:set!"],[[0,"lambda"],[1,"Unknowns"],[1,"Any"],[[0,"do"],[1,"Unknowns"]]]],[[0,"let"],[1,"var:del!"],[[0,"lambda"],[1,"Unknowns"],[[0,"do"],[1,"Unknowns"]]]],[[0,"let"],[1,"var:set-and-get!"],[[0,"lambda"],[1,"Unknowns"],[1,"Any"],[[0,"do"],[1,"Any"]]]],[[0,"let"],[1,"array:first"],[[0,"lambda"],[1,"Unknowns"],[[0,"do"],[1,"Any"]]]],[[0,"let"],[1,"array:second"],[[0,"lambda"],[1,"Unknowns"],[[0,"do"],[1,"Any"]]]],[[0,"let"],[1,"array:third"],[[0,"lambda"],[1,"Unknowns"],[[0,"do"],[1,"Any"]]]],[[0,"let"],[1,"array:last"],[[0,"lambda"],[1,"Unknowns"],[[0,"do"],[1,"Any"]]]],[[0,"let"],[1,"array:transform"],[[0,"lambda"],[1,"Unknowns"],[[0,"lambda"],[1,"Unknowns"],[1,"Unknown"],[[0,"do"],[1,"Unknown"]]],[1,"Unknowns"],[[0,"do"],[1,"Unknowns"]]]],[[0,"let"],[1,"array:reduce"],[[0,"lambda"],[1,"Unknowns"],[[0,"lambda"],[1,"Number"],[1,"Unknown"],[[0,"do"],[1,"Number"]]],[1,"Number"],[[0,"do"],[1,"Number"]]]],[[0,"let"],[1,"array:enumerated-reduce"],[[0,"lambda"],[1,"Unknowns"],[[0,"lambda"],[1,"Number"],[1,"Unknown"],[1,"Number"],[[0,"do"],[1,"Number"]]],[1,"Number"],[[0,"do"],[1,"Number"]]]],[[0,"let"],[1,"bools:fold"],[[0,"lambda"],[1,"Booleans"],[[0,"lambda"],[1,"Boolean"],[1,"Boolean"],[[0,"do"],[1,"Boolean"]]],[1,"Boolean"],[[0,"do"],[1,"Boolean"]]]],[[0,"let"],[1,"array:unique"],[[0,"lambda"],[1,"Numbers"],[[0,"do"],[1,"Numbers"]]]]]

package/package.json

@@ -2,7 +2,7 @@
   "name": "fez-lisp",
   "description": "Lisp interpreted & compiled to JavaScript",
   "author": "AT290690",
-  "version": "1.5.169",
+  "version": "1.5.171",
   "type": "module",
   "main": "index.js",
   "keywords": [

package/src/utils.js

@@ -15,7 +15,11 @@ import {
   deSuggarSource,
   handleUnbalancedQuotes
 } from './macros.js'
-import { OPTIMIZATIONS } from './enhance.js'
+import { enhance, OPTIMIZATIONS } from './enhance.js'
+import { type } from './check.js'
+import stdT from '../lib/baked/std-T.js'
+import { definedTypes, withCtxTypes } from './types.js'
+import { compile } from './compiler.js'
 export const logError = (error) =>
   console.log('\x1b[31m', `\n${error}\n`, '\x1b[0m')
 export const logSuccess = (output) => console.log('\x1b[32m', output, '\x1b[0m')
@@ -498,3 +502,12 @@ export class Brr {
     for (let i = 0, len = this.length; i < len; ++i) yield this.get(i)
   }
 }
+export const fez = (ast, c = false) => {
+  try {
+    if (!c) type(ast, withCtxTypes(definedTypes(stdT)))
+    const opt = enhance(ast)
+    return [c ? compile(ast) : evaluate(opt), null]
+  } catch (err) {
+    return [null, err]
+  }
+}

package/logo.svg

@@ -1,16 +0,0 @@
-<svg width="60" height="88" viewBox="0 0 60 88" fill="none" xmlns="http://www.w3.org/2000/svg">
-<path d="M56 58.4998C61.166 60.9107 63.7232 82.5984 43 86.4999C31.755 88.617 1.50018 90.3154 1.5 69C1.49978 42.7121 27.65 50.8529 43 58.4998C52 61 50.834 56.089 56 58.4998Z" fill="#F9B949"/>
-<circle cx="25.5" cy="35.5" r="25.5" fill="#F9B949"/>
-<circle cx="36.5" cy="31.5" r="2.5" fill="#1F1B1B"/>
-<circle cx="9.5" cy="21.5" r="2.5" fill="#1F1B1B"/>
-<circle cx="10" cy="21" r="1" fill="#EBEBEB"/>
-<circle cx="10" cy="21" r="1" fill="#EBEBEB"/>
-<circle cx="10" cy="21" r="1" fill="#EBEBEB"/>
-<circle cx="37" cy="31" r="1" fill="#EBEBEB"/>
-<circle cx="37" cy="31" r="1" fill="#EBEBEB"/>
-<circle cx="37" cy="31" r="1" fill="#EBEBEB"/>
-<path d="M49.8808 7.37404C50.5137 5.27388 40.491 0.514532 39.3766 1.22816C38.2623 1.9418 33.2308 11.7323 33.2308 11.7323L43.7349 17.8782C43.7349 17.8782 49.2479 9.47421 49.8808 7.37404Z" fill="#B44637"/>
-<path d="M49.8808 7.37404C50.5137 5.27388 40.491 0.514532 39.3766 1.22816C38.2623 1.9418 33.2308 11.7323 33.2308 11.7323L43.7349 17.8782C43.7349 17.8782 49.2479 9.47421 49.8808 7.37404Z" fill="#B44637"/>
-<path d="M51 15C46 13.5 54.6472 7.06417 48.8171 5" stroke="#F9B949" stroke-width="2" stroke-linecap="round"/>
-<path d="M19.5 27.1883C16.1667 26.3396 12 28.635 12 28.635C12 28.635 12.4167 30.7565 17.4167 32.7045C22.4167 34.6525 27 35 27 35C27 35 22.8333 28.037 19.5 27.1883Z" fill="#B44637"/>
-</svg>