freelang-editor 11.7.4
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/.config/jest.config.js +47 -0
- package/.config/jest.fast.config.js +9 -0
- package/.config/openapi.yaml +457 -0
- package/.config/tsconfig.json +30 -0
- package/.github/CODE_OF_CONDUCT.md +176 -0
- package/.github/CONTRIBUTING.md +296 -0
- package/.github/DISCUSSIONS.md +179 -0
- package/.github/ISSUE_TEMPLATE/bug-report.md +44 -0
- package/.github/ISSUE_TEMPLATE/feature-request.md +39 -0
- package/.github/pull_request_template.md +87 -0
- package/.github/workflows/phase-3c-l2-proof.yml +101 -0
- package/.github/workflows/phase-c-full-slack.yml +409 -0
- package/.github/workflows/phase-c-full.yml +241 -0
- package/.github/workflows/phase-c-scan.yml +64 -0
- package/.gitmodules +3 -0
- package/.tmp.js +3 -0
- package/CHANGELOG.md +1182 -0
- package/CLAUDE.md +633 -0
- package/Dockerfile +3 -0
- package/LICENSE +21 -0
- package/MISTAKES-COVERAGE.json +115 -0
- package/Makefile +95 -0
- package/PHASE-F-ROADMAP.md +554 -0
- package/README.md +459 -0
- package/SELF_HOSTING_CHECKLIST.md +155 -0
- package/benchmark-freelang.fl +47 -0
- package/benchmark-results.json +37 -0
- package/benchmark-simple.fl +38 -0
- package/bin/freelang-migrate +310 -0
- package/bin/freelang-smart +258 -0
- package/bootstrap.js +1134 -0
- package/docker-compose.yml +3 -0
- package/docs/AI_FRIENDLINESS.md +181 -0
- package/docs/AI_LEARNING_PATH.md +542 -0
- package/docs/AI_MAINTENANCE.md +153 -0
- package/docs/AI_QUICKSTART.md +380 -0
- package/docs/AI_REFERENCE.md +559 -0
- package/docs/AI_RELIABILITY_GUIDE.md +597 -0
- package/docs/AKL_ARCHITECTURE.md +228 -0
- package/docs/AKL_P0_KIMDB.md +215 -0
- package/docs/API.md +380 -0
- package/docs/ARCHITECTURE.md +208 -0
- package/docs/CHANGELOG.md +1014 -0
- package/docs/CLAUDE.md +991 -0
- package/docs/CLAUDE_AI.md +210 -0
- package/docs/CODEGEN_IMPROVEMENTS.md +158 -0
- package/docs/CODE_OF_CONDUCT.md +337 -0
- package/docs/CONTRIBUTING.md +437 -0
- package/docs/CRON_AUTOMATION.md +97 -0
- package/docs/DEPLOYMENT.md +357 -0
- package/docs/DETERMINISM_GUIDE.md +174 -0
- package/docs/HUMAN_GUIDE.md +599 -0
- package/docs/INDEX.md +199 -0
- package/docs/INLINE_TEST_GUIDE.md +231 -0
- package/docs/LANGUAGE-FAULTS.md +583 -0
- package/docs/LANGUAGE_IMPROVEMENT_REQUESTS.md +187 -0
- package/docs/LEARNING.md +257 -0
- package/docs/MISTAKES-100.md +52 -0
- package/docs/MISTAKES.md +131 -0
- package/docs/NAMING_CONVENTIONS.md +158 -0
- package/docs/NIGHTLY-MONITORING.md +222 -0
- package/docs/OFFICIAL_LANGUAGE.md +249 -0
- package/docs/ONBOARDING_1HOUR.md +210 -0
- package/docs/PERFORMANCE.md +329 -0
- package/docs/PHASE-3C-L2-PROOF-PLAN.md +282 -0
- package/docs/PHASE-3C-L2-RESULTS.md +183 -0
- package/docs/PHASE-3D-AI-LIBRARY.md +170 -0
- package/docs/PHASE-3E-VM-OPTIMIZATION.md +192 -0
- package/docs/PHASE-C-CI.md +242 -0
- package/docs/PHASE-C-PR-CHECKLIST.md +267 -0
- package/docs/PHASE-C-ROADMAP.md +141 -0
- package/docs/PHASE-C-SCAN.md +205 -0
- package/docs/PHASE-G-ROADMAP.md +228 -0
- package/docs/PHASE-X-V11.5-ROADMAP.md +267 -0
- package/docs/PHASE4_IMPLEMENTATION_PLAN.md +290 -0
- package/docs/PHASE5-COMPLETION.md +186 -0
- package/docs/PHASE5-SUMMARY.md +82 -0
- package/docs/PLUGIN_GUIDE.md +241 -0
- package/docs/PROJECT_OVERVIEW_KO.md +66 -0
- package/docs/QUICKSTART.md +160 -0
- package/docs/README.md +192 -0
- package/docs/RESERVED.md +125 -0
- package/docs/ROADMAP.md +191 -0
- package/docs/SECURITY.md +518 -0
- package/docs/SETUP.md +127 -0
- package/docs/SLACK-SETUP.md +190 -0
- package/docs/STATE_OF_V11.md +74 -0
- package/docs/STDLIB_NAMING_AUDIT.md +154 -0
- package/docs/STDLIB_REFERENCE.md +2722 -0
- package/docs/STYLE_GUIDE.md +559 -0
- package/docs/TASK5-MAP-DESTRUCTURE-DESIGN.md +136 -0
- package/docs/TOOLS.md +357 -0
- package/docs/TYPE_SYSTEM_GUIDE.md +201 -0
- package/docs/UI-PATTERN.md +265 -0
- package/docs/V11.5-RULES.md +416 -0
- package/docs/V11.6-HARNESS-RULES.md +222 -0
- package/docs/V11.6-MULTI-AGENT-PLAN.md +265 -0
- package/docs/V11.6-STABILIZATION-PLAN.md +290 -0
- package/docs/Y4-2B_DRY_RUN.md +142 -0
- package/docs/_classifications.json +882 -0
- package/docs/api/stdlib.md +134 -0
- package/docs/blog/2026-04-17-v11-ai-first-evolution.md +223 -0
- package/docs/blog/2026-04-20-self-hosting-fixedpoint.md +269 -0
- package/docs/blog/2026-05-04-mistakes-are-language-faults.md +267 -0
- package/docs/blog/2026-05-04-mistakes-coverage-honest.md +170 -0
- package/docs/blog/2026-05-04-phase-g-followup-smart-wrapper.md +188 -0
- package/docs/blog/2026-05-04-phase-g-mistakes-100.md +269 -0
- package/docs/blog/2026-05-04-phase-x-v11.5-launch.md +224 -0
- package/docs/blog/2026-05-04-v11.5.0-real-language-change.md +252 -0
- package/docs/blog-demo/README.md +44 -0
- package/docs/examples/index.md +78 -0
- package/docs/examples/todo-app.md +99 -0
- package/docs/guide/ai-blocks.md +335 -0
- package/docs/guide/basics.md +235 -0
- package/docs/guide/frameworks.md +319 -0
- package/docs/homepage/README.md +164 -0
- package/docs/index.md +183 -0
- package/docs/v12-DESIGN.md +214 -0
- package/examples/README.md +26 -0
- package/examples/browser-test.html +149 -0
- package/examples/csv-tool/analyze.fl +222 -0
- package/examples/csv-tool/employees.csv +16 -0
- package/examples/csv-tool/products.csv +21 -0
- package/examples/factorial.fl +9 -0
- package/examples/fib30.fl +4 -0
- package/examples/hello.fl +2 -0
- package/examples/hello.fl.js +3 -0
- package/examples/learning-session/01-grade-stats.fl +49 -0
- package/examples/learning-session/02-class-stats.fl +52 -0
- package/examples/learning-session/03-cart.fl +61 -0
- package/examples/learning-session/04-word-freq.fl +57 -0
- package/examples/learning-session/05-todo.fl +69 -0
- package/examples/learning-session/06-library.fl +76 -0
- package/examples/learning-session/07-currency.fl +99 -0
- package/examples/learning-session/08-csv-grades.fl +104 -0
- package/examples/learning-session/09-calc-repl.fl +92 -0
- package/examples/learning-session/10-contacts.fl +109 -0
- package/examples/learning-session/11-markdown.fl +107 -0
- package/examples/learning-session/12-calendar.fl +87 -0
- package/examples/learning-session/13-statistics.fl +123 -0
- package/examples/learning-session/14-primes.fl +107 -0
- package/examples/learning-session/15-statistics.fl +123 -0
- package/examples/learning-session/16-calendar.fl +87 -0
- package/examples/learning-session/17-markdown.fl +107 -0
- package/examples/learning-session/18-contacts.fl +109 -0
- package/examples/learning-session/19-json-serializer.fl +86 -0
- package/examples/learning-session/20-template.fl +201 -0
- package/examples/learning-session/21-calc-parser.fl +148 -0
- package/examples/learning-session/22-table.fl +96 -0
- package/examples/patterns/01-map-filter-reduce.fl +50 -0
- package/examples/patterns/02-error-handling.fl +51 -0
- package/examples/patterns/03-type-validation.fl +57 -0
- package/examples/patterns/04-state-management.fl +44 -0
- package/examples/patterns/05-api-integration.fl +95 -0
- package/examples/patterns/06-database-operations.fl +113 -0
- package/examples/patterns/07-string-processing.fl +86 -0
- package/examples/patterns/08-data-transformation.fl +92 -0
- package/examples/patterns/09-decision-logic.fl +122 -0
- package/examples/patterns/10-agent-orchestration.fl +184 -0
- package/examples/patterns/README.md +344 -0
- package/examples/simple-server.fl +29 -0
- package/examples/tables-app.fl +219 -0
- package/examples/test-libs.fl +272 -0
- package/jest.config.js +4 -0
- package/lib/datetime.fl +123 -0
- package/lib/http-client.fl +129 -0
- package/lib/pipeline.fl +150 -0
- package/lib/query.fl +160 -0
- package/lib/result.fl +124 -0
- package/lib/template.fl +161 -0
- package/lib/validate.fl +136 -0
- package/package.json +58 -0
- package/scripts/ai-eval.js +318 -0
- package/scripts/ai-self-verify.js +200 -0
- package/scripts/ai-validate.js +302 -0
- package/scripts/bench.sh +71 -0
- package/scripts/benchmark.js +258 -0
- package/scripts/benchmark.sh +99 -0
- package/scripts/build-binary.sh +68 -0
- package/scripts/build-runtime.sh +46 -0
- package/scripts/build-stage1-final.sh +58 -0
- package/scripts/build-stage1.sh +119 -0
- package/scripts/build-standalone.sh +17 -0
- package/scripts/build.js +130 -0
- package/scripts/check-let-regressions.js +95 -0
- package/scripts/check-parens.py +117 -0
- package/scripts/check-ports.sh +49 -0
- package/scripts/check-syntax.js +30 -0
- package/scripts/cli-extras.js +135 -0
- package/scripts/cron-daily-verify.sh +101 -0
- package/scripts/deploy.sh +91 -0
- package/scripts/dev.sh +37 -0
- package/scripts/extract-fl-examples.js +29 -0
- package/scripts/extract-runtime-helpers.js +122 -0
- package/scripts/fl-compile.sh +14 -0
- package/scripts/fl-fixpoint.sh +28 -0
- package/scripts/fl-repl.sh +21 -0
- package/scripts/fl-run.sh +41 -0
- package/scripts/fl-serve.sh +25 -0
- package/scripts/fuzz-compiler.js +92 -0
- package/scripts/gen-ai-prompt.js +340 -0
- package/scripts/gen-fixtures.js +166 -0
- package/scripts/gen-mistakes-split.js +199 -0
- package/scripts/gen-stdlib-docs.js +69 -0
- package/scripts/lint-stdlib-aliases.js +166 -0
- package/scripts/measure-baseline.sh +43 -0
- package/scripts/property-test.js +885 -0
- package/scripts/push-to-gogs.sh +60 -0
- package/scripts/regression-scan.js +132 -0
- package/scripts/run-jest-shard.sh +85 -0
- package/scripts/safe-push.sh +37 -0
- package/scripts/scan-fl-tokens.js +170 -0
- package/scripts/scan-for-fl-tokens.sh +17 -0
- package/scripts/self-diff.sh +95 -0
- package/scripts/snapshot-v0.sh +35 -0
- package/scripts/test-l2-fixpoint.sh +54 -0
- package/scripts/verify-all.sh +130 -0
- package/scripts/verify-build-deterministic.sh +110 -0
- package/scripts/verify-c7-bootstrap.sh +150 -0
- package/scripts/verify-c8-fixed-point-simple.sh +121 -0
- package/scripts/verify-c8-fixed-point.sh +133 -0
- package/scripts/verify-c9-fuzzing.sh +214 -0
- package/scripts/verify-fixed-point-deep.sh +133 -0
- package/scripts/verify-fixed-point.sh +65 -0
- package/scripts/verify-l2-proof.sh +153 -0
- package/scripts/verify-l3-proof.sh +40 -0
- package/scripts/verify-mistakes-coverage.js +120 -0
- package/scripts/verify-self-host.sh +509 -0
- package/self/CHANGELOG.md +964 -0
- package/self/COMPILER_REDESIGN_FAILURES.md +59 -0
- package/self/INTEGRATION-CHECKLIST.md +113 -0
- package/self/README.md +34 -0
- package/self/all.fl +1353 -0
- package/self/ast.fl +219 -0
- package/self/ast.self.js +47 -0
- package/self/bench/_bi_json-parse.js +46 -0
- package/self/bench/_bi_json-str.js +60 -0
- package/self/bench/_bi_list-distinct.js +37 -0
- package/self/bench/_bi_list-filter-even.js +56 -0
- package/self/bench/_bi_list-first.js +29 -0
- package/self/bench/_bi_list-last.js +28 -0
- package/self/bench/_bi_list-map-inc.js +41 -0
- package/self/bench/_bi_list-range.js +22 -0
- package/self/bench/_bi_list-reduce-sum.js +50 -0
- package/self/bench/_bi_list-reverse.js +28 -0
- package/self/bench/_bi_list-sort.js +35 -0
- package/self/bench/_bi_list-take.js +36 -0
- package/self/bench/_bi_m-abs.js +24 -0
- package/self/bench/_bi_m-floor.js +22 -0
- package/self/bench/_bi_m-max.js +26 -0
- package/self/bench/_bi_m-min.js +26 -0
- package/self/bench/_bi_m-mod.js +21 -0
- package/self/bench/_bi_map-has.js +50 -0
- package/self/bench/_bi_map-keys.js +50 -0
- package/self/bench/_bi_map-values.js +52 -0
- package/self/bench/_bi_str-concat.js +36 -0
- package/self/bench/_bi_str-contains.js +43 -0
- package/self/bench/_bi_str-ends.js +45 -0
- package/self/bench/_bi_str-index.js +34 -0
- package/self/bench/_bi_str-lower.js +23 -0
- package/self/bench/_bi_str-repeat.js +26 -0
- package/self/bench/_bi_str-split.js +41 -0
- package/self/bench/_bi_str-starts.js +47 -0
- package/self/bench/_bi_str-trim.js +26 -0
- package/self/bench/_bi_str-upper.js +23 -0
- package/self/bench/_bi_t-list.js +24 -0
- package/self/bench/_bi_t-null.js +23 -0
- package/self/bench/_bi_t-number.js +23 -0
- package/self/bench/_bi_t-string.js +25 -0
- package/self/bench/_bi_t-typeof.js +25 -0
- package/self/bench/_c_parse_probe.fl +426 -0
- package/self/bench/_c_parse_probe.js +67 -0
- package/self/bench/_codegen_nodrv.fl +751 -0
- package/self/bench/_combined2.fl +423 -0
- package/self/bench/_combined_arr.fl +422 -0
- package/self/bench/_combined_astprobe.fl +429 -0
- package/self/bench/_combined_astprobe.js +69 -0
- package/self/bench/_combined_cg.fl +424 -0
- package/self/bench/_combined_cg.js +64 -0
- package/self/bench/_combined_lex.fl +421 -0
- package/self/bench/_combined_trace.fl +435 -0
- package/self/bench/_combined_trace.js +75 -0
- package/self/bench/_ext_abs-neg.js +2 -0
- package/self/bench/_ext_and.js +2 -0
- package/self/bench/_ext_cond-1.js +2 -0
- package/self/bench/_ext_cond-2.js +2 -0
- package/self/bench/_ext_do-seq.js +2 -0
- package/self/bench/_ext_fact20.js +3 -0
- package/self/bench/_ext_fib25.js +3 -0
- package/self/bench/_ext_length.js +2 -0
- package/self/bench/_ext_let-1d.js +18 -0
- package/self/bench/_ext_let-2d.js +2 -0
- package/self/bench/_ext_list-sum.js +3 -0
- package/self/bench/_ext_math.js +2 -0
- package/self/bench/_ext_or.js +2 -0
- package/self/bench/_ext_str.js +2 -0
- package/self/bench/_fact15.js +2 -0
- package/self/bench/_fb_fact15.js +2 -0
- package/self/bench/_fb_func-fact.js +2 -0
- package/self/bench/_fb_func-multi.js +2 -0
- package/self/bench/_fb_func-mutual.js +3 -0
- package/self/bench/_fb_func-simple.js +21 -0
- package/self/bench/_fib.js +2 -0
- package/self/bench/_fn_async-await-seq.js +40 -0
- package/self/bench/_fn_async-await.js +3 -0
- package/self/bench/_fn_async-print.js +26 -0
- package/self/bench/_fn_async-result.js +1 -0
- package/self/bench/_fn_call-form.js +24 -0
- package/self/bench/_fn_compose.js +37 -0
- package/self/bench/_fn_pipe.js +34 -0
- package/self/bench/_fn_thread-first-sexpr.js +31 -0
- package/self/bench/_fn_thread-first.js +25 -0
- package/self/bench/_fn_thread-last.js +31 -0
- package/self/bench/_generated.js +35 -0
- package/self/bench/_mt_match-default.js +51 -0
- package/self/bench/_mt_match-num.js +58 -0
- package/self/bench/_mt_match-str.js +56 -0
- package/self/bench/_mt_match-var.js +32 -0
- package/self/bench/_mt_match-wild.js +36 -0
- package/self/bench/_mt_struct-make.js +81 -0
- package/self/bench/_mt_struct-tag.js +81 -0
- package/self/bench/_probe.fl +1 -0
- package/self/bench/_probe2.fl +1 -0
- package/self/bench/_probe3.fl +3 -0
- package/self/bench/_probe_apply.fl +1 -0
- package/self/bench/_probe_args.fl +7 -0
- package/self/bench/_probe_arr.fl +7 -0
- package/self/bench/_probe_arr2.fl +5 -0
- package/self/bench/_probe_block.fl +7 -0
- package/self/bench/_probe_call.fl +1 -0
- package/self/bench/_probe_cg.fl +27 -0
- package/self/bench/_probe_compose.fl +13 -0
- package/self/bench/_probe_define.fl +1 -0
- package/self/bench/_probe_keys.fl +5 -0
- package/self/bench/_probe_length.fl +5 -0
- package/self/bench/_probe_lexparse.fl +4 -0
- package/self/bench/_probe_loop.fl +12 -0
- package/self/bench/_probe_map.fl +8 -0
- package/self/bench/_probe_map2.fl +8 -0
- package/self/bench/_probe_map3.fl +5 -0
- package/self/bench/_probe_mapkeys.fl +5 -0
- package/self/bench/_probe_mapv12.fl +1 -0
- package/self/bench/_probe_mapv12.js +2 -0
- package/self/bench/_probe_match.fl +1 -0
- package/self/bench/_probe_match2.fl +1 -0
- package/self/bench/_probe_neg.fl +7 -0
- package/self/bench/_probe_neg2.fl +3 -0
- package/self/bench/_probe_protocol.fl +7 -0
- package/self/bench/_probe_self_parse.fl +6 -0
- package/self/bench/_probe_struct.fl +1 -0
- package/self/bench/_probe_true.fl +3 -0
- package/self/bench/_probe_true2.fl +6 -0
- package/self/bench/_probe_v12_cg.fl +7 -0
- package/self/bench/_probe_v12_extract.fl +8 -0
- package/self/bench/_probe_v12_extract.js +7 -0
- package/self/bench/_probe_v12_internal.fl +21 -0
- package/self/bench/_probe_v12_map_ast.fl +12 -0
- package/self/bench/_rs_combo.js +3 -0
- package/self/bench/_rs_gcd.js +36 -0
- package/self/bench/_rs_grade.js +2 -0
- package/self/bench/_rs_mutual-fib.js +2 -0
- package/self/bench/_rs_range-sum.js +2 -0
- package/self/bench/_rs_sum-10k.js +2 -0
- package/self/bench/_rs_sum-5k.js +2 -0
- package/self/bench/_sf_loop-fact-10.js +73 -0
- package/self/bench/_sf_loop-sum-10k.js +87 -0
- package/self/bench/_sf_set-x.js +40 -0
- package/self/bench/_sf_throw-catch.js +1 -0
- package/self/bench/_sf_while-5.js +62 -0
- package/self/bench/_v12_combined.fl +1184 -0
- package/self/bench/_v12_extract_test.fl +14 -0
- package/self/bench/_v12_extract_test.js +7 -0
- package/self/bench/_v12_inspect.js +26 -0
- package/self/bench/_v12_inspect_mod.js +137 -0
- package/self/bench/_v12_makevartest.fl +8 -0
- package/self/bench/_v12_makevartest.js +6 -0
- package/self/bench/_v12_parse_probe.fl +9 -0
- package/self/bench/_v12_parse_trace.fl +18 -0
- package/self/bench/_v12_simple_fn.fl +2 -0
- package/self/bench/_v12_simple_fn.js +3 -0
- package/self/bench/_v12_trace.fl +2 -0
- package/self/bench/_v12_trace.js +3 -0
- package/self/bench/collection.js +13 -0
- package/self/bench/fib30.fl +4 -0
- package/self/bench/final-test.fl +12 -0
- package/self/bench/final-test.js +2 -0
- package/self/bench/fp1-v12.js +4 -0
- package/self/bench/fp1.fl +3 -0
- package/self/bench/fp1.fp.js +4 -0
- package/self/bench/fp2-v12.js +4 -0
- package/self/bench/fp2.fl +3 -0
- package/self/bench/fp2.fp.js +4 -0
- package/self/bench/fp3-v12.js +8 -0
- package/self/bench/fp3.fl +11 -0
- package/self/bench/fp3.fp.js +8 -0
- package/self/bench/fp4-v12.js +6 -0
- package/self/bench/fp4.fl +9 -0
- package/self/bench/fp4.fp.js +6 -0
- package/self/bench/hello-sample.fl +3 -0
- package/self/bench/hello-sample.js +4 -0
- package/self/bench/hello.fl +1 -0
- package/self/bench/json.js +9 -0
- package/self/bench/json1mb.fl +3 -0
- package/self/bench/math.js +8 -0
- package/self/bench/realworld.fl +17 -0
- package/self/bench/realworld.js +8 -0
- package/self/bench/regex.js +10 -0
- package/self/bench/sample.json +1 -0
- package/self/bench/string.js +7 -0
- package/self/bench/test-ffi.fl +3 -0
- package/self/bench/test-ffi.js +2 -0
- package/self/bench/test-hof-advanced.fl +7 -0
- package/self/bench/test-hof-advanced.js +2 -0
- package/self/bench/test-hof.fl +5 -0
- package/self/bench/test-hof.js +2 -0
- package/self/bench/test-output.txt +1 -0
- package/self/bench/test-phase15-integration.fl +16 -0
- package/self/bench/test-phase15-integration.js +3 -0
- package/self/bench/test-phase19-complete.fl +24 -0
- package/self/bench/test-phase19-complete.js +2 -0
- package/self/bench/test-stdlib-codegen.fl +9 -0
- package/self/bench/test-stdlib-codegen.js +2 -0
- package/self/bench/test-time.fl +8 -0
- package/self/bench/test-time.js +2 -0
- package/self/bench/time.js +9 -0
- package/self/bench/tiny-v12.js +2 -0
- package/self/bench/tiny.fl +1 -0
- package/self/builtins/core.fl +150 -0
- package/self/char-class.fl +45 -0
- package/self/codegen-core.fl +733 -0
- package/self/codegen-final.fl +135 -0
- package/self/codegen.fl +379 -0
- package/self/codegen.fl.bak +856 -0
- package/self/codegen.self.js +75 -0
- package/self/examples/agent-loop.fl +32 -0
- package/self/examples/ci-cd-example.fl +114 -0
- package/self/examples/cloud-real.fl +134 -0
- package/self/examples/docker-example.fl +67 -0
- package/self/examples/fullstack-app.fl +330 -0
- package/self/examples/k8s-example.fl +91 -0
- package/self/examples/microservices.fl +448 -0
- package/self/examples/rest-api.fl +253 -0
- package/self/examples/style-example.fl +133 -0
- package/self/examples/workflow-orchestration.fl +44 -0
- package/self/fixtures/eval/add.fl +1 -0
- package/self/fixtures/eval/and-sc.fl +1 -0
- package/self/fixtures/eval/bool-false.fl +1 -0
- package/self/fixtures/eval/bool-true.fl +1 -0
- package/self/fixtures/eval/closure.fl +1 -0
- package/self/fixtures/eval/cmp-eq.fl +1 -0
- package/self/fixtures/eval/cmp-lt.fl +1 -0
- package/self/fixtures/eval/cond-first.fl +1 -0
- package/self/fixtures/eval/define-fn3.fl +1 -0
- package/self/fixtures/eval/define-var.fl +1 -0
- package/self/fixtures/eval/defn-bare.fl +1 -0
- package/self/fixtures/eval/defn-call.fl +1 -0
- package/self/fixtures/eval/div.fl +1 -0
- package/self/fixtures/eval/filter-hof.fl +1 -0
- package/self/fixtures/eval/floor.fl +1 -0
- package/self/fixtures/eval/fn-apply.fl +1 -0
- package/self/fixtures/eval/get-idx.fl +1 -0
- package/self/fixtures/eval/get-key.fl +1 -0
- package/self/fixtures/eval/higher-order.fl +1 -0
- package/self/fixtures/eval/let-bare.fl +1 -0
- package/self/fixtures/eval/let-flat.fl +1 -0
- package/self/fixtures/eval/let-use.fl +1 -0
- package/self/fixtures/eval/list-first.fl +1 -0
- package/self/fixtures/eval/list-last.fl +1 -0
- package/self/fixtures/eval/list-len.fl +1 -0
- package/self/fixtures/eval/map-hof.fl +1 -0
- package/self/fixtures/eval/mod.fl +1 -0
- package/self/fixtures/eval/mul-nested.fl +1 -0
- package/self/fixtures/eval/not.fl +1 -0
- package/self/fixtures/eval/null-p.fl +1 -0
- package/self/fixtures/eval/or-sc.fl +1 -0
- package/self/fixtures/eval/pow.fl +1 -0
- package/self/fixtures/eval/recursion.fl +1 -0
- package/self/fixtures/eval/reduce-hof.fl +1 -0
- package/self/fixtures/eval/replace.fl +1 -0
- package/self/fixtures/eval/sqrt.fl +1 -0
- package/self/fixtures/eval/str-concat.fl +1 -0
- package/self/fixtures/eval/str-num.fl +1 -0
- package/self/fixtures/eval/sub.fl +1 -0
- package/self/fixtures/eval/substring.fl +1 -0
- package/self/fixtures/lex/array.fl +1 -0
- package/self/fixtures/lex/at-atom.fl +1 -0
- package/self/fixtures/lex/block.fl +1 -0
- package/self/fixtures/lex/comment.fl +2 -0
- package/self/fixtures/lex/deep-array.fl +1 -0
- package/self/fixtures/lex/deep-map.fl +1 -0
- package/self/fixtures/lex/deep-nest.fl +1 -0
- package/self/fixtures/lex/dollar-dot.fl +1 -0
- package/self/fixtures/lex/empty-list.fl +1 -0
- package/self/fixtures/lex/empty-str.fl +1 -0
- package/self/fixtures/lex/empty.fl +1 -0
- package/self/fixtures/lex/float.fl +1 -0
- package/self/fixtures/lex/hex.fl +1 -0
- package/self/fixtures/lex/kebab-sym.fl +1 -0
- package/self/fixtures/lex/keyword.fl +1 -0
- package/self/fixtures/lex/leading-zero.fl +1 -0
- package/self/fixtures/lex/long-num.fl +1 -0
- package/self/fixtures/lex/many-args.fl +1 -0
- package/self/fixtures/lex/map.fl +1 -0
- package/self/fixtures/lex/mixed.fl +1 -0
- package/self/fixtures/lex/neg-float.fl +1 -0
- package/self/fixtures/lex/negative.fl +1 -0
- package/self/fixtures/lex/nested.fl +1 -0
- package/self/fixtures/lex/null.fl +1 -0
- package/self/fixtures/lex/pipe-op.fl +1 -0
- package/self/fixtures/lex/route-like.fl +1 -0
- package/self/fixtures/lex/scientific.fl +1 -0
- package/self/fixtures/lex/single-num.fl +1 -0
- package/self/fixtures/lex/small-sexpr.fl +1 -0
- package/self/fixtures/lex/spaces.fl +1 -0
- package/self/fixtures/lex/str-quote.fl +1 -0
- package/self/fixtures/lex/str-tab.fl +1 -0
- package/self/fixtures/lex/string-esc.fl +1 -0
- package/self/fixtures/lex/string.fl +1 -0
- package/self/fixtures/lex/symbol.fl +1 -0
- package/self/fixtures/lex/tabs-nl.fl +3 -0
- package/self/fixtures/lex/true-false.fl +1 -0
- package/self/fixtures/lex/unicode.fl +1 -0
- package/self/fixtures/lex/variable.fl +1 -0
- package/self/fixtures/lex/zero.fl +1 -0
- package/self/fixtures/parse/and-or.fl +1 -0
- package/self/fixtures/parse/array-lit.fl +1 -0
- package/self/fixtures/parse/block-func.fl +1 -0
- package/self/fixtures/parse/compose.fl +1 -0
- package/self/fixtures/parse/cond.fl +1 -0
- package/self/fixtures/parse/define-fn.fl +1 -0
- package/self/fixtures/parse/define-val.fl +1 -0
- package/self/fixtures/parse/defn.fl +1 -0
- package/self/fixtures/parse/do-begin.fl +1 -0
- package/self/fixtures/parse/dotted.fl +1 -0
- package/self/fixtures/parse/empty-fn.fl +1 -0
- package/self/fixtures/parse/empty-list.fl +1 -0
- package/self/fixtures/parse/fn.fl +1 -0
- package/self/fixtures/parse/if-else.fl +1 -0
- package/self/fixtures/parse/if-only.fl +1 -0
- package/self/fixtures/parse/keyword-arg.fl +1 -0
- package/self/fixtures/parse/kw.fl +1 -0
- package/self/fixtures/parse/let-1d.fl +1 -0
- package/self/fixtures/parse/let-2d.fl +1 -0
- package/self/fixtures/parse/let-bare.fl +1 -0
- package/self/fixtures/parse/literal-num.fl +1 -0
- package/self/fixtures/parse/literal-str.fl +1 -0
- package/self/fixtures/parse/loop-recur.fl +1 -0
- package/self/fixtures/parse/map-lit.fl +1 -0
- package/self/fixtures/parse/match-simple.fl +1 -0
- package/self/fixtures/parse/multi-body.fl +1 -0
- package/self/fixtures/parse/nested-arr.fl +1 -0
- package/self/fixtures/parse/nested-block.fl +1 -0
- package/self/fixtures/parse/nested-map.fl +1 -0
- package/self/fixtures/parse/nested.fl +1 -0
- package/self/fixtures/parse/pipe.fl +1 -0
- package/self/fixtures/parse/quote.fl +1 -0
- package/self/fixtures/parse/set-bang.fl +1 -0
- package/self/fixtures/parse/sexpr.fl +1 -0
- package/self/fixtures/parse/str-interp.fl +1 -0
- package/self/fixtures/parse/sym.fl +1 -0
- package/self/fixtures/parse/thread-first.fl +1 -0
- package/self/fixtures/parse/thread-last.fl +1 -0
- package/self/fixtures/parse/try-catch.fl +1 -0
- package/self/fixtures/parse/var.fl +1 -0
- package/self/full-compiler-fixed.fl +1308 -0
- package/self/full-compiler-v1-bloated.fl +1298 -0
- package/self/full-compiler.fl +1301 -0
- package/self/interpreter.fl +351 -0
- package/self/lexer.fl +200 -0
- package/self/lexer.self.js +30 -0
- package/self/main.fl +22 -0
- package/self/parser.fl +241 -0
- package/self/parser.self.js +33 -0
- package/self/runtime/http-server.js +642 -0
- package/self/runtime/interpreter.js +30787 -0
- package/self/runtime/repl.js +186 -0
- package/self/runtime-helpers.ts +282 -0
- package/self/scope.fl +80 -0
- package/self/scope.self.js +1 -0
- package/self/self/bench/_bi_list-distinct.js +2 -0
- package/self/self/bench/_bi_list-filter-even.js +2 -0
- package/self/self/bench/_bi_list-first.js +2 -0
- package/self/self/bench/_bi_list-last.js +2 -0
- package/self/self/bench/_bi_list-map-inc.js +2 -0
- package/self/self/bench/_bi_list-range.js +2 -0
- package/self/self/bench/_bi_list-reduce-sum.js +2 -0
- package/self/self/bench/_bi_list-reverse.js +2 -0
- package/self/self/bench/_bi_list-sort.js +2 -0
- package/self/self/bench/_bi_list-take.js +2 -0
- package/self/self/bench/_bi_map-has.js +2 -0
- package/self/self/bench/_bi_map-keys.js +2 -0
- package/self/self/bench/_bi_map-values.js +2 -0
- package/self/self/bench/_bi_str-concat.js +2 -0
- package/self/self/bench/_bi_str-contains.js +2 -0
- package/self/self/bench/_bi_str-ends.js +2 -0
- package/self/self/bench/_bi_str-index.js +2 -0
- package/self/self/bench/_bi_str-lower.js +2 -0
- package/self/self/bench/_bi_str-repeat.js +2 -0
- package/self/self/bench/_bi_str-split.js +2 -0
- package/self/self/bench/_bi_str-starts.js +2 -0
- package/self/self/bench/_bi_str-trim.js +2 -0
- package/self/self/bench/_bi_str-upper.js +2 -0
- package/self/self/bench/_ext_abs-neg.js +2 -0
- package/self/self/bench/_ext_and.js +2 -0
- package/self/self/bench/_ext_cond-1.js +2 -0
- package/self/self/bench/_ext_cond-2.js +2 -0
- package/self/self/bench/_ext_do-seq.js +2 -0
- package/self/self/bench/_ext_fact20.js +3 -0
- package/self/self/bench/_ext_fib25.js +3 -0
- package/self/self/bench/_ext_length.js +2 -0
- package/self/self/bench/_ext_let-1d.js +2 -0
- package/self/self/bench/_ext_let-2d.js +2 -0
- package/self/self/bench/_ext_list-sum.js +3 -0
- package/self/self/bench/_ext_math.js +2 -0
- package/self/self/bench/_ext_or.js +2 -0
- package/self/self/bench/_ext_str.js +2 -0
- package/self/self/bench/_fact15.js +2 -0
- package/self/self/bench/_fb_fact15.js +2 -0
- package/self/self/bench/_fb_func-fact.js +2 -0
- package/self/self/bench/_fb_func-multi.js +2 -0
- package/self/self/bench/_fb_func-mutual.js +3 -0
- package/self/self/bench/_fb_func-simple.js +2 -0
- package/self/self/bench/_fib.js +2 -0
- package/self/self/bench/_fn_async-await-seq.js +2 -0
- package/self/self/bench/_fn_async-print.js +2 -0
- package/self/self/bench/_fn_call-form.js +2 -0
- package/self/self/bench/_fn_compose.js +2 -0
- package/self/self/bench/_fn_pipe.js +2 -0
- package/self/self/bench/_fn_thread-first-sexpr.js +2 -0
- package/self/self/bench/_fn_thread-first.js +2 -0
- package/self/self/bench/_fn_thread-last.js +2 -0
- package/self/self/bench/_generated.js +2 -0
- package/self/self/bench/_mt_match-default.js +2 -0
- package/self/self/bench/_mt_match-num.js +2 -0
- package/self/self/bench/_mt_match-str.js +2 -0
- package/self/self/bench/_mt_match-var.js +2 -0
- package/self/self/bench/_mt_match-wild.js +2 -0
- package/self/self/bench/_mt_struct-make.js +4 -0
- package/self/self/bench/_mt_struct-tag.js +4 -0
- package/self/self/bench/_rs_combo.js +3 -0
- package/self/self/bench/_rs_gcd.js +2 -0
- package/self/self/bench/_rs_grade.js +2 -0
- package/self/self/bench/_rs_mutual-fib.js +2 -0
- package/self/self/bench/_rs_range-sum.js +2 -0
- package/self/self/bench/_rs_sum-5k.js +2 -0
- package/self/self/bench/_sf_loop-fact-10.js +1 -0
- package/self/self/bench/_sf_loop-sum-10k.js +1 -0
- package/self/self/bench/_sf_set-x.js +3 -0
- package/self/self/bench/_sf_throw-catch.js +1 -0
- package/self/self/bench/_sf_while-5.js +3 -0
- package/self/stdlib/ai.fl +73 -0
- package/self/stdlib/assert.fl +30 -0
- package/self/stdlib/async.fl +48 -0
- package/self/stdlib/base64.fl +22 -0
- package/self/stdlib/binary.fl +30 -0
- package/self/stdlib/build.fl +69 -0
- package/self/stdlib/collection.fl +37 -0
- package/self/stdlib/color.fl +35 -0
- package/self/stdlib/crypto-hash.fl +29 -0
- package/self/stdlib/crypto.fl +56 -0
- package/self/stdlib/data.fl +69 -0
- package/self/stdlib/db.fl +53 -0
- package/self/stdlib/encoding.fl +49 -0
- package/self/stdlib/error.fl +36 -0
- package/self/stdlib/feed.fl +86 -0
- package/self/stdlib/file.fl +53 -0
- package/self/stdlib/format.fl +34 -0
- package/self/stdlib/graph.fl +72 -0
- package/self/stdlib/hash.fl +32 -0
- package/self/stdlib/heap.fl +76 -0
- package/self/stdlib/http.fl +47 -0
- package/self/stdlib/image.fl +45 -0
- package/self/stdlib/json.fl +11 -0
- package/self/stdlib/list-extra.fl +32 -0
- package/self/stdlib/markdown.fl +59 -0
- package/self/stdlib/math-extra.fl +34 -0
- package/self/stdlib/math.fl +13 -0
- package/self/stdlib/metadata.fl +66 -0
- package/self/stdlib/mongodb/bson.fl +21 -0
- package/self/stdlib/mongodb/schema.fl +95 -0
- package/self/stdlib/mongodb/wire.fl +54 -0
- package/self/stdlib/mongodb.fl +172 -0
- package/self/stdlib/path.fl +72 -0
- package/self/stdlib/plot.fl +56 -0
- package/self/stdlib/process.fl +50 -0
- package/self/stdlib/queue.fl +65 -0
- package/self/stdlib/regex.fl +11 -0
- package/self/stdlib/resource.fl +61 -0
- package/self/stdlib/search.fl +54 -0
- package/self/stdlib/set-extra.fl +35 -0
- package/self/stdlib/sort.fl +61 -0
- package/self/stdlib/stack.fl +54 -0
- package/self/stdlib/stats.fl +110 -0
- package/self/stdlib/stream.fl +56 -0
- package/self/stdlib/string-extended.fl +25 -0
- package/self/stdlib/string-extra.fl +40 -0
- package/self/stdlib/string.fl +21 -0
- package/self/stdlib/test-helpers.fl +51 -0
- package/self/stdlib/test-runner.fl +76 -0
- package/self/stdlib/time-extra.fl +27 -0
- package/self/stdlib/time.fl +31 -0
- package/self/stdlib/tree.fl +57 -0
- package/self/stdlib/types.fl +85 -0
- package/self/stdlib/url.fl +33 -0
- package/self/stdlib/uuid.fl +28 -0
- package/self/stdlib/validation.fl +42 -0
- package/self/stdlib/vector-math.fl +52 -0
- package/self/stdlib/ws.fl +52 -0
- package/self/tests/mongodb-phase3.fl +75 -0
- package/self/tests/mongodb-wire-phase2.fl +45 -0
- package/self/tests/test-ast.fl +36 -0
- package/self/tests/test-builtins.fl +340 -0
- package/self/tests/test-char-class.fl +29 -0
- package/self/tests/test-codegen-builtins.fl +240 -0
- package/self/tests/test-codegen-ext.fl +380 -0
- package/self/tests/test-codegen-ffi.fl +295 -0
- package/self/tests/test-codegen-fn.fl +177 -0
- package/self/tests/test-codegen-match.fl +161 -0
- package/self/tests/test-codegen-run.fl +252 -0
- package/self/tests/test-codegen-sf.fl +262 -0
- package/self/tests/test-codegen.fl +260 -0
- package/self/tests/test-core-fl.fl +63 -0
- package/self/tests/test-forward-decl.fl +5 -0
- package/self/tests/test-func-block.fl +4 -0
- package/self/tests/test-interp-user-fn.fl +296 -0
- package/self/tests/test-interp.fl +225 -0
- package/self/tests/test-lexer.fl +162 -0
- package/self/tests/test-list-debug.fl +21 -0
- package/self/tests/test-mutual-rec.fl +6 -0
- package/self/tests/test-parser-debug.fl +35 -0
- package/self/tests/test-parser-full-debug.fl +66 -0
- package/self/tests/test-parser-lex-debug.fl +107 -0
- package/self/tests/test-parser-lex-only.fl +40 -0
- package/self/tests/test-parser-simple-debug.fl +35 -0
- package/self/tests/test-parser.fl +262 -0
- package/self/tests/test-real-stdlib.fl +377 -0
- package/self/tests/test-scope.fl +74 -0
- package/self/tests/test-selfcompile.fl +325 -0
- package/self/tests/test-stdlib.fl +44 -0
- package/self/tests/test-tco.fl +16 -0
- package/self/tests/test-token.fl +4 -0
- package/self/token.fl +38 -0
- package/self/token.self.js +8 -0
- package/self/v12-driver.fl +16 -0
- package/self/verify.fl +39 -0
- package/self-evolve/1-observe-ast.fl +28 -0
- package/self-evolve/2-inspect-block.fl +35 -0
- package/self-evolve/3-full-ast-json.fl +10 -0
- package/self-evolve/4-trace-block-fields.fl +23 -0
- package/self-evolve/5-analyze-do-ast.fl +29 -0
- package/self-evolve/6-test-do-elim-simple.fl +14 -0
- package/self-evolve/debug-evaluate.fl +24 -0
- package/self-evolve/debug-gen1-const-fold.fl +57 -0
- package/self-evolve/debug-map.fl +15 -0
- package/self-evolve/debug-optimize-simple.fl +95 -0
- package/self-evolve/debug-recursive-map.fl +23 -0
- package/self-evolve/logs/gen-0.fl +1658 -0
- package/self-evolve/logs/gen-1.fl +1658 -0
- package/self-evolve/logs/gen-2.fl +1658 -0
- package/self-evolve/logs/speed-gen-0.fl +1423 -0
- package/self-evolve/run-semantic-test.js +130 -0
- package/self-evolve/test-basic.fl +19 -0
- package/self-evolve/test-fold-direct.fl +60 -0
- package/self-evolve/test-gen1-simple.fl +67 -0
- package/self-evolve/test-optimize-debug.fl +63 -0
- package/self-evolve/tmp-test.fl +1 -0
- package/self-evolve/v11-analyzer.fl +40 -0
- package/self-evolve/v11-benchmark.fl +45 -0
- package/self-evolve/v11-evolution-real.fl +45 -0
- package/self-evolve/v11-evolution.fl +32 -0
- package/self-evolve/v11-gen1-validate.fl +157 -0
- package/self-evolve/v11-optimizer-constant-fold.fl +124 -0
- package/self-evolve/v11-optimizer-dead-expr.fl +111 -0
- package/self-evolve/v11-optimizer-gen1-complete.fl +180 -0
- package/self-evolve/v11-optimizer-gen1.fl +68 -0
- package/self-evolve/v11-optimizer.fl +56 -0
- package/self-evolve/v11-semantic-test.fl +54 -0
- package/self-evolve/v11-speed-benchmark.fl +106 -0
- package/self-evolve/v11-speed-optimizer.fl +79 -0
- package/src/AGENT-DSL.md +527 -0
- package/src/CLI-DEPLOYMENT.md +204 -0
- package/src/CLI.md +361 -0
- package/src/EXPRESS-ADVANCED.md +294 -0
- package/src/EXPRESS-AUTH.md +365 -0
- package/src/EXPRESS-CACHE.md +409 -0
- package/src/EXPRESS-COMPLETE.md +569 -0
- package/src/EXPRESS-README.md +121 -0
- package/src/EXPRESS-TEST.md +492 -0
- package/src/EXPRESS-WEBSOCKET.md +391 -0
- package/src/LOGGING-GUIDE.md +354 -0
- package/src/STORAGE-GUIDE.md +416 -0
- package/src/__tests__/advanced.test.ts +573 -0
- package/src/__tests__/ai-library.test.ts +210 -0
- package/src/__tests__/build-determinism.test.ts +33 -0
- package/src/__tests__/builtins-advanced.test.ts +150 -0
- package/src/__tests__/builtins-sanity.test.ts +180 -0
- package/src/__tests__/codegen.let.test.ts +81 -0
- package/src/__tests__/core.test.ts +188 -0
- package/src/__tests__/coverage-boost.test.ts +626 -0
- package/src/__tests__/cron-scheduler.test.ts +269 -0
- package/src/__tests__/enterprise-blocks.test.ts +63 -0
- package/src/__tests__/errors.test.ts +313 -0
- package/src/__tests__/integration.test.ts +219 -0
- package/src/__tests__/interpreter.test.ts +170 -0
- package/src/__tests__/l2-proof.test.ts +78 -0
- package/src/__tests__/lexer-parser.test.ts +366 -0
- package/src/__tests__/lexer.test.ts +106 -0
- package/src/__tests__/mariadb-prepared-statement.test.ts +206 -0
- package/src/__tests__/migrate.test.ts +403 -0
- package/src/__tests__/mongodb-integration.test.ts.skip +207 -0
- package/src/__tests__/mongodb-phase4.test.ts +132 -0
- package/src/__tests__/p1-1-parallel-tasks.test.ts +179 -0
- package/src/__tests__/p1-2-compensation.test.ts +242 -0
- package/src/__tests__/p1-3-distributed.test.ts +160 -0
- package/src/__tests__/p1-4-observability.test.ts +161 -0
- package/src/__tests__/parser.test.ts +142 -0
- package/src/__tests__/phase151-self-evolve.test.ts +161 -0
- package/src/__tests__/rate-limiter.test.ts +274 -0
- package/src/__tests__/self-hosting.test.ts +174 -0
- package/src/__tests__/semantic-preservation.test.ts +207 -0
- package/src/__tests__/setup.ts +34 -0
- package/src/__tests__/special-forms-advanced.test.ts +106 -0
- package/src/__tests__/stdlib-crypto-rsa.test.ts +122 -0
- package/src/__tests__/stdlib-f4.test.ts +159 -0
- package/src/__tests__/stdlib-helpers.test.ts +128 -0
- package/src/__tests__/stdlib-modules.test.ts +161 -0
- package/src/__tests__/stdlib-mongodb.test.ts +331 -0
- package/src/__tests__/stdlib-new.test.ts +269 -0
- package/src/__tests__/stdlib-perf.test.ts +125 -0
- package/src/__tests__/stdlib-phase-b.test.ts +249 -0
- package/src/__tests__/stdlib.test.ts +163 -0
- package/src/__tests__/v12-alpha.test.ts +205 -0
- package/src/__tests__/vm-optin.test.ts +141 -0
- package/src/__tests__/web-integration.test.ts +1452 -0
- package/src/__tests__/weblibs.test.ts +210 -0
- package/src/_aliases.json +1123 -0
- package/src/_mongodb_helper.js +272 -0
- package/src/_stdlib-signatures.json +1 -0
- package/src/agent-chain.ts +71 -0
- package/src/agent-dsl.fl +168 -0
- package/src/agent-example-error-handling.fl +51 -0
- package/src/agent-example-sequential.fl +66 -0
- package/src/agent-example-state-tracking.fl +70 -0
- package/src/agent.ts +393 -0
- package/src/align.ts +349 -0
- package/src/analogy.ts +78 -0
- package/src/ast-helpers.ts +199 -0
- package/src/ast.ts +817 -0
- package/src/async-runtime.ts +263 -0
- package/src/belief.ts +86 -0
- package/src/benchmark-self.ts +275 -0
- package/src/benchmarks/bench-interpreter.ts +73 -0
- package/src/benchmarks/bench-runner.ts +85 -0
- package/src/benchmarks/bench-vm.ts +128 -0
- package/src/browser-debug-panel.ts +220 -0
- package/src/browser-entry.ts +79 -0
- package/src/browser-stubs/child-process-stubs.ts +6 -0
- package/src/browser-stubs/crypto-stubs.ts +15 -0
- package/src/browser-stubs/misc-stubs.ts +4 -0
- package/src/browser-stubs/node-stubs.ts +17 -0
- package/src/browser-stubs/path-stubs.ts +6 -0
- package/src/bytecode.ts +41 -0
- package/src/causal.ts +258 -0
- package/src/chain-agents.ts +86 -0
- package/src/checkpoint.ts +106 -0
- package/src/ci-runner.ts +279 -0
- package/src/cli.ts +2136 -0
- package/src/codegen-js.ts +847 -0
- package/src/cognitive.ts +95 -0
- package/src/compete.ts +60 -0
- package/src/compiler.ts +267 -0
- package/src/compose-reason.ts +118 -0
- package/src/consensus.ts +109 -0
- package/src/context-window.ts +139 -0
- package/src/cot.ts +241 -0
- package/src/counterfactual.ts +268 -0
- package/src/critique.ts +77 -0
- package/src/crossover.ts +218 -0
- package/src/curiosity.ts +305 -0
- package/src/debate.ts +64 -0
- package/src/debug-api.ts +92 -0
- package/src/debugger.ts +185 -0
- package/src/delegate.ts +78 -0
- package/src/doc-extractor.ts +255 -0
- package/src/doc-renderer.ts +131 -0
- package/src/echo-server-demo.fl +17 -0
- package/src/error-formatter.ts +369 -0
- package/src/error-system.ts +88 -0
- package/src/errors.ts +281 -0
- package/src/ethics-check.ts +408 -0
- package/src/eval-ai-blocks.ts +182 -0
- package/src/eval-ai-handlers.ts +132 -0
- package/src/eval-builtins-ai.ts +1659 -0
- package/src/eval-builtins.ts +5956 -0
- package/src/eval-call-function.ts +665 -0
- package/src/eval-infra-blocks.ts +450 -0
- package/src/eval-module-system.ts +286 -0
- package/src/eval-pattern-match.ts +289 -0
- package/src/eval-phase150.ts +87 -0
- package/src/eval-reasoning-sequence.ts +218 -0
- package/src/eval-special-forms.ts +2154 -0
- package/src/eval-style-blocks.ts +193 -0
- package/src/eval-type-classes.ts +148 -0
- package/src/evolve.ts +276 -0
- package/src/explain.ts +345 -0
- package/src/express-advanced.fl +78 -0
- package/src/express-auth.fl +118 -0
- package/src/express-cache.fl +118 -0
- package/src/express-chat.fl +81 -0
- package/src/express-example.fl +67 -0
- package/src/express-test.fl +331 -0
- package/src/express.fl +92 -0
- package/src/fitness.ts +238 -0
- package/src/fl-app-demo.fl +19 -0
- package/src/fl-files/fl-fmt.fl +29 -0
- package/src/fl-files/fl-lint.fl +61 -0
- package/src/fl-files/fl-test.fl +52 -0
- package/src/fl-http-demo.fl +19 -0
- package/src/fl-list-utils.fl +108 -0
- package/src/fl-math-lib.fl +14 -0
- package/src/fl-sdk.ts +154 -0
- package/src/fl-server-demo.fl +74 -0
- package/src/fl-str-utils.fl +29 -0
- package/src/fl-tutor.ts +126 -0
- package/src/formatter.ts +581 -0
- package/src/freelang-codegen.fl +904 -0
- package/src/freelang-interpreter.fl +483 -0
- package/src/freelang-lexer.fl +337 -0
- package/src/freelang-parser.fl +349 -0
- package/src/freelang-stdlib.fl +246 -0
- package/src/freelang-typechecker.fl +422 -0
- package/src/freelang-v9-complete.ts +474 -0
- package/src/generation.ts +201 -0
- package/src/gpt-mini-p3.fl +316 -0
- package/src/hot-reload.ts +235 -0
- package/src/http-server-runner.ts +89 -0
- package/src/hypothesis.ts +62 -0
- package/src/immutable.ts +140 -0
- package/src/interpreter-context.ts +87 -0
- package/src/interpreter-scope.ts +140 -0
- package/src/interpreter.ts +2351 -0
- package/src/lazy-seq.ts +134 -0
- package/src/learned-facts-store.ts +306 -0
- package/src/lexer.ts +359 -0
- package/src/lint-rules.ts +584 -0
- package/src/linter.ts +237 -0
- package/src/logger.ts +128 -0
- package/src/logging-deterministic.fl +138 -0
- package/src/lsp-server.ts +379 -0
- package/src/macro-expander.ts +195 -0
- package/src/maybe-chain.ts +108 -0
- package/src/maybe-type.ts +163 -0
- package/src/memory-system.ts +142 -0
- package/src/meta-reason.ts +93 -0
- package/src/multi-agent-hub.ts +247 -0
- package/src/multi-agent.ts +101 -0
- package/src/mutate.ts +226 -0
- package/src/negotiate.ts +55 -0
- package/src/optimizer.ts +277 -0
- package/src/orchestrate.ts +154 -0
- package/src/package-manager.ts +375 -0
- package/src/parser.ts +2722 -0
- package/src/peer-review.ts +53 -0
- package/src/predict.ts +365 -0
- package/src/profiler.ts +150 -0
- package/src/prompt-compiler.ts +123 -0
- package/src/protocol.ts +114 -0
- package/src/prune.ts +195 -0
- package/src/quality-loop.ts +105 -0
- package/src/rag.ts +81 -0
- package/src/reasoning-debugger.ts +122 -0
- package/src/refactor-self.ts +362 -0
- package/src/reflect.ts +186 -0
- package/src/repl.ts +323 -0
- package/src/result-type.ts +126 -0
- package/src/return-signal.ts +10 -0
- package/src/runtime-entry.ts +8 -0
- package/src/runtime-helpers.ts +234 -0
- package/src/self-evolution-hub.ts +431 -0
- package/src/self-improve.ts +107 -0
- package/src/source-map.ts +114 -0
- package/src/stdlib-agent.js +164 -0
- package/src/stdlib-agent.ts +225 -0
- package/src/stdlib-ai-native.ts +176 -0
- package/src/stdlib-ai-workflow.ts +308 -0
- package/src/stdlib-ai.ts +180 -0
- package/src/stdlib-async.ts +179 -0
- package/src/stdlib-audit.ts +94 -0
- package/src/stdlib-auth.ts +196 -0
- package/src/stdlib-bits.ts +86 -0
- package/src/stdlib-blog.ts +127 -0
- package/src/stdlib-browser.ts +239 -0
- package/src/stdlib-cache.ts +147 -0
- package/src/stdlib-capture-error.ts +183 -0
- package/src/stdlib-channel.ts +96 -0
- package/src/stdlib-checkpoint.js +109 -0
- package/src/stdlib-checkpoint.ts +97 -0
- package/src/stdlib-cloud.ts +317 -0
- package/src/stdlib-collection.ts +227 -0
- package/src/stdlib-compile.ts +111 -0
- package/src/stdlib-cron.ts +219 -0
- package/src/stdlib-crypto-rsa.ts +82 -0
- package/src/stdlib-crypto.js +203 -0
- package/src/stdlib-crypto.ts +208 -0
- package/src/stdlib-data.ts +614 -0
- package/src/stdlib-db-query.ts +198 -0
- package/src/stdlib-db.ts +185 -0
- package/src/stdlib-distributed.ts +292 -0
- package/src/stdlib-error.ts +90 -0
- package/src/stdlib-fd.ts +130 -0
- package/src/stdlib-feed.ts +171 -0
- package/src/stdlib-file.ts +182 -0
- package/src/stdlib-helpers.ts +273 -0
- package/src/stdlib-http-macro.ts +178 -0
- package/src/stdlib-http-server.ts +1229 -0
- package/src/stdlib-http.ts +405 -0
- package/src/stdlib-image.ts +92 -0
- package/src/stdlib-kebab-aliases.ts +131 -0
- package/src/stdlib-lazy-registry.ts +106 -0
- package/src/stdlib-loader.ts +810 -0
- package/src/stdlib-mail.ts +251 -0
- package/src/stdlib-mariadb.ts +467 -0
- package/src/stdlib-markdown.ts +227 -0
- package/src/stdlib-matrix.ts +170 -0
- package/src/stdlib-middleware.ts +221 -0
- package/src/stdlib-module.ts +178 -0
- package/src/stdlib-mongodb.ts +174 -0
- package/src/stdlib-oci.ts +321 -0
- package/src/stdlib-optional.ts +56 -0
- package/src/stdlib-orm.ts +241 -0
- package/src/stdlib-perf.ts +140 -0
- package/src/stdlib-pg.ts +181 -0
- package/src/stdlib-plot.ts +196 -0
- package/src/stdlib-process.ts +120 -0
- package/src/stdlib-property.ts +157 -0
- package/src/stdlib-pubsub.ts +93 -0
- package/src/stdlib-queue-helpers.ts +92 -0
- package/src/stdlib-registry.ts +78 -0
- package/src/stdlib-resource.ts +553 -0
- package/src/stdlib-rest-crud.ts +146 -0
- package/src/stdlib-service.ts +206 -0
- package/src/stdlib-shell.ts +76 -0
- package/src/stdlib-stats.ts +172 -0
- package/src/stdlib-table.ts +200 -0
- package/src/stdlib-test-enhanced.ts +76 -0
- package/src/stdlib-test.ts +153 -0
- package/src/stdlib-time.js +217 -0
- package/src/stdlib-time.ts +282 -0
- package/src/stdlib-timer.ts +134 -0
- package/src/stdlib-totp.ts +110 -0
- package/src/stdlib-type-predicates.ts +136 -0
- package/src/stdlib-types.ts +107 -0
- package/src/stdlib-validation.ts +248 -0
- package/src/stdlib-verify.ts +181 -0
- package/src/stdlib-webauthn.ts +192 -0
- package/src/stdlib-workflow.js +715 -0
- package/src/stdlib-workflow.ts +950 -0
- package/src/stdlib-ws.ts +333 -0
- package/src/stdlib-wsc.test.ts +122 -0
- package/src/stdlib-wsc.ts +243 -0
- package/src/storage-unified.fl +279 -0
- package/src/streaming.ts +101 -0
- package/src/struct-system.ts +104 -0
- package/src/style-registry.ts +54 -0
- package/src/swarm.ts +89 -0
- package/src/tco.ts +31 -0
- package/src/test-advanced-patterns.ts +211 -0
- package/src/test-ast-debug.ts +20 -0
- package/src/test-ast-helpers.ts +208 -0
- package/src/test-async.ts +406 -0
- package/src/test-bootstrap-self-compile.ts +449 -0
- package/src/test-bootstrap-verification.ts +336 -0
- package/src/test-composition.ts +206 -0
- package/src/test-errors-phase6.ts +166 -0
- package/src/test-extended-monads.ts +313 -0
- package/src/test-field-parsing.ts +135 -0
- package/src/test-first-class-functions.ts +257 -0
- package/src/test-freelang-interpreter.ts +320 -0
- package/src/test-freelang-lexer.ts +306 -0
- package/src/test-freelang-parser.ts +268 -0
- package/src/test-fullstack-core.ts +258 -0
- package/src/test-fullstack-phase7-12.ts +305 -0
- package/src/test-fullstack-practical.ts +338 -0
- package/src/test-integration-stdlib.ts +195 -0
- package/src/test-interpreter-phase6.ts +305 -0
- package/src/test-lexer-comparison.ts +108 -0
- package/src/test-lexer-phase6.ts +271 -0
- package/src/test-modules.ts +325 -0
- package/src/test-monad-laws.ts +383 -0
- package/src/test-monads.ts +197 -0
- package/src/test-p0-checkpoint.ts +304 -0
- package/src/test-p0-conditional.ts +284 -0
- package/src/test-p0-error-handling.ts +231 -0
- package/src/test-p0-error-messages.ts +220 -0
- package/src/test-p1-1-parallel-tasks.js +214 -0
- package/src/test-parser-phase6.ts +222 -0
- package/src/test-performance.ts +206 -0
- package/src/test-phase10-data.ts +259 -0
- package/src/test-phase10-file.ts +216 -0
- package/src/test-phase100-stdlib-ai.ts +343 -0
- package/src/test-phase101-memory.ts +309 -0
- package/src/test-phase102-rag.ts +296 -0
- package/src/test-phase103-multi-agent.ts +418 -0
- package/src/test-phase104-try-reason.ts +459 -0
- package/src/test-phase105-streaming.ts +287 -0
- package/src/test-phase106-quality.ts +397 -0
- package/src/test-phase107-tutor.ts +305 -0
- package/src/test-phase108-debugger.ts +316 -0
- package/src/test-phase109-prompt-compiler.ts +333 -0
- package/src/test-phase11-12-complete.ts +275 -0
- package/src/test-phase11-error.ts +192 -0
- package/src/test-phase110-sdk.ts +320 -0
- package/src/test-phase111-hypothesis.ts +380 -0
- package/src/test-phase112-maybe-chain.ts +313 -0
- package/src/test-phase113-debate.ts +364 -0
- package/src/test-phase114-checkpoint.ts +348 -0
- package/src/test-phase115-meta-reason.ts +277 -0
- package/src/test-phase116-belief.ts +275 -0
- package/src/test-phase117-analogy.ts +325 -0
- package/src/test-phase118-critique.ts +308 -0
- package/src/test-phase119-compose.ts +434 -0
- package/src/test-phase12-http-shell.ts +120 -0
- package/src/test-phase120-cognitive.ts +297 -0
- package/src/test-phase121-consensus.ts +404 -0
- package/src/test-phase122-delegate.ts +411 -0
- package/src/test-phase123-vote.ts +339 -0
- package/src/test-phase124-negotiate.ts +403 -0
- package/src/test-phase125-swarm.ts +321 -0
- package/src/test-phase126-orchestrate.ts +343 -0
- package/src/test-phase127-peer-review.ts +279 -0
- package/src/test-phase128-chain-agents.ts +456 -0
- package/src/test-phase129-compete.ts +256 -0
- package/src/test-phase13-data.ts +223 -0
- package/src/test-phase130-hub.ts +390 -0
- package/src/test-phase131-evolve.ts +536 -0
- package/src/test-phase132-mutate.ts +268 -0
- package/src/test-phase133-crossover.ts +289 -0
- package/src/test-phase134-fitness.ts +306 -0
- package/src/test-phase135-generation.ts +328 -0
- package/src/test-phase136-prune.ts +228 -0
- package/src/test-phase137-refactor-self.ts +354 -0
- package/src/test-phase138-benchmark-self.ts +325 -0
- package/src/test-phase139-version-self.ts +278 -0
- package/src/test-phase14-collection.ts +254 -0
- package/src/test-phase140-self-evolution.ts +410 -0
- package/src/test-phase141-world-model.ts +387 -0
- package/src/test-phase142-causal.ts +384 -0
- package/src/test-phase143-counterfactual.ts +280 -0
- package/src/test-phase144-predict.ts +312 -0
- package/src/test-phase145-explain.ts +287 -0
- package/src/test-phase146-align.ts +439 -0
- package/src/test-phase147-ethics-check.ts +399 -0
- package/src/test-phase148-curiosity.ts +247 -0
- package/src/test-phase149-wisdom.ts +758 -0
- package/src/test-phase15-agent.ts +320 -0
- package/src/test-phase150-complete.ts +481 -0
- package/src/test-phase16-time.ts +292 -0
- package/src/test-phase17-crypto.ts +312 -0
- package/src/test-phase18-integration.ts +429 -0
- package/src/test-phase19-resource.ts +214 -0
- package/src/test-phase20-server-db.ts +160 -0
- package/src/test-phase21-ws-auth-cache-pubsub.ts +212 -0
- package/src/test-phase22-process.ts +166 -0
- package/src/test-phase23-selfhosting.ts +383 -0
- package/src/test-phase24-codegen.ts +236 -0
- package/src/test-phase25-bootstrap.ts +227 -0
- package/src/test-phase26-map-filter-reduce.ts +282 -0
- package/src/test-phase27-stdlib-codegen.ts +325 -0
- package/src/test-phase28-loop-recur.ts +182 -0
- package/src/test-phase29-import.ts +165 -0
- package/src/test-phase3-web-server.ts +234 -0
- package/src/test-phase30-selfcompile.ts +254 -0
- package/src/test-phase31-gen2-lexer.ts +251 -0
- package/src/test-phase33-gen3-bootstrap.ts +323 -0
- package/src/test-phase34-parser-tco.ts +268 -0
- package/src/test-phase35-error-messages.ts +280 -0
- package/src/test-phase36-sourcemap.ts +240 -0
- package/src/test-phase37-variadic.ts +228 -0
- package/src/test-phase38-destructuring.ts +261 -0
- package/src/test-phase39-do-block.ts +288 -0
- package/src/test-phase40-const-fold.ts +249 -0
- package/src/test-phase41-repl.ts +312 -0
- package/src/test-phase42-watch.ts +314 -0
- package/src/test-phase43-format.ts +377 -0
- package/src/test-phase44-check.ts +505 -0
- package/src/test-phase45-interpreter.ts +367 -0
- package/src/test-phase46-match.ts +390 -0
- package/src/test-phase47-file-io.ts +338 -0
- package/src/test-phase48-types.ts +308 -0
- package/src/test-phase49-stdlib.ts +365 -0
- package/src/test-phase5-week1.ts +160 -0
- package/src/test-phase50-fl-server.ts +159 -0
- package/src/test-phase51-transformer.ts +152 -0
- package/src/test-phase52-import.ts +161 -0
- package/src/test-phase53-training.ts +122 -0
- package/src/test-phase54-fl-utils.ts +122 -0
- package/src/test-phase55-http-client.ts +182 -0
- package/src/test-phase56-lexical-scope.ts +230 -0
- package/src/test-phase58-module-refactor.ts +298 -0
- package/src/test-phase59-errors.ts +226 -0
- package/src/test-phase6-compile.ts +227 -0
- package/src/test-phase60-types.ts +457 -0
- package/src/test-phase61-tco.ts +209 -0
- package/src/test-phase63-macros.ts +191 -0
- package/src/test-phase64-protocols.ts +451 -0
- package/src/test-phase65-patterns.ts +301 -0
- package/src/test-phase66-structs.ts +215 -0
- package/src/test-phase67-concurrency.ts +348 -0
- package/src/test-phase68-pipeline.ts +209 -0
- package/src/test-phase69-lazy.ts +237 -0
- package/src/test-phase7-registry.ts +236 -0
- package/src/test-phase70-immutable.ts +488 -0
- package/src/test-phase71-ai-native.ts +252 -0
- package/src/test-phase72-integration.ts +533 -0
- package/src/test-phase73-formatter.ts +361 -0
- package/src/test-phase74-linter.ts +565 -0
- package/src/test-phase75-repl.ts +227 -0
- package/src/test-phase76-testrunner.ts +439 -0
- package/src/test-phase77-doc.ts +416 -0
- package/src/test-phase78-debugger.ts +370 -0
- package/src/test-phase79-watch.ts +224 -0
- package/src/test-phase8-oci.ts +264 -0
- package/src/test-phase80-ci.ts +282 -0
- package/src/test-phase81-pkg.ts +383 -0
- package/src/test-phase82-profiler.ts +336 -0
- package/src/test-phase83-vm.ts +318 -0
- package/src/test-phase84-optimizer.ts +424 -0
- package/src/test-phase85-codegen.ts +380 -0
- package/src/test-phase86-lsp.ts +533 -0
- package/src/test-phase87-packages.ts +277 -0
- package/src/test-phase88-selfhost.ts +412 -0
- package/src/test-phase89-bench.ts +361 -0
- package/src/test-phase9-flnext-v2.ts +372 -0
- package/src/test-phase9-learn.ts +241 -0
- package/src/test-phase9-reasoning.ts +312 -0
- package/src/test-phase9-search.ts +212 -0
- package/src/test-phase90-release.ts +365 -0
- package/src/test-phase91-maybe.ts +257 -0
- package/src/test-phase92-cot.ts +438 -0
- package/src/test-phase93-tot.ts +462 -0
- package/src/test-phase94-reflect.ts +498 -0
- package/src/test-phase95-context.ts +268 -0
- package/src/test-phase96-errors.ts +296 -0
- package/src/test-phase97-tools.ts +344 -0
- package/src/test-phase98-agent.ts +370 -0
- package/src/test-phase99-self-improve.ts +394 -0
- package/src/test-phase9a-websearch.ts +283 -0
- package/src/test-phase9ab-integration.ts +140 -0
- package/src/test-phase9b-persistence.ts +448 -0
- package/src/test-phase9c-conditional.ts +251 -0
- package/src/test-phase9c-extension.ts +270 -0
- package/src/test-phase9c-feedback.ts +263 -0
- package/src/test-phase9c-loop.ts +239 -0
- package/src/test-selfhosting-sh1.ts +41 -0
- package/src/test-selfhosting-sh2.ts +84 -0
- package/src/test-selfhosting-sh3.ts +61 -0
- package/src/test-selfhosting-sh4.ts +65 -0
- package/src/test-type-classes-dispatch.ts +202 -0
- package/src/test-type-classes.ts +320 -0
- package/src/test-type-inference.ts +464 -0
- package/src/test-typeclass-parsing-final.ts +218 -0
- package/src/test-typeclass-parsing.ts +264 -0
- package/src/todo-server-30116.ts +53 -0
- package/src/token.ts +130 -0
- package/src/tool-registry.ts +195 -0
- package/src/tot.ts +258 -0
- package/src/try-reason.ts +109 -0
- package/src/type-check-static.ts +417 -0
- package/src/type-checker.ts +245 -0
- package/src/type-inference.ts +271 -0
- package/src/type-system.ts +169 -0
- package/src/version-self.ts +219 -0
- package/src/vm-eligible.ts +106 -0
- package/src/vm.ts +219 -0
- package/src/vote.ts +127 -0
- package/src/vpm/checksum-test.fl +193 -0
- package/src/vpm/checksum.fl +219 -0
- package/src/vpm/error-test.fl +211 -0
- package/src/vpm/error.fl +218 -0
- package/src/vpm/lock-file.fl +380 -0
- package/src/vpm/logging-test.fl +194 -0
- package/src/vpm/logging.fl +294 -0
- package/src/vpm/resolver-test.fl +117 -0
- package/src/vpm/resolver.fl +618 -0
- package/src/vpm/semver-test.fl +180 -0
- package/src/vpm/semver.fl +143 -0
- package/src/vpm-cli.ts +1955 -0
- package/src/web/app-router.ts +286 -0
- package/src/web/fl-executor.ts +655 -0
- package/src/web/image-optimizer.ts +206 -0
- package/src/web/index.ts +14 -0
- package/src/web/page-renderer.ts +287 -0
- package/src/web/server.ts +553 -0
- package/src/web-search-adapter.ts +348 -0
- package/src/wisdom.ts +441 -0
- package/src/world-model.ts +348 -0
- package/stdlib/cache.fl +42 -0
- package/stdlib/csv.fl +38 -0
- package/stdlib/date-ext.fl +68 -0
- package/stdlib/log.fl +44 -0
- package/stdlib/math-ext.fl +57 -0
- package/stdlib/number-ext.fl +47 -0
- package/stdlib/queue.fl +57 -0
- package/stdlib/string-ext.fl +45 -0
- package/stdlib/validate.fl +123 -0
- package/stdlib/web/components.fl +125 -0
- package/stdlib/web/csrf.fl +61 -0
- package/stdlib/web/format.fl +75 -0
- package/stdlib/web/forms.fl +94 -0
- package/stdlib/web/image.fl +77 -0
- package/stdlib/web/metadata.fl +85 -0
- package/stdlib/web/pagination.fl +62 -0
- package/stdlib/web/state.fl +167 -0
- package/stdlib/web/styles.fl +68 -0
- package/stdlib/web/toast.fl +62 -0
- package/stdlib/web/v9-stdlib-dom.fl +92 -0
- package/stdlib/web/v9-stdlib-fetch.fl +90 -0
- package/stdlib/web/v9-stdlib-storage.fl +70 -0
- package/stdlib/web/v9-stdlib-ui.fl +115 -0
- package/stdlib/web/ws-client.fl +125 -0
- package/tests/.v11-backup/test-migrate-sample.fl +22 -0
- package/tests/PHASE-C-VERIFICATION-REPORT.md +125 -0
- package/tests/benchmark-v11.1.js +103 -0
- package/tests/evidence/01-about.html +1 -0
- package/tests/evidence/02-post-hello.html +1 -0
- package/tests/evidence/02-post-world.html +1 -0
- package/tests/evidence/03-home.html +1 -0
- package/tests/evidence/04-dist/404.html +1 -0
- package/tests/evidence/04-dist/about/index.html +1 -0
- package/tests/evidence/04-dist/index.html +1 -0
- package/tests/evidence/04-dist/post/hello/index.html +1 -0
- package/tests/evidence/04-dist/post/world/index.html +1 -0
- package/tests/evidence/05-dist/404.html +1 -0
- package/tests/evidence/05-dist/about/index.html +1 -0
- package/tests/evidence/05-dist/index.html +1 -0
- package/tests/evidence/05-dist/post/hello/index.html +1 -0
- package/tests/evidence/05-dist/post/world/index.html +1 -0
- package/tests/evidence/06-dist/404.html +1 -0
- package/tests/evidence/06-dist/about/index.html +1 -0
- package/tests/evidence/06-dist/index.html +1 -0
- package/tests/evidence/06-dist/post/hello/index.html +1 -0
- package/tests/evidence/06-dist/post/world/index.html +1 -0
- package/tests/evidence/07-markdown.html +1 -0
- package/tests/evidence/08-rss.xml +25 -0
- package/tests/evidence/09-robots.txt +4 -0
- package/tests/evidence/09-sitemap.xml +12 -0
- package/tests/evidence/10-jsonld.html +1 -0
- package/tests/evidence/_results.txt +11 -0
- package/tests/evidence/about.html +1 -0
- package/tests/evidence/home.html +1 -0
- package/tests/evidence/missing.html +42 -0
- package/tests/evidence/post-hello.html +1 -0
- package/tests/evidence/post-world.html +1 -0
- package/tests/fixtures/basic-app/about/page.fl +1 -0
- package/tests/fixtures/basic-app/api/echo/route.fl +5 -0
- package/tests/fixtures/basic-app/layout.fl +1 -0
- package/tests/fixtures/basic-app/not-found.fl +1 -0
- package/tests/fixtures/basic-app/page.fl +1 -0
- package/tests/fixtures/basic-app/post/[slug]/generate-static-params.fl +1 -0
- package/tests/fixtures/basic-app/post/[slug]/page.fl +1 -0
- package/tests/fixtures/stdlib-probes/blog.fl +6 -0
- package/tests/fixtures/stdlib-probes/jsonld.fl +1 -0
- package/tests/fixtures/stdlib-probes/map-probe.fl +3 -0
- package/tests/fixtures/stdlib-probes/map-shape.fl +2 -0
- package/tests/fixtures/stdlib-probes/md.fl +1 -0
- package/tests/fixtures/stdlib-probes/robots.fl +1 -0
- package/tests/fixtures/stdlib-probes/rss.fl +4 -0
- package/tests/fixtures/stdlib-probes/sitemap.fl +1 -0
- package/tests/l2/case-01-arithmetic.fl +6 -0
- package/tests/l2/case-02-comparisons.fl +15 -0
- package/tests/l2/case-03-logic.fl +15 -0
- package/tests/l2/case-04-control-flow.fl +15 -0
- package/tests/l2/case-05-functions.fl +13 -0
- package/tests/l2/case-06-collections.fl +14 -0
- package/tests/l2/case-07-pattern-matching.fl +14 -0
- package/tests/l2/case-08-recursion.fl +19 -0
- package/tests/l2/case-09-strings.fl +13 -0
- package/tests/l2/case-10-loops.fl +17 -0
- package/tests/l2/case-11-higher-order.fl +13 -0
- package/tests/l2/case-12-edge-cases.fl +14 -0
- package/tests/l2/case-13-ai-vector.fl +22 -0
- package/tests/l2/case-14-ai-cosine.fl +25 -0
- package/tests/l2/case-15-ai-template.fl +22 -0
- package/tests/l2/case-16-ai-ranking.fl +20 -0
- package/tests/l2/case-17-stdlib-extended.fl +32 -0
- package/tests/l2-proof/01-arithmetic.bootstrap.js +141 -0
- package/tests/l2-proof/01-arithmetic.fl +15 -0
- package/tests/l2-proof/01-arithmetic.stage1.js +141 -0
- package/tests/l2-proof/02-comparisons.bootstrap.js +141 -0
- package/tests/l2-proof/02-comparisons.fl +17 -0
- package/tests/l2-proof/03-logic.bootstrap.js +141 -0
- package/tests/l2-proof/03-logic.fl +15 -0
- package/tests/l2-proof/04-control-flow.bootstrap.js +146 -0
- package/tests/l2-proof/04-control-flow.fl +24 -0
- package/tests/l2-proof/05-functions.bootstrap.js +143 -0
- package/tests/l2-proof/05-functions.fl +16 -0
- package/tests/l2-proof/06-collections.bootstrap.js +146 -0
- package/tests/l2-proof/06-collections.fl +27 -0
- package/tests/l2-proof/07-pattern-matching.bootstrap.js +142 -0
- package/tests/l2-proof/07-pattern-matching.fl +23 -0
- package/tests/l2-proof/08-async-errors.bootstrap.js +142 -0
- package/tests/l2-proof/08-async-errors.fl +17 -0
- package/tests/l2-proof/09-strings.bootstrap.js +141 -0
- package/tests/l2-proof/09-strings.fl +13 -0
- package/tests/l2-proof/10-type-checks.bootstrap.js +141 -0
- package/tests/l2-proof/10-type-checks.fl +17 -0
- package/tests/l2-proof/11-recursion.bootstrap.js +143 -0
- package/tests/l2-proof/11-recursion.fl +21 -0
- package/tests/l2-proof/12-edge-cases.bootstrap.js +141 -0
- package/tests/l2-proof/12-edge-cases.fl +17 -0
- package/tests/parity/01-app-router-static.sh +18 -0
- package/tests/parity/02-app-router-dynamic.sh +18 -0
- package/tests/parity/03-layout-children.sh +17 -0
- package/tests/parity/04-not-found.sh +22 -0
- package/tests/parity/05-ssg.sh +21 -0
- package/tests/parity/06-parallel-render.sh +21 -0
- package/tests/parity/07-markdown.sh +16 -0
- package/tests/parity/08-rss-atom.sh +18 -0
- package/tests/parity/09-sitemap-robots.sh +23 -0
- package/tests/parity/10-jsonld.sh +16 -0
- package/tests/parity/11-blog-helpers.sh +28 -0
- package/tests/parity/12-api-routes.sh +25 -0
- package/tests/parity/_lib.sh +53 -0
- package/tests/parity/run-all.sh +89 -0
- package/tests/parity/score.sh +20 -0
- package/tests/phase-c-fuzzing.fl +89 -0
- package/tests/phase-c-property-testing.fl +137 -0
- package/tests/phase-c-sha-verification.fl +117 -0
- package/tests/phase-c-validation.fl +194 -0
- package/tests/property-testing.sh +47 -0
- package/tests/regen/let-in-expr-01.fl +5 -0
- package/tests/regen/let-in-expr-02.fl +6 -0
- package/tests/regen/let-in-expr-03.fl +4 -0
- package/tests/regen/let-in-expr-04.fl +6 -0
- package/tests/regen/let-in-expr-05.fl +5 -0
- package/tests/test-ai-library.fl +36 -0
- package/tests/test-andor.fl +2 -0
- package/tests/test-bootstrap-match.fl +5 -0
- package/tests/test-cg-final.fl +5 -0
- package/tests/test-cli.fl +19 -0
- package/tests/test-codegen.fl +4 -0
- package/tests/test-cond-flat.fl +1 -0
- package/tests/test-fl-exec-op.fl +1 -0
- package/tests/test-fp.fl +10 -0
- package/tests/test-funcs.fl +11 -0
- package/tests/test-fuzz-crash.fl +3 -0
- package/tests/test-http-get.fl +3 -0
- package/tests/test-json-load.fl +32 -0
- package/tests/test-let-flat.fl +2 -0
- package/tests/test-let-order.fl +3 -0
- package/tests/test-let-simple.fl +3 -0
- package/tests/test-let-syntax.fl +2 -0
- package/tests/test-let.fl +3 -0
- package/tests/test-lex-debug.fl +75 -0
- package/tests/test-loop-bug.fl +5 -0
- package/tests/test-map-entries.fl +1 -0
- package/tests/test-map-pattern.fl +3 -0
- package/tests/test-match-syntax.fl +5 -0
- package/tests/test-migrate-sample.fl +22 -0
- package/tests/test-neg.fl +1 -0
- package/tests/test-nested-let.fl +4 -0
- package/tests/test-node-to-pattern.fl +8 -0
- package/tests/test-quant-lib.fl +114 -0
- package/tests/test-reduce.fl +10 -0
- package/tests/test-server.fl +3 -0
- package/tests/test-simple-map.fl +4 -0
- package/tests/test-simple-match.fl +3 -0
- package/tests/test-simple.fl +1 -0
- package/tests/test-try-bootstrap.fl +7 -0
- package/tests/test-try-catch.fl +3 -0
- package/tests/test-watchdog-lib.fl +69 -0
- package/tests/test-which-lex.fl +4 -0
- package/tsconfig.json +39 -0
package/self/all.fl
ADDED
|
@@ -0,0 +1,1353 @@
|
|
|
1
|
+
;; self/all.fl — FreeLang 컴파일러 (self-hosted)
|
|
2
|
+
;; 독립선언 v1 달성 (2026-05-12) — L2 고정점 SHA256: 5fe0a3fd...
|
|
3
|
+
|
|
4
|
+
;; ── Lexer ───────────────────────────────────────────────────────────
|
|
5
|
+
;; 입력: source string
|
|
6
|
+
;; 출력: tokens list. 각 토큰 = {:kind :value :line :col}
|
|
7
|
+
;; 토큰 종류: LParen/RParen/LBracket/RBracket/LBrace/RBrace
|
|
8
|
+
;; Number/String/Symbol/Variable/Keyword/Unknown
|
|
9
|
+
|
|
10
|
+
;; ── char predicates
|
|
11
|
+
|
|
12
|
+
(defn is-digit? [$c]
|
|
13
|
+
(if (null? $c) false (and (>= $c "0") (<= $c "9"))))
|
|
14
|
+
|
|
15
|
+
(defn is-alpha? [$c]
|
|
16
|
+
(if (null? $c) false
|
|
17
|
+
(or (and (>= $c "a") (<= $c "z"))
|
|
18
|
+
(and (>= $c "A") (<= $c "Z")))))
|
|
19
|
+
|
|
20
|
+
(defn is-alnum? [$c]
|
|
21
|
+
(or (is-digit? $c) (is-alpha? $c)))
|
|
22
|
+
|
|
23
|
+
(defn is-space? [$c]
|
|
24
|
+
(or (= $c " ") (= $c "\t") (= $c "\n") (= $c "\r")))
|
|
25
|
+
|
|
26
|
+
(defn is-symbol-char? [$c]
|
|
27
|
+
(if (null? $c) false
|
|
28
|
+
(or (is-alnum? $c)
|
|
29
|
+
(= $c "-") (= $c "_") (= $c "?") (= $c "!")
|
|
30
|
+
(= $c "/") (= $c ".") (= $c "<") (= $c ">")
|
|
31
|
+
(= $c "=") (= $c "+") (= $c "*") (= $c "%")
|
|
32
|
+
(= $c "&") (= $c "|") (= $c "^") (= $c "~"))))
|
|
33
|
+
|
|
34
|
+
;; ── state = {:src :idx :line :col :tokens}
|
|
35
|
+
|
|
36
|
+
(defn make-state [$src]
|
|
37
|
+
{:src $src :idx 0 :line 1 :col 1 :tokens []})
|
|
38
|
+
|
|
39
|
+
(defn peek-at [$st $offset]
|
|
40
|
+
(let [[$src (get $st :src)]
|
|
41
|
+
[$i (+ (get $st :idx) $offset)]]
|
|
42
|
+
(if (>= $i (length $src)) null (char-at $src $i))))
|
|
43
|
+
|
|
44
|
+
(defn peek [$st]
|
|
45
|
+
(peek-at $st 0))
|
|
46
|
+
|
|
47
|
+
(defn at-end? [$st]
|
|
48
|
+
(>= (get $st :idx) (length (get $st :src))))
|
|
49
|
+
|
|
50
|
+
(defn advance [$st]
|
|
51
|
+
(let [[$c (peek $st)]]
|
|
52
|
+
(if (= $c "\n")
|
|
53
|
+
{:src (get $st :src) :idx (+ (get $st :idx) 1)
|
|
54
|
+
:line (+ (get $st :line) 1) :col 1
|
|
55
|
+
:tokens (get $st :tokens)}
|
|
56
|
+
{:src (get $st :src) :idx (+ (get $st :idx) 1)
|
|
57
|
+
:line (get $st :line) :col (+ (get $st :col) 1)
|
|
58
|
+
:tokens (get $st :tokens)})))
|
|
59
|
+
|
|
60
|
+
(defn emit [$st $kind $value $sl $sc]
|
|
61
|
+
{:src (get $st :src) :idx (get $st :idx)
|
|
62
|
+
:line (get $st :line) :col (get $st :col)
|
|
63
|
+
:tokens (append (get $st :tokens)
|
|
64
|
+
{:kind $kind :type $kind :value $value :line $sl :col $sc})})
|
|
65
|
+
|
|
66
|
+
;; ── 스킵 (whitespace + ; line comment)
|
|
67
|
+
|
|
68
|
+
(defn skip-comment-loop [$cur]
|
|
69
|
+
(if (or (at-end? $cur) (= (peek $cur) "\n"))
|
|
70
|
+
(if (at-end? $cur) $cur (advance $cur))
|
|
71
|
+
(skip-comment-loop (advance $cur))))
|
|
72
|
+
|
|
73
|
+
(defn skip-comment [$st]
|
|
74
|
+
(skip-comment-loop $st))
|
|
75
|
+
|
|
76
|
+
(defn skip-ws-loop [$cur]
|
|
77
|
+
(if (at-end? $cur) $cur
|
|
78
|
+
(let [[$c (peek $cur)]]
|
|
79
|
+
(cond
|
|
80
|
+
[(is-space? $c) (skip-ws-loop (advance $cur))]
|
|
81
|
+
[(= $c ";") (skip-ws-loop (skip-comment $cur))]
|
|
82
|
+
[true $cur]))))
|
|
83
|
+
|
|
84
|
+
(defn skip-ws [$st]
|
|
85
|
+
(skip-ws-loop $st))
|
|
86
|
+
|
|
87
|
+
;; ── 숫자 (정수/실수/음수)
|
|
88
|
+
|
|
89
|
+
(defn read-number-iter [$cur $res_acc $dot $line $col]
|
|
90
|
+
(if (at-end? $cur) (emit $cur "Number" $res_acc $line $col)
|
|
91
|
+
(let [[$c (peek $cur)]]
|
|
92
|
+
(cond
|
|
93
|
+
[(is-digit? $c)
|
|
94
|
+
(read-number-iter (advance $cur) (str $res_acc $c) $dot $line $col)]
|
|
95
|
+
[(and (= $c ".") (not $dot))
|
|
96
|
+
(read-number-iter (advance $cur) (str $res_acc $c) true $line $col)]
|
|
97
|
+
[true (emit $cur "Number" $res_acc $line $col)]))))
|
|
98
|
+
|
|
99
|
+
(defn read-number-body [$st $acc $has-dot $line $col]
|
|
100
|
+
(read-number-iter $st $acc $has-dot $line $col))
|
|
101
|
+
|
|
102
|
+
(defn read-number [$st]
|
|
103
|
+
(read-number-body $st "" false (get $st :line) (get $st :col)))
|
|
104
|
+
|
|
105
|
+
;; ── 문자열 (escape \n \t \r \" \\)
|
|
106
|
+
|
|
107
|
+
(defn translate-esc [$c]
|
|
108
|
+
(cond
|
|
109
|
+
[(= $c "n") "\n"] [(= $c "t") "\t"] [(= $c "r") "\r"]
|
|
110
|
+
[(= $c "\"") "\""] [(= $c "\\") "\\"] [true $c]))
|
|
111
|
+
|
|
112
|
+
(defn read-string-iter [$cur $res_acc $line $col]
|
|
113
|
+
(if (at-end? $cur) (emit $cur "String" $res_acc $line $col)
|
|
114
|
+
(let [[$c (peek $cur)]]
|
|
115
|
+
(cond
|
|
116
|
+
[(= $c "\"")
|
|
117
|
+
(emit (advance $cur) "String" $res_acc $line $col)]
|
|
118
|
+
[(= $c "\\")
|
|
119
|
+
(let [[$st2 (advance $cur)] [$c2 (peek $st2)]]
|
|
120
|
+
(read-string-iter (advance $st2) (str $res_acc (translate-esc $c2)) $line $col))]
|
|
121
|
+
[true
|
|
122
|
+
(read-string-iter (advance $cur) (str $res_acc $c) $line $col)]))))
|
|
123
|
+
|
|
124
|
+
(defn read-string-body [$st $acc $line $col]
|
|
125
|
+
(read-string-iter $st $acc $line $col))
|
|
126
|
+
|
|
127
|
+
(defn read-string [$st]
|
|
128
|
+
(let [[$line (get $st :line)] [$col (get $st :col)]
|
|
129
|
+
[$st1 (advance $st)]]
|
|
130
|
+
(read-string-body $st1 "" $line $col)))
|
|
131
|
+
|
|
132
|
+
;; ── 심볼 / 변수 / 키워드 (모두 symbol-char 연속)
|
|
133
|
+
|
|
134
|
+
(defn read-symbol-iter [$cur $res_acc $line $col $kind]
|
|
135
|
+
(if (at-end? $cur) (emit $cur $kind $res_acc $line $col)
|
|
136
|
+
(let [[$c (peek $cur)]]
|
|
137
|
+
(if (is-symbol-char? $c)
|
|
138
|
+
(read-symbol-iter (advance $cur) (str $res_acc $c) $line $col $kind)
|
|
139
|
+
(emit $cur $kind $res_acc $line $col)))))
|
|
140
|
+
|
|
141
|
+
(defn read-symbol-body-kind [$st $acc $line $col $kind]
|
|
142
|
+
(read-symbol-iter $st $acc $line $col $kind))
|
|
143
|
+
|
|
144
|
+
(defn read-symbol [$st]
|
|
145
|
+
(read-symbol-body-kind $st "" (get $st :line) (get $st :col) "Symbol"))
|
|
146
|
+
|
|
147
|
+
(defn read-variable [$st]
|
|
148
|
+
(let [[$line (get $st :line)] [$col (get $st :col)]
|
|
149
|
+
[$st1 (advance $st)]]
|
|
150
|
+
(read-symbol-body-kind $st1 "" $line $col "Variable")))
|
|
151
|
+
|
|
152
|
+
(defn read-keyword [$st]
|
|
153
|
+
(let [[$line (get $st :line)] [$col (get $st :col)]
|
|
154
|
+
[$st1 (advance $st)]]
|
|
155
|
+
(read-symbol-body-kind $st1 "" $line $col "Keyword")))
|
|
156
|
+
|
|
157
|
+
;; ── 토큰 하나 읽기
|
|
158
|
+
|
|
159
|
+
(defn read-token [$st]
|
|
160
|
+
(let [[$st1 (skip-ws $st)]]
|
|
161
|
+
(if (at-end? $st1) $st1
|
|
162
|
+
(let [[$c (peek $st1)] [$line (get $st1 :line)] [$col (get $st1 :col)]]
|
|
163
|
+
(cond
|
|
164
|
+
[(= $c "(") (emit (advance $st1) "LParen" $c $line $col)]
|
|
165
|
+
[(= $c ")") (emit (advance $st1) "RParen" $c $line $col)]
|
|
166
|
+
[(= $c "[") (emit (advance $st1) "LBracket" $c $line $col)]
|
|
167
|
+
[(= $c "]") (emit (advance $st1) "RBracket" $c $line $col)]
|
|
168
|
+
[(= $c "{") (emit (advance $st1) "LBrace" $c $line $col)]
|
|
169
|
+
[(= $c "}") (emit (advance $st1) "RBrace" $c $line $col)]
|
|
170
|
+
[(= $c "\"") (read-string $st1)]
|
|
171
|
+
[(= $c "$") (read-variable $st1)]
|
|
172
|
+
[(= $c ":") (read-keyword $st1)]
|
|
173
|
+
[(is-digit? $c) (read-number $st1)]
|
|
174
|
+
[(and (= $c "-") (is-digit? (peek-at $st1 1)))
|
|
175
|
+
(read-number-body (advance $st1) "-" false $line $col)]
|
|
176
|
+
[(is-symbol-char? $c) (read-symbol $st1)]
|
|
177
|
+
[true (emit (advance $st1) "Unknown" $c $line $col)])))))
|
|
178
|
+
|
|
179
|
+
;; ── 메인 루프 — 모든 토큰 수집
|
|
180
|
+
|
|
181
|
+
(defn lex-loop [$cur]
|
|
182
|
+
(let [[$ws (skip-ws $cur)]]
|
|
183
|
+
(if (at-end? $ws)
|
|
184
|
+
(get $ws :tokens)
|
|
185
|
+
(lex-loop (read-token $ws)))))
|
|
186
|
+
|
|
187
|
+
(defn lex [$src]
|
|
188
|
+
(lex-loop (make-state $src)))
|
|
189
|
+
|
|
190
|
+
;; ── AST 노드 생성자 ─────────────────────────────────────────────────
|
|
191
|
+
;; 모든 노드는 plain map: {:kind "..." ...필드}
|
|
192
|
+
|
|
193
|
+
;; ── 21 기본 원자 (Literal/Variable/Keyword/SExpr)
|
|
194
|
+
|
|
195
|
+
(defn make-literal [type value line]
|
|
196
|
+
{:kind "literal" :type type :value value :line line})
|
|
197
|
+
|
|
198
|
+
(defn make-variable [name line]
|
|
199
|
+
{:kind "variable" :name name :line line})
|
|
200
|
+
|
|
201
|
+
(defn make-keyword [name line]
|
|
202
|
+
{:kind "keyword" :name name :line line})
|
|
203
|
+
|
|
204
|
+
(defn make-sexpr [op args line]
|
|
205
|
+
{:kind "sexpr" :op op :args args :line line})
|
|
206
|
+
|
|
207
|
+
;; ── 22 SExpr 편의 + 원시값 래퍼
|
|
208
|
+
|
|
209
|
+
(defn make-number [v line]
|
|
210
|
+
(make-literal "number" v line))
|
|
211
|
+
|
|
212
|
+
(defn make-string [v line]
|
|
213
|
+
(make-literal "string" v line))
|
|
214
|
+
|
|
215
|
+
(defn make-bool [v line]
|
|
216
|
+
(make-literal "boolean" v line))
|
|
217
|
+
|
|
218
|
+
(defn make-null [line]
|
|
219
|
+
(make-literal "null" null line))
|
|
220
|
+
|
|
221
|
+
(defn make-symbol [v line]
|
|
222
|
+
(make-literal "symbol" v line))
|
|
223
|
+
|
|
224
|
+
;; ──────────────────────────────────────
|
|
225
|
+
;; 23 Block (Array/Map/Named)
|
|
226
|
+
;; fields 는 items(list) 또는 named map. block 의 type 으로 구분.
|
|
227
|
+
;; ──────────────────────────────────────
|
|
228
|
+
|
|
229
|
+
(defn make-block [type name fields line]
|
|
230
|
+
{:kind "block" :type type :name name :fields fields :line line})
|
|
231
|
+
|
|
232
|
+
(defn make-array-block [items line]
|
|
233
|
+
(make-block "Array" null {:items items} line))
|
|
234
|
+
|
|
235
|
+
(defn make-map-block [items line]
|
|
236
|
+
(make-block "Map" null {:items items} line))
|
|
237
|
+
|
|
238
|
+
;; ── 24 Pattern 7종
|
|
239
|
+
|
|
240
|
+
(defn make-pattern-literal [value line]
|
|
241
|
+
{:kind "pattern-literal" :value value :line line})
|
|
242
|
+
|
|
243
|
+
(defn make-pattern-variable [name line]
|
|
244
|
+
{:kind "pattern-variable" :name name :line line})
|
|
245
|
+
|
|
246
|
+
(defn make-pattern-wildcard [line]
|
|
247
|
+
{:kind "pattern-wildcard" :line line})
|
|
248
|
+
|
|
249
|
+
(defn make-pattern-list [items rest line]
|
|
250
|
+
{:kind "pattern-list" :items items :rest rest :line line})
|
|
251
|
+
|
|
252
|
+
(defn make-pattern-struct [type-name fields line]
|
|
253
|
+
{:kind "pattern-struct" :type type-name :fields fields :line line})
|
|
254
|
+
|
|
255
|
+
(defn make-pattern-or [alternatives line]
|
|
256
|
+
{:kind "pattern-or" :alternatives alternatives :line line})
|
|
257
|
+
|
|
258
|
+
(defn make-pattern-range [start end line]
|
|
259
|
+
{:kind "pattern-range" :start start :end end :line line})
|
|
260
|
+
|
|
261
|
+
;; ── 25 Pattern matching
|
|
262
|
+
|
|
263
|
+
(defn make-pattern-match [value cases line]
|
|
264
|
+
{:kind "pattern-match" :value value :cases cases :line line})
|
|
265
|
+
|
|
266
|
+
(defn make-match-case [pattern guard body line]
|
|
267
|
+
{:kind "match-case" :pattern pattern :guard guard :body body :line line})
|
|
268
|
+
|
|
269
|
+
;; ── 26 함수/타입
|
|
270
|
+
|
|
271
|
+
(defn make-function-value [params body captured-env name]
|
|
272
|
+
{:kind "function-value" :params params :body body
|
|
273
|
+
:capturedEnv captured-env :name name})
|
|
274
|
+
|
|
275
|
+
(defn make-type-class [name generics methods line]
|
|
276
|
+
{:kind "type-class" :name name :generics generics
|
|
277
|
+
:methods methods :line line})
|
|
278
|
+
|
|
279
|
+
(defn make-type-class-instance [class-name type-name impls line]
|
|
280
|
+
{:kind "type-class-instance" :class class-name :type type-name
|
|
281
|
+
:impls impls :line line})
|
|
282
|
+
|
|
283
|
+
;; ── 27 Module / Import
|
|
284
|
+
|
|
285
|
+
(defn make-module-block [name exports body line]
|
|
286
|
+
{:kind "module" :name name :exports exports :body body :line line})
|
|
287
|
+
|
|
288
|
+
(defn make-import-block [path alias names line]
|
|
289
|
+
{:kind "import" :path path :alias alias :names names :line line})
|
|
290
|
+
|
|
291
|
+
(defn make-open-block [module-name line]
|
|
292
|
+
{:kind "open" :module module-name :line line})
|
|
293
|
+
|
|
294
|
+
;; ── 28 AI 블록 (SearchBlock / LearnBlock / ReasoningBlock)
|
|
295
|
+
|
|
296
|
+
(defn make-search-block [query fields line]
|
|
297
|
+
{:kind "search-block" :query query :fields fields :line line})
|
|
298
|
+
|
|
299
|
+
(defn make-learn-block [topic fields line]
|
|
300
|
+
{:kind "learn-block" :topic topic :fields fields :line line})
|
|
301
|
+
|
|
302
|
+
(defn make-reasoning-block [name fields line]
|
|
303
|
+
{:kind "reasoning-block" :name name :fields fields :line line})
|
|
304
|
+
|
|
305
|
+
;; ── 29 Async / Try
|
|
306
|
+
|
|
307
|
+
(defn make-async-function [name params body line]
|
|
308
|
+
{:kind "async-function" :name name :params params :body body :line line})
|
|
309
|
+
|
|
310
|
+
(defn make-await [expr line]
|
|
311
|
+
{:kind "await" :expr expr :line line})
|
|
312
|
+
|
|
313
|
+
(defn make-try [body catch finally line]
|
|
314
|
+
{:kind "try" :body body :catch catch :finally finally :line line})
|
|
315
|
+
|
|
316
|
+
(defn make-catch [param body line]
|
|
317
|
+
{:kind "catch" :param param :body body :line line})
|
|
318
|
+
|
|
319
|
+
(defn make-throw [expr line]
|
|
320
|
+
{:kind "throw" :expr expr :line line})
|
|
321
|
+
|
|
322
|
+
(defn make-template-string [parts expressions line]
|
|
323
|
+
{:kind "template-string" :parts parts :expressions expressions :line line})
|
|
324
|
+
|
|
325
|
+
(defn make-loop [init condition update body line]
|
|
326
|
+
{:kind "loop" :init init :condition condition :update update :body body :line line})
|
|
327
|
+
|
|
328
|
+
;; ── 30 웹 노드 + deep-equal?
|
|
329
|
+
|
|
330
|
+
(defn make-page [name path fields line]
|
|
331
|
+
{:kind "page" :name name :path path :fields fields :line line})
|
|
332
|
+
|
|
333
|
+
(defn make-route [method path handler line]
|
|
334
|
+
{:kind "route" :method method :path path :handler handler :line line})
|
|
335
|
+
|
|
336
|
+
(defn make-component [name fields line]
|
|
337
|
+
{:kind "component" :name name :fields fields :line line})
|
|
338
|
+
|
|
339
|
+
(defn make-form [name fields line]
|
|
340
|
+
{:kind "form" :name name :fields fields :line line})
|
|
341
|
+
|
|
342
|
+
;; deep-equal? — 노드 비교 (line 무시)
|
|
343
|
+
;; Map 이면 모든 키를 순회, list 면 원소별, 원시값은 =.
|
|
344
|
+
|
|
345
|
+
(defn deep-equal? [a b]
|
|
346
|
+
(cond
|
|
347
|
+
[(and (null? a) (null? b)) true]
|
|
348
|
+
[(or (null? a) (null? b)) false]
|
|
349
|
+
[(and (list? a) (list? b)) (deep-equal-list? a b 0)]
|
|
350
|
+
[(and (map? a) (map? b)) (deep-equal-map? a b)]
|
|
351
|
+
[true (= a b)]))
|
|
352
|
+
|
|
353
|
+
(defn deep-equal-list? [a b i]
|
|
354
|
+
(cond
|
|
355
|
+
[(not (= (length a) (length b))) false]
|
|
356
|
+
[(>= i (length a)) true]
|
|
357
|
+
[(not (deep-equal? (get a i) (get b i))) false]
|
|
358
|
+
[true (deep-equal-list? a b (+ i 1))]))
|
|
359
|
+
|
|
360
|
+
;; Map 비교: :line 은 무시. keys 정렬 후 각 키의 값 비교.
|
|
361
|
+
(defn deep-equal-map? [a b]
|
|
362
|
+
(let [[ka (keys-no-line a)]
|
|
363
|
+
[kb (keys-no-line b)]]
|
|
364
|
+
(if (not (= (length ka) (length kb))) false
|
|
365
|
+
(deep-equal-map-keys? a b ka 0))))
|
|
366
|
+
|
|
367
|
+
(defn keys-no-line [m]
|
|
368
|
+
(filter (fn [k] (not (= k "line"))) (json_keys m)))
|
|
369
|
+
|
|
370
|
+
(defn deep-equal-map-keys? [a b ks i]
|
|
371
|
+
(cond
|
|
372
|
+
[(>= i (length ks)) true]
|
|
373
|
+
[(let [[k (get ks i)]]
|
|
374
|
+
(not (deep-equal? (get a k) (get b k)))) false]
|
|
375
|
+
[true (deep-equal-map-keys? a b ks (+ i 1))]))
|
|
376
|
+
|
|
377
|
+
;; ── 독립선언 v1: 누락 builtin 추가 ──────────────────────────
|
|
378
|
+
(defn json-keys [m] (obj-keys m))
|
|
379
|
+
;; list? / array? / map? 는 prelude builtin — 재정의 불필요
|
|
380
|
+
|
|
381
|
+
;; ── Parser ──────────────────────────────────────────────────────────
|
|
382
|
+
;; 입력: tokens (lexer 출력) / 출력: AST nodes
|
|
383
|
+
;; 모든 함수 [FUNC] 블록. 파서 상태 = {:tokens :idx}.
|
|
384
|
+
;; node 생성자는 self/ast.fl 정의 재사용. 테스트 단독 실행 위해 여기에도 복제.
|
|
385
|
+
|
|
386
|
+
;; ──────────────────────────────────────
|
|
387
|
+
;; AST 생성자 — self/ast.fl 에서 정의됨
|
|
388
|
+
;; (모든 make-* 함수는 ast.fl 표준 정의 참조)
|
|
389
|
+
;; ──────────────────────────────────────
|
|
390
|
+
|
|
391
|
+
;; ── 31 파서 상태 + peek/advance/expect
|
|
392
|
+
|
|
393
|
+
(defn p-make [$tokens]
|
|
394
|
+
{:tokens $tokens :idx 0 :ast []})
|
|
395
|
+
|
|
396
|
+
(defn p-peek [$p]
|
|
397
|
+
(let [[$i (get $p :idx)] [$t (get $p :tokens)]]
|
|
398
|
+
(if (>= $i (length $t)) null (get $t $i))))
|
|
399
|
+
|
|
400
|
+
(defn p-peek-at [$p $offset]
|
|
401
|
+
(let [[$i (+ (get $p :idx) $offset)] [$t (get $p :tokens)]]
|
|
402
|
+
(if (>= $i (length $t)) null (get $t $i))))
|
|
403
|
+
|
|
404
|
+
(defn p-end? [$p]
|
|
405
|
+
(>= (get $p :idx) (length (get $p :tokens))))
|
|
406
|
+
|
|
407
|
+
(defn p-advance [$p]
|
|
408
|
+
{:tokens (get $p :tokens) :idx (+ (get $p :idx) 1) :ast (get $p :ast)})
|
|
409
|
+
|
|
410
|
+
(defn p-with-ast [$p $ast]
|
|
411
|
+
{:tokens (get $p :tokens) :idx (get $p :idx) :ast $ast})
|
|
412
|
+
|
|
413
|
+
(defn p-append-ast [$p $node]
|
|
414
|
+
(p-with-ast $p (append (get $p :ast) $node)))
|
|
415
|
+
|
|
416
|
+
;; 2-tuple 반환용 map {:p p' :node n}
|
|
417
|
+
(defn r-pair [$p $node]
|
|
418
|
+
{:p $p :node $node})
|
|
419
|
+
|
|
420
|
+
;; ── 32 parseAtom — number/string/symbol/keyword/variable
|
|
421
|
+
|
|
422
|
+
(defn string-contains? [$s $substr]
|
|
423
|
+
(not (= -1 (str-index-of $s $substr))))
|
|
424
|
+
|
|
425
|
+
(defn parse-atom [$p]
|
|
426
|
+
(let [[$t (p-peek $p)] [$k (get $t :kind)] [$v (get $t :value)] [$line (get $t :line)]]
|
|
427
|
+
(cond
|
|
428
|
+
[(= $k "Number")
|
|
429
|
+
(r-pair (p-advance $p) (make-literal "number" $v $line))]
|
|
430
|
+
[(= $k "String")
|
|
431
|
+
(if (string-contains? $v (str "$" "{"))
|
|
432
|
+
(r-pair (p-advance $p) (make-template-string $v (list) $line))
|
|
433
|
+
(r-pair (p-advance $p) (make-literal "string" $v $line)))]
|
|
434
|
+
[(= $k "Symbol")
|
|
435
|
+
(r-pair (p-advance $p) (make-literal "symbol" $v $line))]
|
|
436
|
+
[(= $k "Variable")
|
|
437
|
+
(r-pair (p-advance $p) (make-variable $v $line))]
|
|
438
|
+
[(= $k "Keyword")
|
|
439
|
+
(r-pair (p-advance $p) (make-keyword $v $line))]
|
|
440
|
+
[true (r-pair (p-advance $p) (make-literal "unknown" $v $line))])))
|
|
441
|
+
|
|
442
|
+
;; ── 33 parse-expr — 단일 표현식 (atom 또는 S-expr/array/map/block)
|
|
443
|
+
|
|
444
|
+
(defn parse-expr [$p]
|
|
445
|
+
(let [[$t (p-peek $p)] [$k (get $t :kind)]]
|
|
446
|
+
(cond
|
|
447
|
+
[(= $k "LParen") (parse-sexpr $p)]
|
|
448
|
+
[(= $k "LBracket") (parse-bracket $p)]
|
|
449
|
+
[(= $k "LBrace") (parse-map $p)]
|
|
450
|
+
[true (parse-atom $p)])))
|
|
451
|
+
|
|
452
|
+
;; ── 33 parse-sexpr (parens)
|
|
453
|
+
|
|
454
|
+
(defn parse-sexpr [$p]
|
|
455
|
+
(let [[$start-tok (p-peek $p)] [$line (get $start-tok :line)]
|
|
456
|
+
[$p1 (p-advance $p)] ;; consume (
|
|
457
|
+
[$first (parse-args $p1 [])] ;; collect until )
|
|
458
|
+
[$p2 (get $first :p)] [$args (get $first :node)]]
|
|
459
|
+
(if (= (length $args) 0)
|
|
460
|
+
(r-pair (parse-consume-rparen $p2) (make-sexpr "" (list) $line))
|
|
461
|
+
(let [[$op-node (get $args 0)]
|
|
462
|
+
[$op (if (= (get $op-node :kind) "literal")
|
|
463
|
+
(get $op-node :value)
|
|
464
|
+
(if (= (get $op-node :kind) "variable")
|
|
465
|
+
(str "$" (get $op-node :name))
|
|
466
|
+
"unknown"))]
|
|
467
|
+
[$rest (slice $args 1 (length $args))]]
|
|
468
|
+
(cond
|
|
469
|
+
[(= $op "try")
|
|
470
|
+
;; try-catch-finally: (try body (catch param body) (finally body))
|
|
471
|
+
(let [[$body (if (> (length $rest) 0) (get $rest 0) null)]
|
|
472
|
+
[$catch-clause (if (> (length $rest) 1) (get $rest 1) null)]
|
|
473
|
+
[$finally-clause (if (> (length $rest) 2) (get $rest 2) null)]]
|
|
474
|
+
(r-pair (parse-consume-rparen $p2)
|
|
475
|
+
(make-try $body $catch-clause $finally-clause $line)))]
|
|
476
|
+
[(= $op "loop")
|
|
477
|
+
;; loop: (loop [[$i 0] (< $i 10) (+ $i 1)] body...)
|
|
478
|
+
;; 형식: (loop [init-binding condition update] body)
|
|
479
|
+
(let [[$loop-array (if (> (length $rest) 0) (get $rest 0) null)]
|
|
480
|
+
[$body-start (if (> (length $rest) 1) (get $rest 1) null)]]
|
|
481
|
+
(if (null? $loop-array)
|
|
482
|
+
(r-pair (parse-consume-rparen $p2) (make-sexpr "loop" (list) $line))
|
|
483
|
+
(if (not (= (get $loop-array :kind) "array"))
|
|
484
|
+
(r-pair (parse-consume-rparen $p2) (make-sexpr "loop" $rest $line))
|
|
485
|
+
(let [[$items (get $loop-array :items)]
|
|
486
|
+
[$init (if (> (length $items) 0) (get $items 0) null)]
|
|
487
|
+
[$condition (if (> (length $items) 1) (get $items 1) null)]
|
|
488
|
+
[$update (if (> (length $items) 2) (get $items 2) null)]
|
|
489
|
+
[$body-exprs (slice $rest 1 (length $rest))]]
|
|
490
|
+
(r-pair (parse-consume-rparen $p2)
|
|
491
|
+
(make-loop $init $condition $update
|
|
492
|
+
(if (= (length $body-exprs) 1)
|
|
493
|
+
(get $body-exprs 0)
|
|
494
|
+
(make-sexpr "do" $body-exprs $line))
|
|
495
|
+
$line))))))]
|
|
496
|
+
[true
|
|
497
|
+
(r-pair (parse-consume-rparen $p2)
|
|
498
|
+
(make-sexpr $op $rest $line))])))))
|
|
499
|
+
|
|
500
|
+
(defn parse-consume-rparen [$p]
|
|
501
|
+
(let [[$t (p-peek $p)]]
|
|
502
|
+
(if (and (not (null? $t)) (= (get $t :kind) "RParen"))
|
|
503
|
+
(p-advance $p)
|
|
504
|
+
$p)))
|
|
505
|
+
|
|
506
|
+
;; args 수집 (재귀): RParen 만나면 중단
|
|
507
|
+
(defn parse-args [$p $acc]
|
|
508
|
+
(let [[$t (p-peek $p)]]
|
|
509
|
+
(cond
|
|
510
|
+
[(null? $t) (r-pair $p $acc)]
|
|
511
|
+
[(= (get $t :kind) "RParen") (r-pair $p $acc)]
|
|
512
|
+
[(= (get $t :kind) "RBracket") (r-pair $p $acc)]
|
|
513
|
+
[(= (get $t :kind) "RBrace") (r-pair $p $acc)]
|
|
514
|
+
[true
|
|
515
|
+
(let [[$one (parse-expr $p)]]
|
|
516
|
+
(parse-args (get $one :p) (append $acc (get $one :node))))])))
|
|
517
|
+
|
|
518
|
+
;; ── 34 parse-bracket — [a b c] 또는 [FUNC ...] 블록
|
|
519
|
+
|
|
520
|
+
(defn parse-bracket [$p]
|
|
521
|
+
(let [[$tok (p-peek $p)] [$line (get $tok :line)]
|
|
522
|
+
[$p1 (p-advance $p)] ;; consume [
|
|
523
|
+
[$next (p-peek $p1)]]
|
|
524
|
+
(if (and (not (null? $next))
|
|
525
|
+
(= (get $next :kind) "Symbol")
|
|
526
|
+
(is-block-type? (get $next :value))
|
|
527
|
+
(= (get $next :value) (upper-case (get $next :value))))
|
|
528
|
+
(parse-named-block $p1 $line)
|
|
529
|
+
(parse-array $p1 $line))))
|
|
530
|
+
|
|
531
|
+
(defn is-block-type? [$s]
|
|
532
|
+
(let [[$c (char-at $s 0)]]
|
|
533
|
+
(and (>= $c "A") (<= $c "Z"))))
|
|
534
|
+
|
|
535
|
+
(defn upper-case [$s]
|
|
536
|
+
$s) ;; FL stdlib 기본 upper-case 가 없으면 identity. 판별엔 첫글자만 본다.
|
|
537
|
+
|
|
538
|
+
(defn parse-array [$p $line]
|
|
539
|
+
(let [[$collected (parse-args $p [])]
|
|
540
|
+
[$p2 (get $collected :p)] [$items (get $collected :node)]]
|
|
541
|
+
(r-pair (parse-consume-rbracket $p2) (make-array-block $items $line))))
|
|
542
|
+
|
|
543
|
+
(defn parse-consume-rbracket [$p]
|
|
544
|
+
(let [[$t (p-peek $p)]]
|
|
545
|
+
(if (and (not (null? $t)) (= (get $t :kind) "RBracket"))
|
|
546
|
+
(p-advance $p)
|
|
547
|
+
$p)))
|
|
548
|
+
|
|
549
|
+
;; [TYPE name? :k v :k v ...] Named block (FUNC/ROUTE/PAGE 등)
|
|
550
|
+
(defn parse-named-block [$p $line]
|
|
551
|
+
(let [[$type-tok (p-peek $p)] [$type (get $type-tok :value)]
|
|
552
|
+
[$p1 (p-advance $p)]
|
|
553
|
+
[$name-info (parse-optional-name $p1)]
|
|
554
|
+
[$p2 (get $name-info :p)] [$name (get $name-info :node)]
|
|
555
|
+
[$fields-info (parse-block-fields $p2 {})]
|
|
556
|
+
[$p3 (get $fields-info :p)] [$fields (get $fields-info :node)]]
|
|
557
|
+
(r-pair (parse-consume-rbracket $p3)
|
|
558
|
+
(make-block $type $name $fields $line))))
|
|
559
|
+
|
|
560
|
+
(defn parse-optional-name [$p]
|
|
561
|
+
(let [[$t (p-peek $p)]]
|
|
562
|
+
(if (and (not (null? $t))
|
|
563
|
+
(= (get $t :kind) "Symbol")
|
|
564
|
+
(not (= (char-at (get $t :value) 0) ":")))
|
|
565
|
+
(r-pair (p-advance $p) (get $t :value))
|
|
566
|
+
(r-pair $p null))))
|
|
567
|
+
|
|
568
|
+
;; :k v :k v ... 반복. RBracket 만나면 중단.
|
|
569
|
+
(defn parse-block-fields [$p $acc]
|
|
570
|
+
(if (p-end? $p) (r-pair $p $acc)
|
|
571
|
+
(let [[$t (p-peek $p)]]
|
|
572
|
+
(if (= (get $t :kind) "Keyword")
|
|
573
|
+
(let [[$key (get $t :value)]
|
|
574
|
+
[$p1 (p-advance $p)]
|
|
575
|
+
[$val (parse-expr $p1)]]
|
|
576
|
+
(parse-block-fields (get $val :p) (_fl_map_set $acc $key (get $val :node))))
|
|
577
|
+
(r-pair $p $acc)))))
|
|
578
|
+
;; ──────────────────────────────────────
|
|
579
|
+
|
|
580
|
+
(defn parse-map [$p]
|
|
581
|
+
(let [[$tok (p-peek $p)] [$line (get $tok :line)]
|
|
582
|
+
[$p1 (p-advance $p)]
|
|
583
|
+
[$collected (parse-args $p1 [])]
|
|
584
|
+
[$p2 (get $collected :p)] [$items (get $collected :node)]]
|
|
585
|
+
(r-pair (parse-consume-rbrace $p2) (make-map-block $items $line))))
|
|
586
|
+
|
|
587
|
+
(defn parse-consume-rbrace [$p]
|
|
588
|
+
(let [[$t (p-peek $p)]]
|
|
589
|
+
(if (and (not (null? $t)) (= (get $t :kind) "RBrace"))
|
|
590
|
+
(p-advance $p)
|
|
591
|
+
$p)))
|
|
592
|
+
|
|
593
|
+
;; ── 40/44 공개 API: parse(tokens) → ast list
|
|
594
|
+
|
|
595
|
+
(defn parse-all [$p]
|
|
596
|
+
(if (p-end? $p)
|
|
597
|
+
(get $p :ast)
|
|
598
|
+
(let [[$one (parse-expr $p)]
|
|
599
|
+
[$p2 (p-append-ast (get $one :p) (get $one :node))]]
|
|
600
|
+
(parse-all $p2))))
|
|
601
|
+
|
|
602
|
+
(defn parse [$tokens]
|
|
603
|
+
(parse-all (p-make $tokens)))
|
|
604
|
+
|
|
605
|
+
;; ── Codegen: FL AST → JS source ────────────────────────────────────
|
|
606
|
+
|
|
607
|
+
(defn js-reserved? [$n]
|
|
608
|
+
(or (= $n "default") (= $n "class") (= $n "const") (= $n "let")
|
|
609
|
+
(= $n "if") (= $n "else") (= $n "switch") (= $n "case")
|
|
610
|
+
(= $n "break") (= $n "continue") (= $n "for") (= $n "while")
|
|
611
|
+
(= $n "function") (= $n "return") (= $n "throw") (= $n "try")
|
|
612
|
+
(= $n "catch") (= $n "new") (= $n "delete") (= $n "typeof")
|
|
613
|
+
(= $n "instanceof") (= $n "var") (= $n "in") (= $n "of")
|
|
614
|
+
(= $n "this") (= $n "super") (= $n "void") (= $n "yield")
|
|
615
|
+
(= $n "async") (= $n "await") (= $n "import") (= $n "export")
|
|
616
|
+
(= $n "enum") (= $n "do") (= $n "with") (= $n "finally")
|
|
617
|
+
(= $n "null") (= $n "true") (= $n "false")))
|
|
618
|
+
|
|
619
|
+
(defn js-name-inner [$n]
|
|
620
|
+
(let [[$g (str-replace (str-replace (str-replace (str-replace (str-replace (str-replace (str-replace $n "-" "_") "?" "_q") "!" "_x") ">" "_gt") "<" "_lt") "*" "_st") "+" "_pl")]]
|
|
621
|
+
(if (js-reserved? $g) (str $g "_") $g)))
|
|
622
|
+
|
|
623
|
+
(defn js-name [$n]
|
|
624
|
+
(if (null? $n) "_" (js-name-inner $n)))
|
|
625
|
+
|
|
626
|
+
(defn js-esc-inner [$s]
|
|
627
|
+
(str-replace (str-replace (str-replace (str-replace (str-replace $s "\\" "\\\\") "\"" "\\\"") "\n" "\\n") "\r" "\\r") "\t" "\\t"))
|
|
628
|
+
|
|
629
|
+
(defn js-esc [$s]
|
|
630
|
+
(str "\"" (js-esc-inner $s) "\""))
|
|
631
|
+
|
|
632
|
+
(defn get-block-items [$node]
|
|
633
|
+
(if (null? $node) (list)
|
|
634
|
+
(if (and (= (get $node :kind) "block") (= (get $node :type) "Array"))
|
|
635
|
+
(get (get $node :fields) "items")
|
|
636
|
+
$node)))
|
|
637
|
+
|
|
638
|
+
;; ═══════ Code Generation ═══════
|
|
639
|
+
|
|
640
|
+
(defn cg [$n]
|
|
641
|
+
(cond
|
|
642
|
+
[(null? $n) "null"]
|
|
643
|
+
[(= (get $n :kind) "literal") (cg-literal $n)]
|
|
644
|
+
[(= (get $n :kind) "variable") (js-name (get $n :name))]
|
|
645
|
+
[(= (get $n :kind) "keyword") (js-esc (get $n :name))]
|
|
646
|
+
[(= (get $n :kind) "template-string") (cg-template-string $n)]
|
|
647
|
+
[(= (get $n :kind) "try") (cg-try $n)]
|
|
648
|
+
[(= (get $n :kind) "loop") (cg-loop $n)]
|
|
649
|
+
[(= (get $n :kind) "sexpr") (cg-sexpr $n)]
|
|
650
|
+
[(= (get $n :kind) "block") (cg-block $n)]
|
|
651
|
+
[(= (get $n :kind) "and") (cg-and (get $n :args))]
|
|
652
|
+
[(= (get $n :kind) "or") (cg-or (get $n :args))]
|
|
653
|
+
[(= (get $n :kind) "pattern-match") (cg-match $n)]
|
|
654
|
+
[(= (get $n :kind) "await") (str "(await " (cg (get $n :argument)) ")")]
|
|
655
|
+
[(= (get $n :kind) "throw") (str "((()=>{throw new Error(String(" (cg (get $n :argument)) "))})())")]
|
|
656
|
+
[true "null"]))
|
|
657
|
+
|
|
658
|
+
(defn cg-literal [$n]
|
|
659
|
+
(let [[$t (get $n :type)] [$v (get $n :value)]]
|
|
660
|
+
(cond
|
|
661
|
+
[(= $t "number") (str $v)]
|
|
662
|
+
[(= $t "string") (js-esc $v)]
|
|
663
|
+
[(= $t "boolean") (if $v "true" "false")]
|
|
664
|
+
[(= $t "symbol") (cond [(= $v "true") "true"] [(= $v "false") "false"] [(= $v "null") "null"] [(= $v "nil") "null"] [true (js-name $v)])]
|
|
665
|
+
[true "null"])))
|
|
666
|
+
|
|
667
|
+
(defn cg-template-string [$n]
|
|
668
|
+
(str "`" (str-replace (str-replace (get $n :value) "\\" "\\\\") "`" "\\`") "`"))
|
|
669
|
+
|
|
670
|
+
(defn cg-try [$n]
|
|
671
|
+
(let [[$body (cg (get $n :body))]
|
|
672
|
+
[$catch (get $n :catch)]
|
|
673
|
+
[$finally (get $n :finally)]
|
|
674
|
+
[$c-code (if (null? $catch) "" (cg-catch-clause $catch))]
|
|
675
|
+
[$f-code (if (null? $finally) "" (str "finally{" (cg $finally) "}"))]]
|
|
676
|
+
(str "(()=>{try{return " $body "}catch(err){" $c-code "}" $f-code "})()")))
|
|
677
|
+
|
|
678
|
+
(defn cg-catch-clause [$c]
|
|
679
|
+
(let [[$is-sexpr (= (get $c :kind) "sexpr")]
|
|
680
|
+
[$param (if $is-sexpr (js-name (get (get (get $c :args) 0) :name)) "err")]
|
|
681
|
+
[$body (if $is-sexpr (cg (get (get $c :args) 1)) (cg $c))]]
|
|
682
|
+
(str "let " $param "=err;return " $body ";")))
|
|
683
|
+
|
|
684
|
+
(defn cg-func-block [$n]
|
|
685
|
+
(let [[$name (js-name (get $n :name))]
|
|
686
|
+
[$f (get $n :fields)]
|
|
687
|
+
[$params-block (get $f :params)]
|
|
688
|
+
[$body-node (get $f :body)]
|
|
689
|
+
[$ps-info (extract-params (get-block-items $params-block))]
|
|
690
|
+
[$body (cg $body-node)]
|
|
691
|
+
[$pre (get $ps-info :preamble)]
|
|
692
|
+
[$final-body (if (= (length $pre) 0) $body (str "((() => { " $pre " return " $body "; })())"))]]
|
|
693
|
+
(str "function " $name "(" (get $ps-info :params) ") { return " $final-body "; }")))
|
|
694
|
+
|
|
695
|
+
(defn cg-block [$n]
|
|
696
|
+
(let [[$t (get $n :type)] [$f (get $n :fields)]]
|
|
697
|
+
(cond
|
|
698
|
+
[(= $t "FUNC") (cg-func-block $n)]
|
|
699
|
+
[(= $t "Map") (str "({" (cg-map-entries $f) "})")]
|
|
700
|
+
[(= $t "Array") (str "[" (cg-args (get $f "items")) "]")]
|
|
701
|
+
[true "null"])))
|
|
702
|
+
|
|
703
|
+
(defn cg-map-entries [$f]
|
|
704
|
+
(let [[$items (get $f "items")]]
|
|
705
|
+
(if (array? $items)
|
|
706
|
+
(cg-map-flat-loop $items 0 "")
|
|
707
|
+
(cg-map-loop (map-entries $f) 0 ""))))
|
|
708
|
+
|
|
709
|
+
(defn cg-map-loop [$e $i $acc]
|
|
710
|
+
(if (>= $i (length $e)) $acc
|
|
711
|
+
(let [[$pair (str (js-esc (get (get $e $i) 0)) ":" (cg (get (get $e $i) 1)))]]
|
|
712
|
+
(cg-map-loop $e (+ $i 1) (if (= $i 0) $pair (str $acc "," $pair))))))
|
|
713
|
+
|
|
714
|
+
(defn cg-map-flat-loop [$it $i $acc]
|
|
715
|
+
(if (>= $i (length $it)) $acc
|
|
716
|
+
(let [[$k (get $it $i)] [$v (get $it (+ $i 1))]
|
|
717
|
+
[$key (cond [(= (get $k :kind) "keyword") (js-esc (get $k :name))] [(= (get $k :kind) "literal") (js-esc (str (get $k :value)))] [true "\"_anon\""])]
|
|
718
|
+
[$pair (str $key ":" (cg $v))]]
|
|
719
|
+
(cg-map-flat-loop $it (+ $i 2) (if (= $i 0) $pair (str $acc "," $pair))))))
|
|
720
|
+
|
|
721
|
+
;; ═══════ Special Forms ═══════
|
|
722
|
+
|
|
723
|
+
(defn cg-sexpr [$n]
|
|
724
|
+
(let [[$op (get $n :op)]]
|
|
725
|
+
(if (string? $op)
|
|
726
|
+
(cg-sexpr-dispatch $op (get $n :args))
|
|
727
|
+
(str "(" (cg $op) ")(" (cg-args (get $n :args)) ")"))))
|
|
728
|
+
|
|
729
|
+
(defn cg-sexpr-dispatch [$op $args]
|
|
730
|
+
(cond
|
|
731
|
+
[(= $op "if") (str "(" (cg (get $args 0)) "?" (cg (get $args 1)) ":" (if (>= (length $args) 3) (cg (get $args 2)) "null") ")")]
|
|
732
|
+
[(= $op "fn") (cg-fn $args)]
|
|
733
|
+
[(= $op "defn") (cg-defn $args)]
|
|
734
|
+
[(= $op "let") (cg-let $args)]
|
|
735
|
+
[(= $op "do") (str "(()=>{" (cg-do-body $args 0 "") "})()")]
|
|
736
|
+
[(= $op "cond") (cg-cond $args)]
|
|
737
|
+
[(= $op "loop") (cg-loop $args)]
|
|
738
|
+
[(= $op "recur") (str "{__recur:true,a:[" (cg-args $args) "]}")]
|
|
739
|
+
[(= $op "and") (str "(" (join (map (fn [$a] (cg $a)) $args) "&&") ")")]
|
|
740
|
+
[(= $op "or") (str "(" (join (map (fn [$a] (cg $a)) $args) "||") ")")]
|
|
741
|
+
[(= $op "+") (if (= (length $args) 0) "0" (str "(" (binop-loop $args 0 "" "+") ")"))]
|
|
742
|
+
[(= $op "-") (if (= (length $args) 1) (str "(-" (cg (get $args 0)) ")") (str "(" (binop-loop $args 0 "" "-") ")"))]
|
|
743
|
+
[(= $op "*") (if (= (length $args) 0) "1" (str "(" (binop-loop $args 0 "" "*") ")"))]
|
|
744
|
+
[(= $op "/") (str "(" (cg (get $args 0)) "/" (cg (get $args 1)) ")")]
|
|
745
|
+
[(= $op "=") (str "(" (cg (get $args 0)) "===" (cg (get $args 1)) ")")]
|
|
746
|
+
[(= $op "<") (str "(" (cg (get $args 0)) "<" (cg (get $args 1)) ")")]
|
|
747
|
+
[(= $op ">") (str "(" (cg (get $args 0)) ">" (cg (get $args 1)) ")")]
|
|
748
|
+
[(= $op "<=") (str "(" (cg (get $args 0)) "<=" (cg (get $args 1)) ")")]
|
|
749
|
+
[(= $op ">=") (str "(" (cg (get $args 0)) ">=" (cg (get $args 1)) ")")]
|
|
750
|
+
[(= $op "!=") (str "(" (cg (get $args 0)) "!==" (cg (get $args 1)) ")")]
|
|
751
|
+
[(= $op "%") (str "(" (cg (get $args 0)) "%" (cg (get $args 1)) ")")]
|
|
752
|
+
[(= $op "while") (str "(()=>{ while(" (cg (get $args 0)) ") { " (cg-stmts (slice $args 1 (length $args)) 0 "") " } })()")]
|
|
753
|
+
[(= $op "set!") (str "(" (js-name (get (get $args 0) :name)) " = " (cg (get $args 1)) ")")]
|
|
754
|
+
[(= $op "define") (str "const " (extract-name (get $args 0)) "=" (cg (get $args 1)))]
|
|
755
|
+
[true (cg-native-dispatch $op (cg-args $args))]))
|
|
756
|
+
|
|
757
|
+
(defn cg-fn [$args]
|
|
758
|
+
(let [[$ps-info (extract-params (get-block-items (get $args 0)))]
|
|
759
|
+
[$body (cg (get $args 1))]
|
|
760
|
+
[$pre (get $ps-info :preamble)]
|
|
761
|
+
[$final-body (if (= (length $pre) 0) $body (str "((() => { " $pre " return " $body "; })())"))]]
|
|
762
|
+
(str "((" (get $ps-info :params) ") => " $final-body ")")))
|
|
763
|
+
|
|
764
|
+
(defn cg-defn [$args]
|
|
765
|
+
(let [[$ps-info (extract-params (get-block-items (get $args 1)))]
|
|
766
|
+
[$body (cg (get $args 2))]
|
|
767
|
+
[$pre (get $ps-info :preamble)]
|
|
768
|
+
[$final-body (if (= (length $pre) 0) $body (str "((() => { " $pre " return " $body "; })())"))]]
|
|
769
|
+
(str "var " (extract-name (get $args 0)) " = (" (get $ps-info :params) ") => " $final-body)))
|
|
770
|
+
|
|
771
|
+
(defn cg-let [$args]
|
|
772
|
+
(let [[$items (get-block-items (get $args 0))]
|
|
773
|
+
[$first (get $items 0)]
|
|
774
|
+
[$nested (and (= (get $first :kind) "block") (= (get $first :type) "Array"))]
|
|
775
|
+
[$bindings (if $nested (cg-let-2d $items 0 "") (cg-let-1d $items 0 ""))]
|
|
776
|
+
[$body (cg-do-body (slice $args 1 (length $args)) 0 "")]]
|
|
777
|
+
(str "((()=>{" $bindings $body "})())")))
|
|
778
|
+
|
|
779
|
+
(defn cg-let-1d [$it $i $acc]
|
|
780
|
+
(if (>= $i (length $it)) $acc
|
|
781
|
+
(cg-let-1d $it (+ $i 2) (str $acc "let " (extract-name (get $it $i)) "=" (cg (get $it (+ $i 1))) ";"))))
|
|
782
|
+
|
|
783
|
+
(defn cg-let-2d [$it $i $acc]
|
|
784
|
+
(if (>= $i (length $it)) $acc
|
|
785
|
+
(let [[$p (get-block-items (get $it $i))]]
|
|
786
|
+
(cg-let-2d $it (+ $i 1) (str $acc "let " (extract-name (get $p 0)) "=" (cg (get $p 1)) ";")))))
|
|
787
|
+
|
|
788
|
+
(defn cg-do-body [$args $i $acc]
|
|
789
|
+
(if (>= $i (length $args)) $acc
|
|
790
|
+
(let [[$last (= $i (- (length $args) 1))]
|
|
791
|
+
[$c (cg (get $args $i))]
|
|
792
|
+
[$sep (if $last "return " "")]]
|
|
793
|
+
(cg-do-body $args (+ $i 1) (str $acc $sep $c ";")))))
|
|
794
|
+
|
|
795
|
+
(defn cg-stmts [$args $i $acc]
|
|
796
|
+
(if (>= $i (length $args)) $acc
|
|
797
|
+
(cg-stmts $args (+ $i 1) (str $acc (cg (get $args $i)) ";"))))
|
|
798
|
+
|
|
799
|
+
(defn cg-cond [$args]
|
|
800
|
+
(if (= (length $args) 0) "null"
|
|
801
|
+
(let [[$first (get $args 0)]
|
|
802
|
+
[$nested (and (= (get $first :kind) "block") (= (get $first :type) "Array"))]]
|
|
803
|
+
(if $nested
|
|
804
|
+
(cg-cond-nested $args (- (length $args) 1) "null")
|
|
805
|
+
(cg-cond-flat $args 0 "null")))))
|
|
806
|
+
|
|
807
|
+
(defn cg-cond-nested [$args $i $acc]
|
|
808
|
+
(if (< $i 0) $acc
|
|
809
|
+
(let [[$items (get-block-items (get $args $i))]]
|
|
810
|
+
(cg-cond-nested $args (- $i 1) (str "(" (cg (get $items 0)) "?" (cg (get $items 1)) ":" $acc ")")))))
|
|
811
|
+
|
|
812
|
+
(defn cg-cond-flat [$args $i $acc]
|
|
813
|
+
(let [[$len (length $args)]]
|
|
814
|
+
(if (>= $i $len) $acc
|
|
815
|
+
(if (= $i (- $len 1)) (str "(" (cg (get $args $i)) ")")
|
|
816
|
+
(str "(" (cg (get $args $i)) "?" (cg (get $args (+ $i 1))) ":" (cg-cond-flat $args (+ $i 2) $acc) ")")))))
|
|
817
|
+
|
|
818
|
+
(defn cg-loop [$args]
|
|
819
|
+
(let [[$items (get-block-items (get $args 0))]
|
|
820
|
+
[$first (get $items 0)]
|
|
821
|
+
[$nested (and (= (get $first :kind) "block") (= (get $first :type) "Array"))]
|
|
822
|
+
[$inits (if $nested (loop-inits-2d $items 0 "") (loop-inits-1d $items 0 ""))]
|
|
823
|
+
[$names (if $nested (loop-names-2d $items 0 "") (loop-names-1d $items 0 ""))]
|
|
824
|
+
[$body (cg-do-body (slice $args 1 (length $args)) 0 "")]]
|
|
825
|
+
(str "((()=>{" $inits "while(true){let __r=(()=>{" $body "})();if(__r&&__r.__recur){" (if (= (length $names) 0) "" (str "[" $names "]=__r.a;")) "continue;}return __r;}})())")))
|
|
826
|
+
|
|
827
|
+
(defn loop-inits-1d [$it $i $acc]
|
|
828
|
+
(if (>= $i (length $it)) $acc (loop-inits-1d $it (+ $i 2) (str $acc "let " (extract-name (get $it $i)) "=" (cg (get $it (+ $i 1))) ";"))))
|
|
829
|
+
(defn loop-inits-2d [$it $i $acc]
|
|
830
|
+
(if (>= $i (length $it)) $acc (let [[$p (get-block-items (get $it $i))]] (loop-inits-2d $it (+ $i 1) (str $acc "let " (extract-name (get $p 0)) "=" (cg (get $p 1)) ";")))))
|
|
831
|
+
(defn loop-names-1d [$it $i $acc]
|
|
832
|
+
(if (>= $i (length $it)) $acc (let [[$n (extract-name (get $it $i))]] (loop-names-1d $it (+ $i 2) (if (= (length $acc) 0) $n (str $acc "," $n))))))
|
|
833
|
+
(defn loop-names-2d [$it $i $acc]
|
|
834
|
+
(if (>= $i (length $it)) $acc (let [[$p (get-block-items (get $it $i))] [$n (extract-name (get $p 0))]] (loop-names-2d $it (+ $i 1) (if (= (length $acc) 0) $n (str $acc "," $n))))))
|
|
835
|
+
|
|
836
|
+
;; ═══════ Arguments & Params ═══════
|
|
837
|
+
|
|
838
|
+
(defn cg-args [$args]
|
|
839
|
+
(args-loop $args 0 ""))
|
|
840
|
+
(defn args-loop [$args $i $acc]
|
|
841
|
+
(if (or (null? $args) (>= $i (length $args))) $acc (let [[$c (cg (get $args $i))]] (args-loop $args (+ $i 1) (if (= $i 0) $c (str $acc "," $c))))))
|
|
842
|
+
|
|
843
|
+
(defn binop-loop [$args $i $acc $op]
|
|
844
|
+
(if (>= $i (length $args)) $acc (let [[$c (cg (get $args $i))]] (binop-loop $args (+ $i 1) (if (= $i 0) $c (str $acc $op $c)) $op))))
|
|
845
|
+
|
|
846
|
+
(defn extract-name [$n]
|
|
847
|
+
(cond [(= (get $n :kind) "variable") (js-name (get $n :name))] [(= (get $n :kind) "literal") (js-name (get $n :value))] [true "_anon"]))
|
|
848
|
+
|
|
849
|
+
(defn extract-params [$it]
|
|
850
|
+
(extract-params-loop $it 0 "" "" 0))
|
|
851
|
+
(defn extract-params-loop [$it $i $ps $pre $tc]
|
|
852
|
+
(if (or (null? $it) (>= $i (length $it))) {:params $ps :preamble $pre}
|
|
853
|
+
(let [[$c (get $it $i)] [$k (get $c :kind)]]
|
|
854
|
+
(if (or (= $k "variable") (= $k "literal")) (extract-params-loop $it (+ $i 1) (if (= (length $ps) 0) (extract-name $c) (str $ps "," (extract-name $c))) $pre $tc)
|
|
855
|
+
(if (and (= $k "block") (= (get $c :type) "Array"))
|
|
856
|
+
(let [[$t (str "_arg" $tc)] [$sub (get (get $c :fields) "items")]]
|
|
857
|
+
(extract-params-loop $it (+ $i 1) (if (= (length $ps) 0) $t (str $ps "," $t)) (str $pre (destructure-loop $sub $t 0)) (+ $tc 1)))
|
|
858
|
+
(extract-params-loop $it (+ $i 1) (if (= (length $ps) 0) "p" (str $ps ",p")) $pre $tc))))))
|
|
859
|
+
|
|
860
|
+
(defn destructure-loop [$it $t $i]
|
|
861
|
+
(if (>= $i (length $it)) "" (str "let " (extract-name (get $it $i)) "=" $t "[" $i "]; " (destructure-loop $it $t (+ $i 1)))))
|
|
862
|
+
|
|
863
|
+
(defn cg-native-dispatch [$op $as]
|
|
864
|
+
(cond
|
|
865
|
+
[(= $op "str") (str "_fl_str(" $as ")")]
|
|
866
|
+
[(= $op "length") (str "_fl_length(" $as ")")]
|
|
867
|
+
[(= $op "println") (str "_fl_print(" $as ")")]
|
|
868
|
+
[(= $op "print") (str "_fl_print(" $as ")")]
|
|
869
|
+
[true (str (js-name $op) "(" $as ")")]))
|
|
870
|
+
|
|
871
|
+
;; ═══════ Prelude ═══════
|
|
872
|
+
|
|
873
|
+
(defn prelude-parts []
|
|
874
|
+
(list
|
|
875
|
+
"const _fl_str = (...xs) => xs.map(x => x==null?'':String(x)).join('');"
|
|
876
|
+
"const _fl_length = (x) => (x?x.length:0);"
|
|
877
|
+
"const _fl_get = (o,k,d) => { if(o==null)return d||null; let ks=String(k).startsWith(':')?k.slice(1):String(k); if(Array.isArray(o)){let idx=parseInt(ks);if(!isNaN(idx))return o[idx]!==undefined?o[idx]:(d||null);if(ks==='length')return o.length;} if(typeof o==='object'){if(o[ks]!==undefined)return o[ks];} return d||null; }"
|
|
878
|
+
"const _fl_null_q = (v) => v===null||v===undefined;"
|
|
879
|
+
"const _fl_keys = (o) => o?Object.keys(o):[];"
|
|
880
|
+
"const _fl_map_set = (o,k,v) => ({...o,[k]:v});"
|
|
881
|
+
"const _fl_has_key_q = (o,k) => o?(String(k) in o):false;"
|
|
882
|
+
"const _fl_append = (l,x) => [...(l||[]),x];"
|
|
883
|
+
"const list = (...args) => [...args];"
|
|
884
|
+
"const append = (l,x) => [...(l||[]),x];"
|
|
885
|
+
"const _fl_first = (l) => (l&&l.length>0)?l[0]:null;"
|
|
886
|
+
"const _fl_last = (l) => (l&&l.length>0)?l[l.length-1]:null;"
|
|
887
|
+
"const _fl_rest = (l) => (l&&l.length>0)?l.slice(1):[];"
|
|
888
|
+
"const _fl_slice = (l,a,b) => (l||[]).slice(a,b);"
|
|
889
|
+
"const _fl_map = (arr,fn) => (arr||[]).map(x=>fn(x));"
|
|
890
|
+
"const _fl_filter = (arr,fn) => (arr||[]).filter(x=>{const r=fn(x);return r!==false&&r!==null;});"
|
|
891
|
+
"const _fl_reduce = (arr,fn,init) => (arr||[]).reduce((a,x)=>fn(a,x),init);"
|
|
892
|
+
"const _fl_some = (f,l) => (l||[]).some(x=>f(x));"
|
|
893
|
+
"const _fl_every = (f,l) => (l||[]).every(x=>f(x));"
|
|
894
|
+
"const _fl_file_read = (p) => require('fs').readFileSync(p,'utf8');"
|
|
895
|
+
"const _fl_file_write = (p,c) => require('fs').writeFileSync(p,c);"
|
|
896
|
+
"const _fl_file_exists = (p) => require('fs').existsSync(p);"
|
|
897
|
+
"const _fl_file_delete = (p) => { try { require('fs').unlinkSync(p); } catch(e) {} };"
|
|
898
|
+
"const _fl_file_append = (p,c) => require('fs').appendFileSync(p,String(c));"
|
|
899
|
+
"const _fl_file_copy = (s,d) => require('fs').copyFileSync(s,d);"
|
|
900
|
+
"const _fl_file_rename = (o,n) => require('fs').renameSync(o,n);"
|
|
901
|
+
"const _fl_file_size = (p) => { try { return require('fs').statSync(p).size; } catch(e) { return 0; } };"
|
|
902
|
+
"const _fl_file_modified = (p) => { try { return require('fs').statSync(p).mtimeMs; } catch(e) { return 0; } };"
|
|
903
|
+
"const _fl_file_mkdir = (p) => { try { require('fs').mkdirSync(p,{recursive:true}); } catch(e) {} };"
|
|
904
|
+
"const _fl_file_rmdir = (p) => { try { require('fs').rmSync(p,{recursive:true,force:true}); } catch(e) {} };"
|
|
905
|
+
"const _fl_file_list = (p) => { try { return require('fs').readdirSync(p); } catch(e) { return []; } };"
|
|
906
|
+
"const _fl_process_run = (cmd) => { try { return require('child_process').execSync(cmd,{encoding:'utf8'}); } catch(e) { return ''; } };"
|
|
907
|
+
"const _fl_process_run_args = (cmd,args) => { try { return require('child_process').execSync(cmd+' '+(args||[]).join(' '),{encoding:'utf8'}); } catch(e) { return ''; } };"
|
|
908
|
+
"const _fl_process_exec = (cmd) => { try { return require('child_process').execSync(cmd,{encoding:'utf8'}); } catch(e) { return ''; } };"
|
|
909
|
+
"const _fl_process_exec_args = (cmd,args) => { try { return require('child_process').execSync(cmd+' '+(args||[]).join(' '),{encoding:'utf8'}); } catch(e) { return ''; } };"
|
|
910
|
+
"const _fl_process_spawn = (cmd,args) => { try { const r=require('child_process').spawnSync(cmd,args||[],{encoding:'utf8'}); return r.stdout||''; } catch(e) { return ''; } };"
|
|
911
|
+
"const _fl_process_kill = (pid) => { try { process.kill(pid); } catch(e) {} };"
|
|
912
|
+
"const _fl_process_wait = (pid) => null;"
|
|
913
|
+
"const _fl_env_get = (k) => process.env[k]||null;"
|
|
914
|
+
"const _fl_env_set = (k,v) => { process.env[k]=String(v); };"
|
|
915
|
+
"const _fl_env_all = () => process.env;"
|
|
916
|
+
"const _fl_file_is_file = (p) => { try { return require('fs').statSync(p).isFile(); } catch(e) { return false; } };"
|
|
917
|
+
"const _fl_file_is_dir = (p) => { try { return require('fs').statSync(p).isDirectory(); } catch(e) { return false; } };"
|
|
918
|
+
"const _fl_process_exists = (pid) => { try { process.kill(pid,0); return true; } catch(e) { return false; } };"
|
|
919
|
+
"const _fl_process_getcwd = () => process.cwd();"
|
|
920
|
+
"const _fl_process_chdir = (p) => { try { process.chdir(p); } catch(e) {} };"
|
|
921
|
+
"const _fl_process_pid = () => process.pid;"
|
|
922
|
+
"const _fl_process_ppid = () => process.ppid||null;"
|
|
923
|
+
"var file_read = (p) => _fl_file_read(String(p));"
|
|
924
|
+
"var file_write = (p,c) => _fl_file_write(String(p),String(c));"
|
|
925
|
+
"var file_exists = (p) => _fl_file_exists(String(p));"
|
|
926
|
+
"const _fl_get_argv = () => (typeof process!=='undefined'?process.argv.slice(2):[]);"
|
|
927
|
+
"const _fl_print = (v) => { console.log(v); return v; }"
|
|
928
|
+
"const null_q = _fl_null_q;"
|
|
929
|
+
"const some_q = _fl_some;"
|
|
930
|
+
"const every_q = _fl_every;"
|
|
931
|
+
"const cli_args = _fl_get_argv;"
|
|
932
|
+
"const get = _fl_get;"
|
|
933
|
+
"const keys = _fl_keys;"
|
|
934
|
+
"const has_key_q = _fl_has_key_q;"
|
|
935
|
+
"const slice = _fl_slice;"
|
|
936
|
+
"const first = _fl_first;"
|
|
937
|
+
"const last = _fl_last;"
|
|
938
|
+
"const rest = _fl_rest;"
|
|
939
|
+
"const map = (fn,arr) => (arr||[]).map(x=>fn(x));"
|
|
940
|
+
"const filter = (fn,arr) => (arr||[]).filter(x=>{const r=fn(x);return r!==false&&r!==null;});"
|
|
941
|
+
"const reduce = (fn,init,arr) => (arr||[]).reduce((a,x)=>fn(a,x),init);"
|
|
942
|
+
"const print = _fl_print;"
|
|
943
|
+
"const println = (v) => { console.log(v==null?'':String(v)); return v; }"
|
|
944
|
+
"var str_replace = (s,ov,nv) => { if(s==null)return ''; const st=String(s); return st.split(String(ov)).join(nv==null?'':String(nv)); };"
|
|
945
|
+
"const str_index_of = (s,sub) => (typeof s==='string'&&typeof sub==='string')?s.indexOf(sub):-1;"
|
|
946
|
+
"const index_of = str_index_of;"
|
|
947
|
+
"const str_slice = (s,a,b) => s?(b===undefined?s.slice(a):s.slice(a,b)):'';"
|
|
948
|
+
"const substring = str_slice;"
|
|
949
|
+
"const char_at = (s,i) => (s&&s[i])||null;"
|
|
950
|
+
"const char_code_at = (s,i) => typeof s==='string'?s.charCodeAt(i):0;"
|
|
951
|
+
"const trim = (s) => String(s||'').trim();"
|
|
952
|
+
"const starts_with_q = (s,p) => String(s||'').startsWith(String(p||''));"
|
|
953
|
+
"const ends_with_q = (s,sf) => String(s||'').endsWith(String(sf||''));"
|
|
954
|
+
"const replace = (s,ov,nv) => { if(s==null)return ''; const st=String(s); if(ov instanceof RegExp)return st.replace(ov,nv==null?'':String(nv)); return st.split(String(ov)).join(nv==null?'':String(nv)); };"
|
|
955
|
+
"const split = (s,sep) => String(s||'').split(sep);"
|
|
956
|
+
"const str_join = (arr,sep) => (arr||[]).join(sep===undefined?'':sep);"
|
|
957
|
+
"const join = str_join;"
|
|
958
|
+
"const concat = (a,b) => (Array.isArray(a)&&Array.isArray(b))?[...a,...b]:String(a||'')+String(b||'');"
|
|
959
|
+
"const push = (arr,v) => [...(arr||[]),v];"
|
|
960
|
+
"const pop = (arr) => (arr&&arr.length>0)?arr.slice(0,-1):[];"
|
|
961
|
+
"const reverse = (arr) => Array.isArray(arr)?[...arr].reverse():arr;"
|
|
962
|
+
"const sort_by = (arr,fn) => Array.isArray(arr)?[...arr].sort((a,b)=>fn(a)<fn(b)?-1:fn(a)>fn(b)?1:0):arr;"
|
|
963
|
+
"const flat_map = (arr,fn) => (arr||[]).flatMap(fn);"
|
|
964
|
+
"const range = (s,e) => { const r=[]; let st=e===undefined?0:s; let en=e===undefined?s:e; for(let i=st;i<en;i++)r.push(i); return r; };"
|
|
965
|
+
"const merge = (a,b) => Object.assign({},a,b);"
|
|
966
|
+
"const assoc = (o,k,v) => { const r=Object.assign({},o); const key=typeof k==='string'&&k.startsWith(':')?k.slice(1):String(k); r[key]=v; return r; };"
|
|
967
|
+
"const dissoc = (o,k) => { const r=Object.assign({},o); const key=typeof k==='string'&&k.startsWith(':')?k.slice(1):String(k); delete r[key]; return r; };"
|
|
968
|
+
"var map_entries = (m) => m instanceof Map?[...m.entries()]:(m&&typeof m==='object'&&!Array.isArray(m)?Object.entries(m):[]);"
|
|
969
|
+
"var map_keys = (m) => m instanceof Map?[...m.keys()]:(m&&typeof m==='object'&&!Array.isArray(m)?Object.keys(m):[]);"
|
|
970
|
+
"var map_values = (m) => m instanceof Map?[...m.values()]:(m&&typeof m==='object'&&!Array.isArray(m)?Object.values(m):[]);"
|
|
971
|
+
"const array_q = (v) => Array.isArray(v);"
|
|
972
|
+
"var list_q = (v) => Array.isArray(v);"
|
|
973
|
+
"var map_q = (v) => v!==null&&typeof v==='object'&&!Array.isArray(v);"
|
|
974
|
+
"var fn_q = (v) => typeof v==='function';"
|
|
975
|
+
"const number_q = (v) => typeof v==='number';"
|
|
976
|
+
"const string_q = (v) => typeof v==='string';"
|
|
977
|
+
"var str_upper = (s) => String(s||'').toUpperCase();"
|
|
978
|
+
"var str_lower = (s) => String(s||'').toLowerCase();"
|
|
979
|
+
"var str_contains = (s,sub) => String(s||'').includes(String(sub||''));"
|
|
980
|
+
"var str_starts_with = (s,p) => String(s||'').startsWith(String(p||''));"
|
|
981
|
+
"var str_ends_with = (s,sf) => String(s||'').endsWith(String(sf||''));"
|
|
982
|
+
"var str_trim = (s) => String(s||'').trim();"
|
|
983
|
+
"var str_length = (s) => String(s||'').length;"
|
|
984
|
+
"var str_split = (s,sep) => String(s||'').split(sep);"
|
|
985
|
+
"var take = (n,arr) => (arr||[]).slice(0,n);"
|
|
986
|
+
"var drop = (n,arr) => (arr||[]).slice(n);"
|
|
987
|
+
"var zip = (a,b) => { const r=[]; const l=Math.min((a||[]).length,(b||[]).length); for(let i=0;i<l;i++)r.push([a[i],b[i]]); return r; };"
|
|
988
|
+
"var flatten = (arr) => (arr||[]).flat();"
|
|
989
|
+
"var sort = (arr,fn) => fn?[...(arr||[])].sort((a,b)=>fn(a,b)?-1:1):[...(arr||[])].sort();"
|
|
990
|
+
"var math_sqrt = (n) => Math.sqrt(n);"
|
|
991
|
+
"var math_pi = Math.PI;"
|
|
992
|
+
"var unknown = (...a) => a[a.length-1];"
|
|
993
|
+
"function _fl_type_of(v) { if(v===null||v===undefined)return 'nil'; if(Array.isArray(v))return 'list'; return typeof v; }"
|
|
994
|
+
"const not = (v) => !v;"
|
|
995
|
+
"const abs = (n) => Math.abs(n);"
|
|
996
|
+
"const floor = (n) => Math.floor(n);"
|
|
997
|
+
"const ceil_val = (n) => Math.ceil(n);"
|
|
998
|
+
"const round = (n) => Math.round(n);"
|
|
999
|
+
"const max_val = (a,b) => a>b?a:b;"
|
|
1000
|
+
"const min_val = (a,b) => a<b?a:b;"
|
|
1001
|
+
"const error = (msg) => { throw new Error(String(msg)); };"
|
|
1002
|
+
"const now_ms = () => Date.now();"
|
|
1003
|
+
"const now_iso = () => new Date().toISOString();"
|
|
1004
|
+
"const now_unix = () => Math.floor(Date.now()/1000);"
|
|
1005
|
+
"const json_parse = (s) => { try{return JSON.parse(s);}catch(e){return null;} };"
|
|
1006
|
+
"const json_stringify = (v) => JSON.stringify(v);"
|
|
1007
|
+
"const shell_exec = (cmd,inp) => { try{const {execSync}=require('child_process');const opts={encoding:'utf8'};if(inp)opts.input=inp;return execSync(cmd,opts);}catch(e){return '';} };"
|
|
1008
|
+
"const _fl_run_inherit = (cmd) => { require('child_process').spawnSync(cmd,{shell:true,stdio:'inherit'}); };"
|
|
1009
|
+
"const __fl_routes = [];"
|
|
1010
|
+
"const _fl_server_get = (path,fn) => { __fl_routes.push({method:'GET',path,fn}); };"
|
|
1011
|
+
"const _fl_server_start = (port) => { const http=require('http'); http.createServer(async(req,res)=>{ const r=__fl_routes.find(r=>r.method===req.method&&r.path===require('url').parse(req.url).pathname); if(r){const result=await(typeof r.fn==='string'?eval(r.fn):r.fn)(req);res.end(String(result));}else{res.statusCode=404;res.end('Not Found');} }).listen(port);console.log('Server on '+port); };"
|
|
1012
|
+
"const server_get = _fl_server_get;"
|
|
1013
|
+
"const server_start = _fl_server_start;"
|
|
1014
|
+
))
|
|
1015
|
+
|
|
1016
|
+
(defn runtime-prelude []
|
|
1017
|
+
(join (prelude-parts) "\n"))
|
|
1018
|
+
|
|
1019
|
+
(defn fl->js-code [$ast]
|
|
1020
|
+
(reduce (fn [acc n] (str acc (cg n) ";\n")) "" $ast))
|
|
1021
|
+
|
|
1022
|
+
(defn fl->js-with-prelude [$ast]
|
|
1023
|
+
(str (runtime-prelude) "\n" (fl->js-code $ast)))
|
|
1024
|
+
|
|
1025
|
+
(defn count-parens [$tokens]
|
|
1026
|
+
(reduce
|
|
1027
|
+
(fn [$acc $tok]
|
|
1028
|
+
(let [[$k (or (get $tok :type) (get $tok :kind))]]
|
|
1029
|
+
(if (= $k "LParen") (+ $acc 1)
|
|
1030
|
+
(if (= $k "RParen") (- $acc 1)
|
|
1031
|
+
$acc))))
|
|
1032
|
+
0
|
|
1033
|
+
$tokens))
|
|
1034
|
+
|
|
1035
|
+
(defn compile-file [$input $output]
|
|
1036
|
+
(let [[$src (file-read $input)]
|
|
1037
|
+
[$tokens (lex $src)]
|
|
1038
|
+
[$depth (count-parens $tokens)]
|
|
1039
|
+
[$ast (parse $tokens)]
|
|
1040
|
+
[$node-count (length $ast)]
|
|
1041
|
+
[$js (fl->js-with-prelude $ast)]]
|
|
1042
|
+
(do
|
|
1043
|
+
(if (not (= $depth 0))
|
|
1044
|
+
(println (str "Warning: " $input ": 괄호 불균형 (깊이=" $depth ")"))
|
|
1045
|
+
null)
|
|
1046
|
+
(file-write $output $js)
|
|
1047
|
+
(println (str "Parsed: " $node-count " nodes"))
|
|
1048
|
+
(println (str "Compiled " $input " -> " $output)))))
|
|
1049
|
+
|
|
1050
|
+
;; ── stdlib: 데이터 변환 ─────────────────────────────────────────────
|
|
1051
|
+
|
|
1052
|
+
;; 줄 분리
|
|
1053
|
+
(defn str-lines [s]
|
|
1054
|
+
(split s "\n"))
|
|
1055
|
+
|
|
1056
|
+
;; 단어 분리
|
|
1057
|
+
(defn str-words [s]
|
|
1058
|
+
(split (trim s) " "))
|
|
1059
|
+
|
|
1060
|
+
;; 줄 합치기
|
|
1061
|
+
(defn str-join-lines [lines]
|
|
1062
|
+
(str-join-loop lines 0 ""))
|
|
1063
|
+
(defn str-join-loop [lst i acc]
|
|
1064
|
+
(if (>= i (length lst)) acc
|
|
1065
|
+
(str-join-loop lst (+ i 1)
|
|
1066
|
+
(if (= i 0) (get lst 0) (str acc "\n" (get lst i))))))
|
|
1067
|
+
|
|
1068
|
+
;; 부분 문자열 출현 횟수
|
|
1069
|
+
(defn str-count [s sub]
|
|
1070
|
+
(if (= (length sub) 0) 0
|
|
1071
|
+
(str-count-loop s sub 0 0)))
|
|
1072
|
+
(defn str-count-loop [s sub pos acc]
|
|
1073
|
+
(let [[rest (substring s pos (length s))]
|
|
1074
|
+
[idx (index-of rest sub)]]
|
|
1075
|
+
(if (< idx 0) acc
|
|
1076
|
+
(str-count-loop s sub (+ pos idx (length sub)) (+ acc 1)))))
|
|
1077
|
+
|
|
1078
|
+
;; CSV 행 파싱 (간단한 버전, 따옴표 미지원)
|
|
1079
|
+
(defn csv-parse-line [line]
|
|
1080
|
+
(split line ","))
|
|
1081
|
+
|
|
1082
|
+
;; CSV 본문 파싱
|
|
1083
|
+
(defn csv-parse [csv]
|
|
1084
|
+
(let [[lines (split csv "\n")]]
|
|
1085
|
+
(csv-parse-loop lines 0 (list))))
|
|
1086
|
+
(defn csv-parse-loop [lines i acc]
|
|
1087
|
+
(if (>= i (length lines)) acc
|
|
1088
|
+
(csv-parse-loop lines (+ i 1)
|
|
1089
|
+
(append acc (csv-parse-line (get lines i))))))
|
|
1090
|
+
|
|
1091
|
+
;; str-repeat 은 builtin — 재정의 불필요
|
|
1092
|
+
|
|
1093
|
+
;; JSON 헬퍼 (json.fl 기반)
|
|
1094
|
+
(defn data-json-parse [s]
|
|
1095
|
+
(json-parse s))
|
|
1096
|
+
|
|
1097
|
+
(defn data-json-str [obj]
|
|
1098
|
+
(json-stringify obj))
|
|
1099
|
+
|
|
1100
|
+
(defn data-json-pretty [obj]
|
|
1101
|
+
(json-stringify obj))
|
|
1102
|
+
|
|
1103
|
+
;; 객체를 쿼리 문자열로 변환
|
|
1104
|
+
(defn to-query-string [obj]
|
|
1105
|
+
(to-query-loop (keys obj) obj 0 (list)))
|
|
1106
|
+
(defn to-query-loop [ks obj i acc]
|
|
1107
|
+
(if (>= i (length ks)) (join acc "&")
|
|
1108
|
+
(let [[k (get ks i)]
|
|
1109
|
+
[v (get obj k)]]
|
|
1110
|
+
(to-query-loop ks obj (+ i 1)
|
|
1111
|
+
(append acc (str k "=" v))))))
|
|
1112
|
+
|
|
1113
|
+
;; ── stdlib: hash ────────────────────────────────────────────────────
|
|
1114
|
+
;; 해시 함수
|
|
1115
|
+
|
|
1116
|
+
(defn hash-simple [s]
|
|
1117
|
+
(hash-simple-loop (str s) 0 5381 0))
|
|
1118
|
+
(defn hash-simple-loop [s i hash max]
|
|
1119
|
+
(if (>= i (length s)) (% (abs hash) 2147483647)
|
|
1120
|
+
(hash-simple-loop s (+ i 1)
|
|
1121
|
+
(+ (* hash 33) (char-code-at s i)) (+ i 1))))
|
|
1122
|
+
|
|
1123
|
+
(defn hash-fnv1a [s]
|
|
1124
|
+
(let [[fnv-offset 2166136261]
|
|
1125
|
+
[fnv-prime 16777619]]
|
|
1126
|
+
(hash-fnv-loop (str s) 0 fnv-offset)))
|
|
1127
|
+
(defn hash-fnv-loop [s i hash]
|
|
1128
|
+
(if (>= i (length s)) (% (abs hash) 2147483647)
|
|
1129
|
+
(hash-fnv-loop s (+ i 1)
|
|
1130
|
+
(* (bit-xor hash (char-code-at s i)) 16777619))))
|
|
1131
|
+
|
|
1132
|
+
(defn hash-djb2 [s]
|
|
1133
|
+
(hash-djb-loop (str s) 0 5381))
|
|
1134
|
+
(defn hash-djb-loop [s i hash]
|
|
1135
|
+
(if (>= i (length s)) (% (abs hash) 2147483647)
|
|
1136
|
+
(hash-djb-loop s (+ i 1)
|
|
1137
|
+
(+ (* hash 33) (char-code-at s i)))))
|
|
1138
|
+
|
|
1139
|
+
(defn hash-object [obj]
|
|
1140
|
+
(hash-simple (json-stringify obj)))
|
|
1141
|
+
|
|
1142
|
+
(defn hash-consistent [s seed]
|
|
1143
|
+
(let [[h (hash-simple s)]]
|
|
1144
|
+
(% (+ (* h seed) seed) 2147483647)))
|
|
1145
|
+
|
|
1146
|
+
;; ── stdlib: time ────────────────────────────────────────────────────
|
|
1147
|
+
;;
|
|
1148
|
+
;; now-ms 는 prelude(JS runtime) 에서 이미 `const now_ms = () => Date.now()` 로
|
|
1149
|
+
;; 제공되므로 FL 에서 재정의하지 않는다. FL 코드에서 (now-ms) 호출 시
|
|
1150
|
+
;; codegen 이 `now_ms()` JS 로 번역 → prelude 정의로 해소됨.
|
|
1151
|
+
;; 재정의하면 `Identifier 'now_ms' has already been declared` SyntaxError.
|
|
1152
|
+
|
|
1153
|
+
(defn now-s []
|
|
1154
|
+
(floor (/ (now) 1000)))
|
|
1155
|
+
|
|
1156
|
+
(defn time-diff-ms [t1 t2]
|
|
1157
|
+
(- t2 t1))
|
|
1158
|
+
(defn time-elapsed [start]
|
|
1159
|
+
(- (now) start))
|
|
1160
|
+
|
|
1161
|
+
(defn date-parts [ts]
|
|
1162
|
+
{:ts ts :s (floor (/ ts 1000))
|
|
1163
|
+
:m (floor (/ ts 60000))
|
|
1164
|
+
:h (floor (/ ts 3600000))
|
|
1165
|
+
:d (floor (/ ts 86400000))})
|
|
1166
|
+
|
|
1167
|
+
(defn ts-to-s [ts]
|
|
1168
|
+
(floor (/ ts 1000)))
|
|
1169
|
+
(defn s-to-ts [s]
|
|
1170
|
+
(* s 1000))
|
|
1171
|
+
|
|
1172
|
+
(defn time-ago [ts]
|
|
1173
|
+
(let [[diff (- (now) ts)]
|
|
1174
|
+
[s (floor (/ diff 1000))]
|
|
1175
|
+
[m (floor (/ s 60))]
|
|
1176
|
+
[h (floor (/ m 60))]
|
|
1177
|
+
[d (floor (/ h 24))]]
|
|
1178
|
+
(cond [(< s 60) (str s "s ago")]
|
|
1179
|
+
[(< m 60) (str m "m ago")]
|
|
1180
|
+
[(< h 24) (str h "h ago")]
|
|
1181
|
+
[true (str d "d ago")])))
|
|
1182
|
+
|
|
1183
|
+
;; ── stdlib: string 확장 ─────────────────────────────────────────────
|
|
1184
|
+
|
|
1185
|
+
;; str-starts-with?/str-ends-with? 은 미사용 — starts-with?/ends-with? 내장 사용
|
|
1186
|
+
|
|
1187
|
+
;; str-repeat/str-pad-left/str-pad-right 은 builtin — 재정의 불필요
|
|
1188
|
+
|
|
1189
|
+
;; str-upper/str-lower/str-contains 는 prelude builtin — 재정의 불필요
|
|
1190
|
+
|
|
1191
|
+
|
|
1192
|
+
;; ── stdlib: file ────────────────────────────────────────────────────
|
|
1193
|
+
;; 파일 I/O 연산 (native file_* builtin wrapper)
|
|
1194
|
+
|
|
1195
|
+
; file-read/file-write: prelude에 const로 정의됨 (중복 방지)
|
|
1196
|
+
|
|
1197
|
+
(defn file-append [path content]
|
|
1198
|
+
(_fl_file_append (str path) (str content)))
|
|
1199
|
+
|
|
1200
|
+
(defn file-exists? [path]
|
|
1201
|
+
(file_exists (str path)))
|
|
1202
|
+
|
|
1203
|
+
(defn file-delete [path]
|
|
1204
|
+
(_fl_file_delete (str path)))
|
|
1205
|
+
|
|
1206
|
+
(defn file-copy [src dest]
|
|
1207
|
+
(_fl_file_copy (str src) (str dest)))
|
|
1208
|
+
|
|
1209
|
+
(defn file-rename [old new]
|
|
1210
|
+
(_fl_file_rename (str old) (str new)))
|
|
1211
|
+
|
|
1212
|
+
(defn file-size [path]
|
|
1213
|
+
(_fl_file_size (str path)))
|
|
1214
|
+
|
|
1215
|
+
(defn file-modified [path]
|
|
1216
|
+
(_fl_file_modified (str path)))
|
|
1217
|
+
|
|
1218
|
+
(defn file-json [path]
|
|
1219
|
+
(json-parse (file-read (str path))))
|
|
1220
|
+
|
|
1221
|
+
(defn file-json-write [path obj]
|
|
1222
|
+
(file-write (str path) (json-stringify obj)))
|
|
1223
|
+
|
|
1224
|
+
(defn file-lines [path]
|
|
1225
|
+
(str-lines (file-read (str path))))
|
|
1226
|
+
|
|
1227
|
+
(defn file-mkdir [path]
|
|
1228
|
+
(_fl_file_mkdir (str path)))
|
|
1229
|
+
|
|
1230
|
+
(defn file-rmdir [path]
|
|
1231
|
+
(_fl_file_rmdir (str path)))
|
|
1232
|
+
|
|
1233
|
+
(defn file-list [path]
|
|
1234
|
+
(_fl_file_list (str path)))
|
|
1235
|
+
|
|
1236
|
+
(defn file-is-file? [path]
|
|
1237
|
+
(_fl_file_is_file (str path)))
|
|
1238
|
+
|
|
1239
|
+
(defn file-is-dir? [path]
|
|
1240
|
+
(_fl_file_is_dir (str path)))
|
|
1241
|
+
|
|
1242
|
+
;; ── stdlib: process ─────────────────────────────────────────────────
|
|
1243
|
+
;; 프로세스/쉘 연산 (native process_* builtin wrapper)
|
|
1244
|
+
|
|
1245
|
+
(defn process-run [cmd]
|
|
1246
|
+
(_fl_process_run (str cmd)))
|
|
1247
|
+
|
|
1248
|
+
(defn process-run-args [cmd args]
|
|
1249
|
+
(_fl_process_run_args (str cmd) args))
|
|
1250
|
+
|
|
1251
|
+
(defn process-exec [cmd]
|
|
1252
|
+
(_fl_process_exec (str cmd)))
|
|
1253
|
+
|
|
1254
|
+
(defn process-exec-args [cmd args]
|
|
1255
|
+
(_fl_process_exec_args (str cmd) args))
|
|
1256
|
+
|
|
1257
|
+
(defn process-spawn [cmd args]
|
|
1258
|
+
(_fl_process_spawn (str cmd) args))
|
|
1259
|
+
|
|
1260
|
+
(defn process-kill [pid]
|
|
1261
|
+
(_fl_process_kill (floor pid)))
|
|
1262
|
+
|
|
1263
|
+
(defn process-exists? [pid]
|
|
1264
|
+
(_fl_process_exists (floor pid)))
|
|
1265
|
+
|
|
1266
|
+
(defn process-wait [pid]
|
|
1267
|
+
(_fl_process_wait (floor pid)))
|
|
1268
|
+
|
|
1269
|
+
(defn shell-run [cmd]
|
|
1270
|
+
(_fl_run_inherit (str cmd)))
|
|
1271
|
+
|
|
1272
|
+
(defn shell-pipe [cmd1 cmd2]
|
|
1273
|
+
(process_exec (str cmd1 " | " cmd2)))
|
|
1274
|
+
|
|
1275
|
+
(defn env-get [key]
|
|
1276
|
+
(_fl_env_get (str key)))
|
|
1277
|
+
|
|
1278
|
+
(defn env-set [key value]
|
|
1279
|
+
(_fl_env_set (str key) (str value)))
|
|
1280
|
+
|
|
1281
|
+
(defn env-all []
|
|
1282
|
+
(_fl_env_all))
|
|
1283
|
+
|
|
1284
|
+
(defn getcwd []
|
|
1285
|
+
(_fl_process_getcwd))
|
|
1286
|
+
|
|
1287
|
+
(defn chdir [path]
|
|
1288
|
+
(_fl_process_chdir (str path)))
|
|
1289
|
+
|
|
1290
|
+
(defn pid []
|
|
1291
|
+
(_fl_process_pid))
|
|
1292
|
+
|
|
1293
|
+
(defn pid-parent []
|
|
1294
|
+
(_fl_process_ppid))
|
|
1295
|
+
|
|
1296
|
+
;; Vector Math Functions (Phase C-9)
|
|
1297
|
+
;; vector-add, vector-dot, vector-magnitude, math-sqrt
|
|
1298
|
+
|
|
1299
|
+
(defn vector-add [$v1 $v2]
|
|
1300
|
+
(map (fn [$i]
|
|
1301
|
+
(+ (get $v1 $i) (get $v2 $i)))
|
|
1302
|
+
(range 0 (length $v1))))
|
|
1303
|
+
|
|
1304
|
+
(defn vector-dot [$v1 $v2]
|
|
1305
|
+
(reduce (fn [$acc $i]
|
|
1306
|
+
(+ $acc (* (get $v1 $i) (get $v2 $i))))
|
|
1307
|
+
0
|
|
1308
|
+
(range 0 (length $v1))))
|
|
1309
|
+
|
|
1310
|
+
(defn vector-magnitude [$v]
|
|
1311
|
+
(math-sqrt
|
|
1312
|
+
(reduce (fn [$acc $x]
|
|
1313
|
+
(+ $acc (* $x $x)))
|
|
1314
|
+
0
|
|
1315
|
+
$v)))
|
|
1316
|
+
|
|
1317
|
+
;; math-sqrt 은 prelude builtin (Math.sqrt) — 재정의 불필요
|
|
1318
|
+
|
|
1319
|
+
;; math-pow 은 builtin (Math.pow) — 재정의 불필요
|
|
1320
|
+
|
|
1321
|
+
(defn cosine-sim [$v1 $v2]
|
|
1322
|
+
(let [[$dot (vector-dot $v1 $v2)]
|
|
1323
|
+
[$mag1 (vector-magnitude $v1)]
|
|
1324
|
+
[$mag2 (vector-magnitude $v2)]]
|
|
1325
|
+
(if (or (= $mag1 0) (= $mag2 0))
|
|
1326
|
+
0
|
|
1327
|
+
(/ $dot (* $mag1 $mag2)))))
|
|
1328
|
+
|
|
1329
|
+
|
|
1330
|
+
(defn do-run [$input $extra-args]
|
|
1331
|
+
(let [[$output (str "/tmp/fl-run-" (now-ms) ".js")]
|
|
1332
|
+
[$args-str (str-join $extra-args " ")]]
|
|
1333
|
+
(do
|
|
1334
|
+
(compile-file $input $output)
|
|
1335
|
+
(shell-run (str "node " $output " " $args-str))
|
|
1336
|
+
(file-delete $output))))
|
|
1337
|
+
|
|
1338
|
+
(defn cli-main []
|
|
1339
|
+
(let [[$argv (cli-args)]]
|
|
1340
|
+
(if (null? $argv) null
|
|
1341
|
+
(if (= (length $argv) 0) null
|
|
1342
|
+
(let [[$cmd (get $argv 0)]]
|
|
1343
|
+
(if (= $cmd "run")
|
|
1344
|
+
(let [[$input (get $argv 1)]
|
|
1345
|
+
[$extra (slice $argv 2 (length $argv))]]
|
|
1346
|
+
(do-run $input $extra))
|
|
1347
|
+
(let [[$input (get $argv 0)]
|
|
1348
|
+
[$output (if (>= (length $argv) 2) (get $argv 1) (str $input ".out.js"))]]
|
|
1349
|
+
(compile-file $input $output))))))))
|
|
1350
|
+
|
|
1351
|
+
;; Entry point trigger
|
|
1352
|
+
(cli-main)
|
|
1353
|
+
|