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/docs/CLAUDE.md
ADDED
|
@@ -0,0 +1,991 @@
|
|
|
1
|
+
# FreeLang v11 — Claude 빠른 레퍼런스
|
|
2
|
+
|
|
3
|
+
> **읽는 시간**: 5분 | **목적**: Claude가 FreeLang 코드를 즉시 작성할 수 있도록
|
|
4
|
+
> **런타임**: `node bootstrap.js run <file.fl>` | **PM2**: `pm2 restart <name>`
|
|
5
|
+
|
|
6
|
+
---
|
|
7
|
+
|
|
8
|
+
## 📚 문서 링크
|
|
9
|
+
|
|
10
|
+
| 문서 | 용도 |
|
|
11
|
+
|------|------|
|
|
12
|
+
| **[CLAUDE_AI.md](./docs/CLAUDE_AI.md)** ⭐ | AI 통합 가이드 — stdlib 46개 + 커먼 패턴 (먼저 읽기) |
|
|
13
|
+
| **[MISTAKES-100.md](./docs/MISTAKES-100.md)** 🔴 | 실수 100선 — 코드 작성 전 반드시 확인 |
|
|
14
|
+
| **[TOOLS.md](./TOOLS.md)** | 전체 함수 레퍼런스 |
|
|
15
|
+
| **[README.md](./README.md)** | 프로젝트 개요 |
|
|
16
|
+
|
|
17
|
+
---
|
|
18
|
+
|
|
19
|
+
## 📋 Audit Log
|
|
20
|
+
|
|
21
|
+
```fl
|
|
22
|
+
;; 환경변수 필수: AUDIT_URL, AUDIT_SERVICE_KEY
|
|
23
|
+
;; 실패해도 nil 반환 — 본 작업 차단 없음
|
|
24
|
+
|
|
25
|
+
;; 기본
|
|
26
|
+
(audit_log "akl-accounting" $actor-id "create" "invoice/INV-001" "청구서 생성")
|
|
27
|
+
|
|
28
|
+
;; actorId 없으면 serviceId로 자동 대체
|
|
29
|
+
(audit_log "akl-accounting" nil "delete" "user/42" "사용자 삭제")
|
|
30
|
+
|
|
31
|
+
;; 추가 필드 포함
|
|
32
|
+
(audit_log_custom "akl-accounting" $actor-id "update" "invoice/1"
|
|
33
|
+
"금액 수정" {:before 1000 :after 2000})
|
|
34
|
+
|
|
35
|
+
;; 결과 확인 (선택)
|
|
36
|
+
(if (audit_log_ok? (audit_log ...)) (println "기록됨") (println "실패"))
|
|
37
|
+
```
|
|
38
|
+
|
|
39
|
+
---
|
|
40
|
+
|
|
41
|
+
## ⚠️ 자주 틀리는 것 TOP 20 (먼저 읽기)
|
|
42
|
+
|
|
43
|
+
> 전체 목록: `docs/MISTAKES-100.md` 참고
|
|
44
|
+
|
|
45
|
+
```fl
|
|
46
|
+
;; ── 인자 순서 (가장 많이 틀림) ───────────────────────────────────
|
|
47
|
+
(map [1 2 3] fn) → (map fn [1 2 3]) ;; fn 먼저!
|
|
48
|
+
(filter arr fn) → (filter fn arr) ;; fn 먼저!
|
|
49
|
+
(reduce arr init fn) → (reduce fn init arr) ;; fn 먼저!
|
|
50
|
+
|
|
51
|
+
;; ── HTTP 반환값 ───────────────────────────────────────────────────
|
|
52
|
+
(json_parse (http_get url)) → (json_parse (get (http_get url) "body"))
|
|
53
|
+
(http_post url body) ;; 반환: {:status N :body "..."} — body 꺼내야 함
|
|
54
|
+
|
|
55
|
+
;; ── 전역 상태 변경 ───────────────────────────────────────────────
|
|
56
|
+
(define count 0) (set! count 1) → (define count (atom 0)) (swap! count + 1)
|
|
57
|
+
|
|
58
|
+
;; ── let 문법 ─────────────────────────────────────────────────────
|
|
59
|
+
(let [x 1 y 2] ...) → (let [[$x 1] [$y 2]] ...)
|
|
60
|
+
|
|
61
|
+
;; ── 함수 선언 ([FUNC] deprecated, 경고 출력됨) ──────────────────
|
|
62
|
+
[FUNC f :params [x] :body ...] → (defn f [$x] ...)
|
|
63
|
+
|
|
64
|
+
;; ── map 키 ───────────────────────────────────────────────────────
|
|
65
|
+
{name "kim"} → {:name "kim"}
|
|
66
|
+
(= x null) → (nil? x)
|
|
67
|
+
|
|
68
|
+
;; ── 함수명 오류 ──────────────────────────────────────────────────
|
|
69
|
+
(env "KEY") / (get_env "KEY") → (shell_env "KEY")
|
|
70
|
+
(server_listen 3000) → (server_start 3000)
|
|
71
|
+
(str-to-int "42") → (str-to-num "42")
|
|
72
|
+
(console.log x) → (println x)
|
|
73
|
+
(json_keys m) → (keys m)
|
|
74
|
+
(now_ms) → (now-ms) ;; kebab-case 정식명, snake는 deprecated
|
|
75
|
+
(mariadb_all db sql p) → (mariadb_query db sql p)
|
|
76
|
+
(obj_merge a b) → 미구현 — (assoc a "k" v) 직접
|
|
77
|
+
(obj_omit m ["k"]) → (dissoc m "k")
|
|
78
|
+
|
|
79
|
+
;; ── 웹서버 버전 선택 ─────────────────────────────────────────────
|
|
80
|
+
;; 내부 API → server_* 직접 / 외부 노출 API → (load "src/express.fl")
|
|
81
|
+
;; 혼용 금지: express.fl 로드 후 server_get 사용 ❌
|
|
82
|
+
```
|
|
83
|
+
|
|
84
|
+
---
|
|
85
|
+
|
|
86
|
+
## 🛠️ 개발 명령어 (자주 모르는 것)
|
|
87
|
+
|
|
88
|
+
```bash
|
|
89
|
+
freelang watch server.fl # 파일 저장 시 자동 재실행 ← 개발 중 필수!
|
|
90
|
+
freelang run server.fl --watch # 동일 (--watch 플래그)
|
|
91
|
+
freelang check server.fl # 문법 오류 + 정적 타입 검사 (arity, type-hint)
|
|
92
|
+
freelang fmt server.fl # 코드 포맷
|
|
93
|
+
freelang debug server.fl # 브레이크포인트 디버그
|
|
94
|
+
freelang fn-doc str_split # 함수 문서 조회
|
|
95
|
+
```
|
|
96
|
+
|
|
97
|
+
## ⚠️ 에러 메시지 포맷 (2026-05-03 개선)
|
|
98
|
+
|
|
99
|
+
에러 발생 시 **파일명:라인 + 소스 컨텍스트 + 콜 스택** 자동 표시:
|
|
100
|
+
|
|
101
|
+
```
|
|
102
|
+
실행 오류 app.fl:9
|
|
103
|
+
8 │ (defn run []
|
|
104
|
+
→ 9 │ (undefined-func 42) ← 에러 라인 빨간 강조
|
|
105
|
+
10 │ )
|
|
106
|
+
|
|
107
|
+
✖ Function not found: undefined-func
|
|
108
|
+
|
|
109
|
+
콜 스택:
|
|
110
|
+
→ run (line 9)
|
|
111
|
+
main (line 12)
|
|
112
|
+
```
|
|
113
|
+
|
|
114
|
+
## ⚠️ try/catch — $e 구조
|
|
115
|
+
|
|
116
|
+
```fl
|
|
117
|
+
(try
|
|
118
|
+
(json_parse "bad")
|
|
119
|
+
(catch $e
|
|
120
|
+
(println $e) ;; "[line 2] json_parse: invalid JSON..."
|
|
121
|
+
(get $e "message") ;; 에러 메시지 문자열
|
|
122
|
+
(get $e "line") ;; 발생 줄 번호 (number)
|
|
123
|
+
(get $e "file"))) ;; 발생 파일명
|
|
124
|
+
```
|
|
125
|
+
|
|
126
|
+
---
|
|
127
|
+
|
|
128
|
+
## 🆕 v11 최신 추가 함수 (모르면 손해)
|
|
129
|
+
|
|
130
|
+
```fl
|
|
131
|
+
;; ── 이미 되는 것 (몰랐으면 지금부터 사용) ────────────────────────────
|
|
132
|
+
(assoc {} "a" 1 "b" 2 "c" 3) ;; assoc 다중 인자 ← 지금도 됨!
|
|
133
|
+
(->> $items (filter fn) (map fn)) ;; thread-last ← 이미 있음
|
|
134
|
+
(defn empty? [$x] ...) ;; ? 함수명 ← 이미 됨
|
|
135
|
+
(when-let [[$u (find-user $id)]] ...) ;; when-let ← 이미 됨
|
|
136
|
+
(freelang repl) ;; REPL ← 이미 있음!
|
|
137
|
+
|
|
138
|
+
;; ── 깊은 객체 접근/수정 ────────────────────────────────────────────
|
|
139
|
+
(get-in m [:a :b :c]) ;; 깊은 접근
|
|
140
|
+
(get-in m [:a :missing] "default") ;; 기본값 지원
|
|
141
|
+
(assoc-in m [:a :b] 99) ;; 깊은 업데이트 (불변)
|
|
142
|
+
(update-in m [:score] inc) ;; 깊은 함수 적용
|
|
143
|
+
(update-in m [:score] + 5) ;; 추가 인자 전달 가능
|
|
144
|
+
|
|
145
|
+
;; ── nil 병합 (??) ──────────────────────────────────────────────────
|
|
146
|
+
(?? (get user :nickname) (get user :name) "anonymous") ;; 첫 non-nil
|
|
147
|
+
|
|
148
|
+
;; ── 컬렉션 술어 ─────────────────────────────────────────────────────
|
|
149
|
+
(every? even? [2 4 6]) ;; → true (모두 만족)
|
|
150
|
+
(any? even? [1 3 4 5]) ;; → 4 (첫 매칭값, 없으면 nil)
|
|
151
|
+
(none? even? [1 3 5]) ;; → true (하나도 없음)
|
|
152
|
+
(every? (fn [u] (>= (get u :age) 18)) users) ;; 람다도 동작
|
|
153
|
+
|
|
154
|
+
;; ── 함수 합성 (comp) ────────────────────────────────────────────────
|
|
155
|
+
(define double-inc (comp inc (* 2))) ;; inc ∘ double
|
|
156
|
+
(double-inc 3) ;; → 7 (오른쪽→왼쪽)
|
|
157
|
+
(map (comp str inc) [1 2 3]) ;; → ["2" "3" "4"]
|
|
158
|
+
|
|
159
|
+
;; ── count — length 별칭 ─────────────────────────────────────────────
|
|
160
|
+
(count [1 2 3]) ;; → 3
|
|
161
|
+
(count "hello") ;; → 5
|
|
162
|
+
(count {:a 1 :b 2}) ;; → 2 (맵은 키 개수)
|
|
163
|
+
|
|
164
|
+
;; ── 정규식 (re-* 별칭) ────────────────────────────────────────────
|
|
165
|
+
(re-match "\\d+" "abc123") ;; → true
|
|
166
|
+
(re-find "\\d+" "abc123def") ;; → "123"
|
|
167
|
+
(re-find-all "\\d+" "1a2b3c") ;; → ["1" "2" "3"]
|
|
168
|
+
(re-replace "\\s+" "_" "a b c") ;; → "a_b_c"
|
|
169
|
+
(re-split "[,;]" "a,b;c") ;; → ["a" "b" "c"]
|
|
170
|
+
(re-groups "(\\w+)@(\\w+)" "a@b") ;; → ["a" "b"] (캡처 그룹)
|
|
171
|
+
|
|
172
|
+
;; ── 구조화 로깅 ────────────────────────────────────────────────────
|
|
173
|
+
(log/info "user logged in" {:userId $uid})
|
|
174
|
+
(log/warn "rate limit" {:current 90 :limit 100})
|
|
175
|
+
(log/error "db failed" {:err $e}) ;; $e는 try/catch 에러 맵
|
|
176
|
+
(log/debug "query" {:sql $q}) ;; FL_DEBUG=1 일 때만 출력
|
|
177
|
+
|
|
178
|
+
;; ── PUT 패턴 단순화 ───────────────────────────────────────────────
|
|
179
|
+
(merge $existing (dissoc-nil $body)) ;; nil 필드 제거 후 머지
|
|
180
|
+
|
|
181
|
+
;; ── 파이프 확장 ────────────────────────────────────────────────────
|
|
182
|
+
(->> [1 2 3] (filter (fn [$x] (> $x 1))) (map (fn [$x] (* $x 2))))
|
|
183
|
+
(as-> $items $v
|
|
184
|
+
(filter (fn [$x] (> $x 0)) $v) ; $v = 중간값
|
|
185
|
+
(map (fn [$x] (* $x 10)) $v)) ; 임의 위치 삽입 가능
|
|
186
|
+
|
|
187
|
+
;; ── nil-safe 접근 (?.) ─────────────────────────────────────────────
|
|
188
|
+
(?. $user :profile :name) ; nil이면 즉시 nil 반환
|
|
189
|
+
(?. $user :address :city) ; 중간에 nil → null
|
|
190
|
+
|
|
191
|
+
;; ── 문자열 슬라이스 ──────────────────────────────────────────────
|
|
192
|
+
(str-slice "hello" 1 3) ;; → "el" (end-exclusive index)
|
|
193
|
+
(str-substr "hello" 1 3) ;; → "ell" (length 방식)
|
|
194
|
+
|
|
195
|
+
;; ── contains? — map도 지원 (2026-05-07~) ────────────────────────
|
|
196
|
+
(contains? {:key "val"} "key") ;; → true ✅
|
|
197
|
+
(contains? {:key "val"} :key) ;; → true
|
|
198
|
+
|
|
199
|
+
;; ── HTTP Bearer 패턴 ────────────────────────────────────────────
|
|
200
|
+
(http-get-bearer $url $token) ;; → {:status N :body "..."}
|
|
201
|
+
(http-post-bearer $url $body $token) ;; body는 JSON 문자열
|
|
202
|
+
|
|
203
|
+
;; ── 병렬 HTTP (http-parallel) ────────────────────────────────────
|
|
204
|
+
(define results (http-parallel [
|
|
205
|
+
{:url "https://api/a" :method "GET" :token $tok}
|
|
206
|
+
{:url "https://api/b" :method "POST" :body "{}" :token $tok}
|
|
207
|
+
]))
|
|
208
|
+
;; → [{:status 200 :body "..."} {:status 201 :body "..."}]
|
|
209
|
+
;; 직렬 N초 → 병렬 1초 (OS 레벨 curl 병렬 실행)
|
|
210
|
+
|
|
211
|
+
;; ── 소수점 정밀도 ────────────────────────────────────────────────
|
|
212
|
+
(math-round-dec (+ 0.1 0.2) 10) ;; → 0.3 (IEEE 754 정밀도 문제 해결)
|
|
213
|
+
(math-round-dec 3.14159265 4) ;; → 3.1416
|
|
214
|
+
|
|
215
|
+
;; ── namespace 모듈 격리 ──────────────────────────────────────────
|
|
216
|
+
(load "lib/utils.fl" "utils") ;; utils/ 접두사로 격리
|
|
217
|
+
(utils/square 5) ;; → 25 (전역 오염 없음)
|
|
218
|
+
(load "lib/utils.fl") ;; 기존 방식도 그대로 동작
|
|
219
|
+
|
|
220
|
+
;; ── 타입 힌트 + 변수 타입 추론 (check 명령어) ───────────────────
|
|
221
|
+
(defn ^string greet [^string $name] (str "Hello " $name))
|
|
222
|
+
(defn ^number add [^number $a ^number $b] (+ $a $b))
|
|
223
|
+
|
|
224
|
+
;; define으로 선언된 변수도 타입 추론 (컴파일 타임 경고)
|
|
225
|
+
(define x 42)
|
|
226
|
+
(greet x) ;; ⚠ check 시 경고: ^string 파라미터에 number 전달
|
|
227
|
+
|
|
228
|
+
;; let 바인딩도 타입 추론 (S4-01, 2026-05-07~)
|
|
229
|
+
(let [[$n 42]]
|
|
230
|
+
(greet $n)) ;; ⚠ $n이 number → ^string 파라미터에 전달 경고
|
|
231
|
+
|
|
232
|
+
;; return type 검사 (S4-02, 2026-05-07~)
|
|
233
|
+
(defn ^number bad [] "hello") ;; ⚠ return-type: string 리터럴 반환
|
|
234
|
+
|
|
235
|
+
;; ── 빈도 집계 (frequencies) ───────────────────────────────────────
|
|
236
|
+
(frequencies [1 2 1 3 2 1]) ;; → {"1": 3, "2": 2, "3": 1}
|
|
237
|
+
(frequencies ["admin" "user" "admin"]) ;; → {"admin": 2, "user": 1}
|
|
238
|
+
|
|
239
|
+
;; ── HTTP Retry ────────────────────────────────────────────────────
|
|
240
|
+
(http-retry "https://api/users" $token 3) ;; GET, 5xx 시 재시도
|
|
241
|
+
(http-retry-post "https://api/jobs" $body $token 3) ;; POST, 5xx 시 재시도
|
|
242
|
+
|
|
243
|
+
;; ── 함수 탐색 ──────────────────────────────────────────────────────
|
|
244
|
+
;; freelang ls-fns 전체 목록
|
|
245
|
+
;; freelang ls-fns "http" http 관련만
|
|
246
|
+
;; freelang fn-doc str_split 상세 설명
|
|
247
|
+
|
|
248
|
+
;; ── AI-Native 메타 (Phase 1) ──────────────────────────────────────
|
|
249
|
+
;; defn 첫 body에 맵을 두면 메타로 인식 (실행 안 됨, 분리됨)
|
|
250
|
+
(defn get-user [$req]
|
|
251
|
+
{:context "Bearer 토큰으로 사용자 조회"
|
|
252
|
+
:returns "User | nil"
|
|
253
|
+
:effects [:http :db-read]
|
|
254
|
+
:examples "(get-user $req) => {:id 1 :name \"kim\"}"}
|
|
255
|
+
(http_get "http://auth/me"))
|
|
256
|
+
|
|
257
|
+
;; 런타임 메타 조회
|
|
258
|
+
(fn-meta "get-user") ; => {:context "..." :returns "..." :effects [...]}
|
|
259
|
+
|
|
260
|
+
;; check 명령어: 메타 누락 함수 경고
|
|
261
|
+
;; freelang check server.fl
|
|
262
|
+
;; ⚠ line 9: no-meta — :context/:returns 없음
|
|
263
|
+
```
|
|
264
|
+
|
|
265
|
+
---
|
|
266
|
+
|
|
267
|
+
## 🔤 기본 문법
|
|
268
|
+
|
|
269
|
+
```fl
|
|
270
|
+
;; 변수
|
|
271
|
+
(define x 42)
|
|
272
|
+
|
|
273
|
+
;; 함수 — (defn ...) 만 사용
|
|
274
|
+
(defn add [$a $b] (+ $a $b))
|
|
275
|
+
;; [FUNC add :params [$a $b] :body ...] ← deprecated, 경고 출력됨
|
|
276
|
+
|
|
277
|
+
;; 조건
|
|
278
|
+
(if (> x 0) "양수" "음수")
|
|
279
|
+
(cond [(= x 1) "하나"] [(= x 2) "둘"] [true "기타"])
|
|
280
|
+
|
|
281
|
+
;; let
|
|
282
|
+
(let [[$x 10] [$y 20]] (+ $x $y))
|
|
283
|
+
|
|
284
|
+
;; do 블록
|
|
285
|
+
(do (define a 1) (define b 2) (+ a b))
|
|
286
|
+
```
|
|
287
|
+
|
|
288
|
+
---
|
|
289
|
+
|
|
290
|
+
## 📋 컬렉션
|
|
291
|
+
|
|
292
|
+
```fl
|
|
293
|
+
;; 배열
|
|
294
|
+
(get arr 0) ;; 인덱스 접근
|
|
295
|
+
(length arr) ;; 길이
|
|
296
|
+
(append arr 6) ;; 추가 (불변)
|
|
297
|
+
(slice arr 1 3) ;; 슬라이스
|
|
298
|
+
(map fn arr) ;; fn 먼저!
|
|
299
|
+
(filter fn arr) ;; fn 먼저!
|
|
300
|
+
(reduce fn init arr)
|
|
301
|
+
(join arr ", ")
|
|
302
|
+
|
|
303
|
+
;; map/object
|
|
304
|
+
(define m {:name "kim" :age 30})
|
|
305
|
+
(get m "name") ;; "kim"
|
|
306
|
+
(map-set m "age" 31) ;; 새 map 반환
|
|
307
|
+
(keys m) ;; ["name","age"]
|
|
308
|
+
(map-entries m) ;; [["name","kim"],...]
|
|
309
|
+
(obj_merge {:a 1} {:b 2}) ;; {:a 1 :b 2}
|
|
310
|
+
(obj_pick m ["name"]) ;; {:name "kim"}
|
|
311
|
+
(obj_omit m ["age"]) ;; {:name "kim"}
|
|
312
|
+
```
|
|
313
|
+
|
|
314
|
+
---
|
|
315
|
+
|
|
316
|
+
## 🌐 HTTP 서버 — 반드시 아래 기준으로 선택
|
|
317
|
+
|
|
318
|
+
> ⚠️ **아무 방식이나 섞어 쓰면 안 됨. 프로젝트 시작 시 둘 중 하나를 선택하고 고정.**
|
|
319
|
+
|
|
320
|
+
---
|
|
321
|
+
|
|
322
|
+
### ✅ 선택 기준
|
|
323
|
+
|
|
324
|
+
| 상황 | 사용 버전 |
|
|
325
|
+
|------|----------|
|
|
326
|
+
| 내부 API, 마이크로서비스, kimdb 클라이언트 | **가벼운 버전** (server_* 직접) |
|
|
327
|
+
| 외부 노출 API, CRUD 앱, 인증/캐시 필요 | **무거운 버전** (express.fl 로드) |
|
|
328
|
+
|
|
329
|
+
---
|
|
330
|
+
|
|
331
|
+
### 🪶 가벼운 버전 (직접 server_* 사용)
|
|
332
|
+
|
|
333
|
+
```fl
|
|
334
|
+
;; 예제: src/api/server.fl 패턴
|
|
335
|
+
(defn handle-health [$req]
|
|
336
|
+
(server_json {:status "ok"}))
|
|
337
|
+
|
|
338
|
+
(defn handle-get-item [$req]
|
|
339
|
+
(let [[$id (server_req_param $req "id")]]
|
|
340
|
+
(server_json {:id $id :data "..."})))
|
|
341
|
+
|
|
342
|
+
(defn handle-post-item [$req]
|
|
343
|
+
(let [[$body (json_parse (server_req_body $req))]]
|
|
344
|
+
(server_json {:success true})))
|
|
345
|
+
|
|
346
|
+
(server_get "/health" "handle-health")
|
|
347
|
+
(server_get "/api/:id" "handle-get-item")
|
|
348
|
+
(server_post "/api" "handle-post-item")
|
|
349
|
+
(server_put "/api/:id" "handle-put-item")
|
|
350
|
+
(server_delete "/api/:id" "handle-delete-item")
|
|
351
|
+
(server_start 40100)
|
|
352
|
+
|
|
353
|
+
;; 요청 헬퍼
|
|
354
|
+
(server_req_param $req "id") ;; URL :param
|
|
355
|
+
(server_req_query $req "key") ;; ?key=val
|
|
356
|
+
(server_req_body $req) ;; body 문자열
|
|
357
|
+
(server_req_header $req "Authorization")
|
|
358
|
+
(server_req_cookie $req "name")
|
|
359
|
+
|
|
360
|
+
;; 응답 헬퍼
|
|
361
|
+
(server_json {:ok true})
|
|
362
|
+
(server_text "plain text")
|
|
363
|
+
(server_html "<h1>OK</h1>")
|
|
364
|
+
(server_status 404 {:error "Not Found"})
|
|
365
|
+
(server_redirect "/login")
|
|
366
|
+
(server_static "public/app.css")
|
|
367
|
+
(server_html_cookie "sid=abc; Path=/; HttpOnly" "<html>...")
|
|
368
|
+
(server_redirect_cookie "/home" "sid=; Path=/; Max-Age=0")
|
|
369
|
+
```
|
|
370
|
+
|
|
371
|
+
---
|
|
372
|
+
|
|
373
|
+
### 🏋️ 무거운 버전 (express.fl 로드)
|
|
374
|
+
|
|
375
|
+
```fl
|
|
376
|
+
;; 예제: src/api/server.fl 패턴
|
|
377
|
+
(load "src/express.fl") ;; ← 반드시 이 줄 먼저
|
|
378
|
+
|
|
379
|
+
(defn handle-health [$req]
|
|
380
|
+
(res-json {:status "ok"}))
|
|
381
|
+
|
|
382
|
+
(defn get-user [$req]
|
|
383
|
+
(let [[$id (req-param $req "id")]
|
|
384
|
+
[$body (req-body $req)]]
|
|
385
|
+
(res-json {:id $id})))
|
|
386
|
+
|
|
387
|
+
(defn post-user [$req]
|
|
388
|
+
(let [[$body (req-body $req)]
|
|
389
|
+
[$name (get $body "name")]]
|
|
390
|
+
(if $name
|
|
391
|
+
(res-status 201 {:success true})
|
|
392
|
+
(res-status 400 {:error "name required"}))))
|
|
393
|
+
|
|
394
|
+
(app-get "/health" "handle-health")
|
|
395
|
+
(app-get "/api/users/:id" "get-user")
|
|
396
|
+
(app-post "/api/users" "post-user")
|
|
397
|
+
(app-put "/api/users/:id" "put-user")
|
|
398
|
+
(app-delete "/api/users/:id" "delete-user")
|
|
399
|
+
(app-listen 40100)
|
|
400
|
+
|
|
401
|
+
;; express.fl 제공 함수
|
|
402
|
+
;; 요청: req-param, req-query, req-body, req-header
|
|
403
|
+
;; 응답: res-json, res-send, res-status
|
|
404
|
+
;; 로그: log-info, log-error
|
|
405
|
+
```
|
|
406
|
+
|
|
407
|
+
---
|
|
408
|
+
|
|
409
|
+
### 🔐 Rate Limiter (v11.6.20) — IP 기반 요청 제한
|
|
410
|
+
|
|
411
|
+
```fl
|
|
412
|
+
;; HTTP 미들웨어 레벨의 자동 Rate Limiting
|
|
413
|
+
;; IP별 슬라이딩 윈도우 방식
|
|
414
|
+
|
|
415
|
+
;; 설정: 최대 100 요청 / 60초
|
|
416
|
+
(server_rate_limit 100 60000)
|
|
417
|
+
|
|
418
|
+
;; 설정 후 server_start 호출
|
|
419
|
+
(server_get "/api/data" "handler")
|
|
420
|
+
(server_start 40100)
|
|
421
|
+
|
|
422
|
+
;; 초과 시 자동 응답:
|
|
423
|
+
;; HTTP 429 Too Many Requests
|
|
424
|
+
;; Retry-After 헤더 포함 (초 단위)
|
|
425
|
+
;; Body: {:error "Too Many Requests" :retry_after 45}
|
|
426
|
+
```
|
|
427
|
+
|
|
428
|
+
**특징**:
|
|
429
|
+
- IP별 독립 추적 (다중 클라이언트 안전)
|
|
430
|
+
- 슬라이딩 윈도우 (정확한 시간 제어)
|
|
431
|
+
- 5분마다 오래된 항목 자동 정리
|
|
432
|
+
- 성능: O(1) 조회 시간
|
|
433
|
+
|
|
434
|
+
**제한 확인 로직**:
|
|
435
|
+
```fl
|
|
436
|
+
;; HTTP 핸들러 내부에서:
|
|
437
|
+
(defn handle-request [$req]
|
|
438
|
+
;; 자동 체크 (server_rate_limit 호출 시)
|
|
439
|
+
;; 초과 시 429 자동 응답, 통과 시 계속
|
|
440
|
+
(server_json {:data "..."}))
|
|
441
|
+
```
|
|
442
|
+
|
|
443
|
+
**함수 호출 레벨 Rate Limiter** (선택사항):
|
|
444
|
+
```fl
|
|
445
|
+
;; 함수 자체 호출 빈도 제한
|
|
446
|
+
(define calc-expensive (rate_limit square 10 1000))
|
|
447
|
+
|
|
448
|
+
;; 10회/1초 제한
|
|
449
|
+
(rl_call calc-expensive 5) ;; → 25
|
|
450
|
+
(rl_call calc-expensive 10) ;; 11번째 → error: "rate_limit 초과"
|
|
451
|
+
```
|
|
452
|
+
|
|
453
|
+
---
|
|
454
|
+
|
|
455
|
+
### ⏰ Cron 스케줄러 (v11.7.0) — 정기적인 작업 자동화
|
|
456
|
+
|
|
457
|
+
**5-field 표현식** (minute hour day month day-of-week):
|
|
458
|
+
|
|
459
|
+
```fl
|
|
460
|
+
;; 매일 09:00에 실행
|
|
461
|
+
(define job1 (cron_schedule "0 9 * * *" (fn [] (println "Good morning!"))))
|
|
462
|
+
|
|
463
|
+
;; 매주 월요일 18:00 실행
|
|
464
|
+
(define job2 (cron_schedule "0 18 * * 1" report-fn))
|
|
465
|
+
|
|
466
|
+
;; 매월 1일 00:00 실행
|
|
467
|
+
(define job3 (cron_schedule "0 0 1 * *" monthly-task))
|
|
468
|
+
|
|
469
|
+
;; 업무 시간마다 (09:00, 12:00, 15:00, 18:00) 월-금
|
|
470
|
+
(cron_schedule "0 9,12,15,18 * * 1-5" sync-data)
|
|
471
|
+
|
|
472
|
+
;; 5분마다 실행
|
|
473
|
+
(cron_schedule "*/5 * * * *" check-queue)
|
|
474
|
+
```
|
|
475
|
+
|
|
476
|
+
**표현식 문법**:
|
|
477
|
+
|
|
478
|
+
| 필드 | 범위 | 예시 |
|
|
479
|
+
|------|------|------|
|
|
480
|
+
| minute | 0-59 | `0` (0분), `*/5` (5분마다), `0-30` (0-30분) |
|
|
481
|
+
| hour | 0-23 | `9` (9시), `9-17` (9-17시) |
|
|
482
|
+
| day | 1-31 | `1` (1일), `15` (15일) |
|
|
483
|
+
| month | 1-12 | `6` (6월), `1-6` (1-6월) |
|
|
484
|
+
| day-of-week | 0-6 | `1` (월), `0-5` (일-금) |
|
|
485
|
+
|
|
486
|
+
**기본 표현식**:
|
|
487
|
+
- `*` — 모든 값 (제약 없음)
|
|
488
|
+
- `5` — 정확한 값
|
|
489
|
+
- `0-5` — 범위
|
|
490
|
+
- `*/5` — 5 간격 (0, 5, 10, ...)
|
|
491
|
+
- `0-30/5` — 범위 내 5 간격 (0, 5, 10, ..., 30)
|
|
492
|
+
- `0,15,30,45` — 리스트
|
|
493
|
+
|
|
494
|
+
**작업 관리**:
|
|
495
|
+
|
|
496
|
+
```fl
|
|
497
|
+
;; 모든 예약된 작업 조회
|
|
498
|
+
(cron_list)
|
|
499
|
+
;; → [{:id "cron-..." :expression "0 9 * * *" :created_at "2026-05-13T..."}]
|
|
500
|
+
|
|
501
|
+
;; 작업 취소
|
|
502
|
+
(cron_cancel job-id) ;; → true/false
|
|
503
|
+
|
|
504
|
+
;; 모든 작업 일괄 정지
|
|
505
|
+
(cron_clear) ;; → 정지된 작업 개수
|
|
506
|
+
```
|
|
507
|
+
|
|
508
|
+
**예제**:
|
|
509
|
+
|
|
510
|
+
```fl
|
|
511
|
+
;; 데이터베이스 백업 — 매일 자정
|
|
512
|
+
(cron_schedule "0 0 * * *"
|
|
513
|
+
(fn []
|
|
514
|
+
(let [result (shell_exec "mysqldump -u root mydb > backup.sql" "/tmp")]
|
|
515
|
+
(if (get result "ok")
|
|
516
|
+
(println "✅ 백업 완료")
|
|
517
|
+
(println "❌ 백업 실패")))))
|
|
518
|
+
|
|
519
|
+
;; 로그 정리 — 매주 월요일 03:00
|
|
520
|
+
(cron_schedule "0 3 * * 1"
|
|
521
|
+
(fn []
|
|
522
|
+
(let [old-logs (dir_list "logs/")]
|
|
523
|
+
(doseq [log old-logs]
|
|
524
|
+
(if (> (file_age log) 604800000) ; 7일 이상
|
|
525
|
+
(file_delete log))))))
|
|
526
|
+
|
|
527
|
+
;; 모니터링 alert — 30초마다 (분 경계에서)
|
|
528
|
+
(cron_schedule "*/1 * * * *" ; 매분
|
|
529
|
+
(fn []
|
|
530
|
+
(let [health (server_health)]
|
|
531
|
+
(if (< (get health "uptime") 0.9)
|
|
532
|
+
(email_alert "Server health degraded")))))
|
|
533
|
+
```
|
|
534
|
+
|
|
535
|
+
---
|
|
536
|
+
|
|
537
|
+
### ❌ 금지 패턴
|
|
538
|
+
|
|
539
|
+
```fl
|
|
540
|
+
;; 가벼운 + 무거운 혼용 금지
|
|
541
|
+
(load "src/express.fl")
|
|
542
|
+
(server_get "/path" "handler") ;; ❌ — express.fl 로드했으면 app-get만 써야 함
|
|
543
|
+
|
|
544
|
+
;; v10 [FUNC] 문법 금지
|
|
545
|
+
[FUNC handler :params [req] :body ...] ;; ❌ — v11에서 동작 안 함
|
|
546
|
+
```
|
|
547
|
+
|
|
548
|
+
---
|
|
549
|
+
|
|
550
|
+
### 🔌 WebSocket (v11.7.0) — 양방향 실시간 통신
|
|
551
|
+
|
|
552
|
+
**서버** (RFC 6455):
|
|
553
|
+
|
|
554
|
+
```fl
|
|
555
|
+
;; WebSocket 서버 시작
|
|
556
|
+
(server_start 40100)
|
|
557
|
+
|
|
558
|
+
;; 라우트 정의 (HTTP ↔ WebSocket 업그레이드)
|
|
559
|
+
(server_get "/ws" "ws_handler")
|
|
560
|
+
|
|
561
|
+
;; 핸들러 함수 내부
|
|
562
|
+
(defn ws_handler [$req]
|
|
563
|
+
;; HTTP 요청을 WebSocket으로 업그레이드
|
|
564
|
+
;; 클라이언트 연결 시 ws_on_connect 콜백 호출
|
|
565
|
+
)
|
|
566
|
+
|
|
567
|
+
;; 콜백 함수들 정의
|
|
568
|
+
(defn ws_on_connect [$conn-id]
|
|
569
|
+
(println (str "클라이언트 연결: " $conn-id)))
|
|
570
|
+
|
|
571
|
+
(defn ws_on_message [$conn-id $message]
|
|
572
|
+
;; $message = 클라이언트가 보낸 문자열
|
|
573
|
+
(println (str "수신: " $message))
|
|
574
|
+
;; 응답 전송
|
|
575
|
+
(ws_send $conn-id (str "응답: " $message)))
|
|
576
|
+
|
|
577
|
+
(defn ws_on_close [$conn-id]
|
|
578
|
+
(println (str "클라이언트 종료: " $conn-id)))
|
|
579
|
+
|
|
580
|
+
(defn ws_on_error [$conn-id $error]
|
|
581
|
+
(println (str "에러 [" $conn-id "]: " $error)))
|
|
582
|
+
```
|
|
583
|
+
|
|
584
|
+
**클라이언트**:
|
|
585
|
+
|
|
586
|
+
```fl
|
|
587
|
+
;; WebSocket 연결
|
|
588
|
+
(define client-id (wsc_connect "ws://localhost:40100/ws" ""))
|
|
589
|
+
|
|
590
|
+
;; 메시지 전송
|
|
591
|
+
(wsc_send client-id "Hello, Server!")
|
|
592
|
+
|
|
593
|
+
;; 연결 상태 확인
|
|
594
|
+
(wsc_state client-id) ;; → "OPEN" / "CONNECTING" / "CLOSED"
|
|
595
|
+
|
|
596
|
+
;; JSON 전송
|
|
597
|
+
(wsc_send_json client-id {:type "ping" :data "test"})
|
|
598
|
+
|
|
599
|
+
;; 연결 종료
|
|
600
|
+
(wsc_close client-id)
|
|
601
|
+
```
|
|
602
|
+
|
|
603
|
+
**실전 예제 — 실시간 채팅**:
|
|
604
|
+
|
|
605
|
+
```fl
|
|
606
|
+
;; 연결된 클라이언트 추적
|
|
607
|
+
(define clients (atom {}))
|
|
608
|
+
|
|
609
|
+
(defn ws_on_connect [$conn-id]
|
|
610
|
+
(swap! clients assoc $conn-id {:connected true :username nil}))
|
|
611
|
+
|
|
612
|
+
(defn ws_on_message [$conn-id $msg]
|
|
613
|
+
(let [parsed (try (json_parse $msg) (catch $e nil))]
|
|
614
|
+
(if parsed
|
|
615
|
+
;; 사용자명 설정
|
|
616
|
+
(if (= (get parsed "action") "set_user")
|
|
617
|
+
(swap! clients assoc-in [$conn-id :username] (get parsed "username"))
|
|
618
|
+
|
|
619
|
+
;; 메시지 브로드캐스트
|
|
620
|
+
(if (= (get parsed "action") "message")
|
|
621
|
+
(let [username (get-in @clients [$conn-id :username])
|
|
622
|
+
response (json-stringify {:user username :text (get parsed "text")})]
|
|
623
|
+
;; 모든 연결된 클라이언트에 전송
|
|
624
|
+
(doseq [[cid _] @clients]
|
|
625
|
+
(wsc_send cid response))))))))
|
|
626
|
+
|
|
627
|
+
(defn ws_on_close [$conn-id]
|
|
628
|
+
(swap! clients dissoc $conn-id))
|
|
629
|
+
```
|
|
630
|
+
|
|
631
|
+
**특징**:
|
|
632
|
+
- RFC 6455 표준 준수
|
|
633
|
+
- 자동 핸드셰이크 (HTTP ↔ WebSocket 업그레이드)
|
|
634
|
+
- 프레임 파싱 (마스킹 처리)
|
|
635
|
+
- 자동 재연결 (클라이언트 측)
|
|
636
|
+
- Node.js 25+ 네이티브 WebSocket 사용 (의존성 0)
|
|
637
|
+
|
|
638
|
+
---
|
|
639
|
+
|
|
640
|
+
## 🗄️ MariaDB
|
|
641
|
+
|
|
642
|
+
```fl
|
|
643
|
+
(define DB (mariadb_connect {:host "localhost" :user "root"
|
|
644
|
+
:password "" :database "mydb"}))
|
|
645
|
+
|
|
646
|
+
(mariadb_query DB "SELECT * FROM users" []) ;; → 배열
|
|
647
|
+
(mariadb_one DB "SELECT * FROM users WHERE id=1" []) ;; → row or null
|
|
648
|
+
(mariadb_exec DB "INSERT INTO t (name) VALUES (?)" ["kim"])
|
|
649
|
+
```
|
|
650
|
+
|
|
651
|
+
### 🔒 Prepared Statement (v11.6.21) — 파라미터 바인딩 + SQL Injection 방어
|
|
652
|
+
|
|
653
|
+
**자동 파라미터 바인딩** (SQL Injection 완벽 방어):
|
|
654
|
+
|
|
655
|
+
```fl
|
|
656
|
+
;; 1. 기본 타입 — null, boolean, number, string
|
|
657
|
+
(mariadb_exec DB "INSERT INTO users (name, age, active) VALUES (?, ?, ?)"
|
|
658
|
+
["kim" 30 true])
|
|
659
|
+
;; → INSERT INTO users ... VALUES ('kim', 30, 1)
|
|
660
|
+
|
|
661
|
+
;; 2. 배열 파라미터 (IN 절) — v11.6.21 신규
|
|
662
|
+
(mariadb_query DB "SELECT * FROM users WHERE id IN (?)"
|
|
663
|
+
[[1 2 3]])
|
|
664
|
+
;; → SELECT * FROM users WHERE id IN (1, 2, 3)
|
|
665
|
+
|
|
666
|
+
;; 3. Date 객체 — v11.6.21 신규
|
|
667
|
+
(mariadb_query DB "SELECT * FROM logs WHERE created > ?"
|
|
668
|
+
[(now)]) ;; Date 자동 ISO 문자열 변환
|
|
669
|
+
;; → SELECT * FROM logs WHERE created > '2026-05-13T...'
|
|
670
|
+
|
|
671
|
+
;; 4. SQL Injection 방어 — escapeString 자동 적용
|
|
672
|
+
(mariadb_query DB "SELECT * FROM users WHERE name = ?"
|
|
673
|
+
["'; DROP TABLE users; --"])
|
|
674
|
+
;; → 안전 (따옴표 escape: ' → '')
|
|
675
|
+
;; → SELECT * FROM users WHERE name = '''; DROP TABLE users; --'
|
|
676
|
+
```
|
|
677
|
+
|
|
678
|
+
**타입별 변환**:
|
|
679
|
+
|
|
680
|
+
| 입력 | 변환 | 예시 |
|
|
681
|
+
|------|------|------|
|
|
682
|
+
| `null` / `undefined` | `NULL` | `:password nil` → `NULL` |
|
|
683
|
+
| `true` / `false` | `1` / `0` | `:active true` → `1` |
|
|
684
|
+
| `42` / `-3.14` | 숫자 검증 후 그대로 | `:age 30` → `30` |
|
|
685
|
+
| `"string"` | 이스케이프 + 따옴표 | `:name "Kim's"` → `'Kim''s'` |
|
|
686
|
+
| `[1 2 3]` | 쉼표 구분 | `IN (?)` → `IN (1, 2, 3)` |
|
|
687
|
+
| `(now)` (Date) | ISO 8601 | `2026-05-13T12:30:45Z` |
|
|
688
|
+
| `{:key "val"}` | ❌ 에러 발생 | `json-stringify` 후 문자열로 |
|
|
689
|
+
|
|
690
|
+
**오류 방지**:
|
|
691
|
+
|
|
692
|
+
```fl
|
|
693
|
+
;; ❌ 금지: 수동 문자열 연결
|
|
694
|
+
(str "SELECT * FROM users WHERE name='" name "'")
|
|
695
|
+
|
|
696
|
+
;; ❌ 금지: JSON 객체 직접 전달
|
|
697
|
+
(mariadb_query DB "SELECT * WHERE data = ?" [{:a 1}])
|
|
698
|
+
|
|
699
|
+
;; ✅ 올바름: 파라미터 배열로 전달
|
|
700
|
+
(mariadb_query DB "SELECT * FROM users WHERE name = ?" [name])
|
|
701
|
+
(mariadb_query DB "SELECT * WHERE data = ?" [(json-stringify {:a 1})])
|
|
702
|
+
```
|
|
703
|
+
|
|
704
|
+
---
|
|
705
|
+
|
|
706
|
+
---
|
|
707
|
+
|
|
708
|
+
## 🔐 인증
|
|
709
|
+
|
|
710
|
+
```fl
|
|
711
|
+
(auth_hash_password "test1234") ;; → "salt:hash"
|
|
712
|
+
(auth_verify_password "입력값" "salt:hash") ;; → true/false
|
|
713
|
+
(auth_random_token 32) ;; → 64자 hex
|
|
714
|
+
|
|
715
|
+
(auth_jwt_sign {:user_id 1} "secret" 3600)
|
|
716
|
+
(auth_jwt_verify token "secret") ;; → payload or null
|
|
717
|
+
(auth_jwt_expired token) ;; → true/false
|
|
718
|
+
(auth_sha256 "data")
|
|
719
|
+
(auth_hmac "data" "secret")
|
|
720
|
+
```
|
|
721
|
+
|
|
722
|
+
---
|
|
723
|
+
|
|
724
|
+
## 🎯 패턴 매칭 ✨ 2026-04-27 완성
|
|
725
|
+
|
|
726
|
+
```fl
|
|
727
|
+
;; 기본
|
|
728
|
+
(match value
|
|
729
|
+
(42 "마흔둘")
|
|
730
|
+
("ok" "성공")
|
|
731
|
+
(_ "기타"))
|
|
732
|
+
|
|
733
|
+
;; Map 패턴 — 변수 캡처
|
|
734
|
+
(match {:status "ok" :data 42}
|
|
735
|
+
({:status "ok" :data $d} (str "성공: " $d))
|
|
736
|
+
({:status "error" :msg $m} (str "에러: " $m))
|
|
737
|
+
(_ "미상"))
|
|
738
|
+
|
|
739
|
+
;; 중첩 + 다중 캡처
|
|
740
|
+
(match {:user {:name "kim"} :role "admin"}
|
|
741
|
+
({:user {:name $n} :role "admin"} (str $n " 관리자"))
|
|
742
|
+
(_ "일반"))
|
|
743
|
+
```
|
|
744
|
+
|
|
745
|
+
---
|
|
746
|
+
|
|
747
|
+
## 📁 파일 / 환경
|
|
748
|
+
|
|
749
|
+
```fl
|
|
750
|
+
;; ※ AI-First #3: snake_case ↔ kebab-case 양방향 허용 (snake_case 표준)
|
|
751
|
+
;; 파일
|
|
752
|
+
(file_read "path/file.txt") ;; snake_case 표준
|
|
753
|
+
(file_write "path/file.txt" "내용")
|
|
754
|
+
(file_append "log.txt" "한 줄\n")
|
|
755
|
+
(file_exists "path") ;; → true/false
|
|
756
|
+
(file_mkdir "dir/sub") ;; 재귀 생성
|
|
757
|
+
(file_delete "file.txt")
|
|
758
|
+
(dir_list "path") ;; → [string]
|
|
759
|
+
|
|
760
|
+
;; 환경변수 ※ shell_env만 실제 동작
|
|
761
|
+
(shell_env "PORT") ;; → string | null ✅
|
|
762
|
+
;; ❌ get_env, get_env_or, env — 미구현
|
|
763
|
+
|
|
764
|
+
;; 쉘
|
|
765
|
+
(shell_exec "git log --oneline -3" "/path/to/repo")
|
|
766
|
+
;; → {:stdout "..." :stderr "..." :code 0 :ok true}
|
|
767
|
+
```
|
|
768
|
+
|
|
769
|
+
---
|
|
770
|
+
|
|
771
|
+
## 🤖 AI
|
|
772
|
+
|
|
773
|
+
```fl
|
|
774
|
+
;; ANTHROPIC_API_KEY 환경변수 필요
|
|
775
|
+
(ai-call "claude-sonnet-4-6" "질문")
|
|
776
|
+
(ai-call "claude-sonnet-4-6" {:prompt "질문" :max-tokens 2048})
|
|
777
|
+
|
|
778
|
+
;; 에이전트
|
|
779
|
+
(define a (agent_create "agent"))
|
|
780
|
+
(define a (agent_set a "goal" "목표"))
|
|
781
|
+
(agent_run_until a
|
|
782
|
+
(fn [$a] (agent_done $a))
|
|
783
|
+
(fn [$a] (agent_set $a "status" "done")))
|
|
784
|
+
```
|
|
785
|
+
|
|
786
|
+
---
|
|
787
|
+
|
|
788
|
+
## 🔄 워크플로우 / Saga / 병렬 (2026-04-28)
|
|
789
|
+
|
|
790
|
+
```fl
|
|
791
|
+
;; ── workflow_run ─────────────────────────────────────────────────
|
|
792
|
+
(define step (workflow_step "process"
|
|
793
|
+
(fn [$ctx] {:count (length (get $ctx "data"))})
|
|
794
|
+
{:if (fn [$ctx] (> (length (get $ctx "data")) 0))
|
|
795
|
+
:retry 2 :on_error (fn [$e] {:fallback true})}))
|
|
796
|
+
(define r (workflow_run (workflow_create "wf" [$step]) {:data [1 2 3]}))
|
|
797
|
+
(workflow_ok r) ;; true/false
|
|
798
|
+
(workflow_get r "count") ;; context 값
|
|
799
|
+
(workflow_summary r) ;; 텍스트 요약
|
|
800
|
+
|
|
801
|
+
;; ── saga_run — 보상 트랜잭션 ─────────────────────────────────────
|
|
802
|
+
(saga_run
|
|
803
|
+
[{:name "db" :action (fn [$c] {:id 1}) :compensate (fn [$r] (println "롤백"))}
|
|
804
|
+
{:name "email" :action (fn [$c] (error "SMTP")) :compensate (fn [$r] nil)}]
|
|
805
|
+
{})
|
|
806
|
+
;; → {:ok false :failed_step "email" :compensated ["db"] :results [...]}
|
|
807
|
+
|
|
808
|
+
;; ── workflow_parallel — best-effort 병렬 ──────────────────────────
|
|
809
|
+
(workflow_parallel
|
|
810
|
+
[(workflow_step "a" (fn [$c] {:a 1}) {})
|
|
811
|
+
(workflow_step "b" (fn [$c] {:b 2}) {})
|
|
812
|
+
(workflow_step "x" (fn [$c] (error "fail")) {:required false})]
|
|
813
|
+
{})
|
|
814
|
+
;; → {:ok false :results [4개] :errors [1개] :context {:a 1 :b 2}}
|
|
815
|
+
|
|
816
|
+
;; ── workflow_parallel_any — 최초 성공 반환 ────────────────────────
|
|
817
|
+
(workflow_parallel_any [(workflow_step "a" (fn [$c] {:v 1}) {})] {})
|
|
818
|
+
;; → {:ok true :name "a" :result {:v 1} :ms N}
|
|
819
|
+
|
|
820
|
+
;; ── batch_map — 배치 처리 ─────────────────────────────────────────
|
|
821
|
+
(batch_map [1 2 3 4 5 6] 2 (fn [$b] (map (fn [$x] (* $x 10)) $b)))
|
|
822
|
+
;; → {:ok true :results [10 20 30 40 50 60] :total 6 :batches 3}
|
|
823
|
+
|
|
824
|
+
;; ── distribute — N 워커 분산 ──────────────────────────────────────
|
|
825
|
+
(distribute [1 2 3 4 5 6] 3 (fn [$batch $w] (map (fn [$x] (+ $x $w)) $batch)))
|
|
826
|
+
;; → {:ok true :results [...] :worker_results [{:worker 0 :ok true}...]}
|
|
827
|
+
|
|
828
|
+
;; ── 관찰성 ────────────────────────────────────────────────────────
|
|
829
|
+
(time_exec (fn [] (+ 1 2))) ;; → {:ok true :result 3 :ms N}
|
|
830
|
+
(span "my-op" (fn [] 42)) ;; → {:label "my-op" :result 42 :ms N}
|
|
831
|
+
(log_trace "users" {:count 42}) ;; stderr 출력, 원본 값 반환
|
|
832
|
+
|
|
833
|
+
;; ※ 예약어 map 키 허용: {:if fn :let 1 :do "x"}
|
|
834
|
+
```
|
|
835
|
+
|
|
836
|
+
---
|
|
837
|
+
|
|
838
|
+
## 🔒 P2: 보안 / 성능 / DAG (2026-04-28)
|
|
839
|
+
|
|
840
|
+
```fl
|
|
841
|
+
;; ── sandbox_run — 격리 실행 ──────────────────────────────────────
|
|
842
|
+
(sandbox_run (fn [] (+ 1 2 3)) {:timeout 5000})
|
|
843
|
+
;; → {:ok true :result 6 :ms N :calls N}
|
|
844
|
+
(sandbox_run (fn [] (error "위험")) {:timeout 1000})
|
|
845
|
+
;; → {:ok false :error "위험" :ms N}
|
|
846
|
+
|
|
847
|
+
;; ── memoize — LRU 캐싱 ───────────────────────────────────────────
|
|
848
|
+
(define square (fn [$x] (* $x $x))) ;; 기명 함수도 직접 전달 가능
|
|
849
|
+
(define m (memoize square 128)) ;; LRU maxSize=128 (0=무제한)
|
|
850
|
+
(memo_call m 5) ;; → 25 (계산)
|
|
851
|
+
(memo_call m 5) ;; → 25 (캐시 적중)
|
|
852
|
+
(memo_size m) ;; → 1
|
|
853
|
+
(memo_clear m) ;; 캐시 초기화
|
|
854
|
+
|
|
855
|
+
;; ── rate_limit — 호출 빈도 제한 ──────────────────────────────────
|
|
856
|
+
(define rl (rate_limit square 10 1000)) ;; 10회/1초
|
|
857
|
+
(rl_call rl 5) ;; → 25 (정상)
|
|
858
|
+
;; 11번째 호출 → error: "rate_limit: 10회/1000ms 초과"
|
|
859
|
+
|
|
860
|
+
;; ── workflow_dag — 의존성 그래프 실행 ────────────────────────────
|
|
861
|
+
;; :depends [names] → 위상정렬 후 실행, 순환 감지
|
|
862
|
+
(workflow_dag
|
|
863
|
+
[(workflow_step "a" (fn [$c] {:x 1}) {})
|
|
864
|
+
(workflow_step "b" (fn [$c] {:y (get $c "x")}) {:depends ["a"]})
|
|
865
|
+
(workflow_step "c" (fn [$c] {:z (+ (get $c "x") (get $c "y"))}) {:depends ["a" "b"]})]
|
|
866
|
+
{})
|
|
867
|
+
;; → {:ok true :order ["a" "b" "c"] :context {:x 1 :y 1 :z 2}}
|
|
868
|
+
|
|
869
|
+
;; ── ※ 기명 함수 → 고차함수 직접 전달 (2026-04-28 인터프리터 수정) ─
|
|
870
|
+
;; (define f (fn [$x] ...)) 후 f를 fn-value 객체로 전달 가능
|
|
871
|
+
(map square [1 2 3]) ;; → [1 4 9]
|
|
872
|
+
(workflow_step "s" square {}) ;; fn 자리에 기명 함수
|
|
873
|
+
(saga_run [{:action square :compensate square}] {})
|
|
874
|
+
```
|
|
875
|
+
|
|
876
|
+
---
|
|
877
|
+
|
|
878
|
+
## 🏗️ 전체 서버 앱 패턴
|
|
879
|
+
|
|
880
|
+
```fl
|
|
881
|
+
(define DB (mariadb_connect {:host "localhost" :user "root"
|
|
882
|
+
:password "" :database "mydb"}))
|
|
883
|
+
|
|
884
|
+
;; 세션 헬퍼
|
|
885
|
+
[FUNC get-session :params [$req]
|
|
886
|
+
:body (
|
|
887
|
+
(define sid (server_req_cookie $req "app_sid"))
|
|
888
|
+
(if (= sid null) null
|
|
889
|
+
(mariadb_one DB
|
|
890
|
+
(str "SELECT * FROM sessions WHERE session_id='" sid
|
|
891
|
+
"' AND expires_at > NOW()") []))
|
|
892
|
+
)
|
|
893
|
+
]
|
|
894
|
+
|
|
895
|
+
;; 인증 핸들러
|
|
896
|
+
[FUNC handle-get-users :params [$req]
|
|
897
|
+
:body (
|
|
898
|
+
(define sess (get-session $req))
|
|
899
|
+
(if (= sess null)
|
|
900
|
+
(server_status 401 {:ok false :error "인증 필요"})
|
|
901
|
+
(server_json {:ok true
|
|
902
|
+
:data (mariadb_query DB "SELECT * FROM users" [])}))
|
|
903
|
+
)
|
|
904
|
+
]
|
|
905
|
+
|
|
906
|
+
(server_get "/api/users" "handle-get-users")
|
|
907
|
+
(server_start 40100)
|
|
908
|
+
```
|
|
909
|
+
|
|
910
|
+
---
|
|
911
|
+
|
|
912
|
+
## 📦 최신 변경 이력
|
|
913
|
+
|
|
914
|
+
| 날짜 | 기능 | 상태 |
|
|
915
|
+
|------|------|------|
|
|
916
|
+
| 2026-05-10 | `count` — `length` 별칭 추가. 배열/문자열/맵 지원 | ✅ bootstrap.js |
|
|
917
|
+
| 2026-05-10 | `every?` / `any?` / `none?` — 컬렉션 술어 (any?는 첫 매칭값 반환) | ✅ bootstrap.js |
|
|
918
|
+
| 2026-05-10 | `update-in` — `(update-in m [:a :b] inc)` 중첩 함수 적용, 불변 | ✅ bootstrap.js |
|
|
919
|
+
| 2026-05-10 | `map`/`filter` 빌트인 fn 참조 수정 — `(map inc [1 2 3])` 정상 동작 | ✅ bootstrap.js |
|
|
920
|
+
| 2026-05-10 | `try-catch` stack 필드 정제 — `bootstrap.js` 내부 경로 제거 | ✅ bootstrap.js |
|
|
921
|
+
| 2026-05-10 | `??` nil 병합 연산자 — `(?? a b c)` 첫 번째 non-nil 반환 | ✅ bootstrap.js |
|
|
922
|
+
| 2026-05-10 | `get-in` / `assoc-in` — 중첩 맵 접근 및 불변 업데이트 | ✅ bootstrap.js |
|
|
923
|
+
| 2026-05-10 | `comp` / `compose` — 빌트인+유저함수 모두 합성 | ✅ bootstrap.js |
|
|
924
|
+
| 2026-05-10 | nil 산술 전파 차단 — `(+ nil 1)` 이제 명시적 에러 | ✅ bootstrap.js |
|
|
925
|
+
| 2026-05-07 | `let` 바인딩 타입 추론 — `(let [[$n 42]] ...)` → n:number 추적, check 경고 | ✅ bootstrap.js |
|
|
926
|
+
| 2026-05-07 | return type 검사 — `(defn ^number f [] "hi")` → ⚠ return-type 경고 | ✅ bootstrap.js |
|
|
927
|
+
| 2026-05-07 | `frequencies` — `(frequencies [1 2 1])` → `{1:3 2:2}` 값 빈도 집계 | ✅ bootstrap.js |
|
|
928
|
+
| 2026-05-07 | `http-retry` / `http-retry-post` — 5xx/네트워크 오류 N회 재시도, 4xx 즉시 반환 | ✅ bootstrap.js |
|
|
929
|
+
| 2026-05-07 | `http-parallel` — OS 레벨 curl 병렬 실행, 직렬 N배 개선 | ✅ bootstrap.js |
|
|
930
|
+
| 2026-05-07 | `load "file.fl" "ns"` — namespace 파라미터, 전역 오염 방지 | ✅ bootstrap.js |
|
|
931
|
+
| 2026-05-07 | `define` 변수 타입 추론 — `check` 명령어가 변수 거친 타입도 검사 | ✅ bootstrap.js |
|
|
932
|
+
| 2026-05-07 | `math-round-dec` — 소수점 N자리 정밀도 반올림 | ✅ bootstrap.js |
|
|
933
|
+
| 2026-05-07 | `catch $e` — `"category"` 필드 추가 (`"IO"` / `"TYPE_ERROR"` 등) | ✅ bootstrap.js |
|
|
934
|
+
| 2026-05-07 | `load` 캐시 활성화 — watch 모드 자동 우회, 재파싱 방지 | ✅ bootstrap.js |
|
|
935
|
+
| 2026-05-07 | `defmacro` 문서화 — STDLIB_REFERENCE에 예제 추가 | ✅ docs |
|
|
936
|
+
| 2026-05-07 | **정적 타입 검사기** — `check` 명령어 arity + type-hint 컴파일 타임 검사 | ✅ bootstrap.js |
|
|
937
|
+
| 2026-05-07 | `http-get-bearer` / `http-post-bearer` stdlib 추가 | ✅ bootstrap.js |
|
|
938
|
+
| 2026-05-07 | `str-substr` (length 방식) 추가 — str-slice는 end-exclusive | ✅ bootstrap.js |
|
|
939
|
+
| 2026-05-07 | `contains?` map 지원 수정 — 이전엔 항상 false 반환 bug | ✅ bootstrap.js |
|
|
940
|
+
| 2026-05-07 | `now-ms` = canonical, `now_ms` = deprecated (_aliases.json 수정) | ✅ bootstrap.js |
|
|
941
|
+
| 2026-04-28 | **기명 함수 → fn-value 전달 (인터프리터 근본 수정)** | ✅ bootstrap.js |
|
|
942
|
+
| 2026-04-28 | P2: `sandbox_run` `memoize/memo_call` `rate_limit/rl_call` `workflow_dag` | ✅ bootstrap.js |
|
|
943
|
+
| 2026-04-28 | P1: `saga_run` `workflow_parallel` `batch_map` `distribute` `time_exec` `span` | ✅ bootstrap.js |
|
|
944
|
+
| 2026-04-28 | P0: `workflow_run` `:if` 조건부 실행, `:on_error`, `:fallback`, 체크포인트 | ✅ bootstrap.js |
|
|
945
|
+
| 2026-04-28 | 파서: `[{...}]` 배열 제너릭 오인 방지, 예약어 map 키 허용 | ✅ bootstrap.js |
|
|
946
|
+
| 2026-04-28 | `obj_merge` `obj_pick` `obj_omit` 추가 선언 | ⚠️ 미구현 → `assoc`/`dissoc` 사용 |
|
|
947
|
+
| 2026-04-27 | `get_env` `get_env_or` 추가 선언 | ⚠️ 미구현 → `shell_env` 사용 |
|
|
948
|
+
| 2026-04-27 | `file_mkdir` `file_rmdir` 추가 | ✅ bootstrap.js |
|
|
949
|
+
| 2026-04-27 | `server_req_body` JSON 자동파싱 | ✅ bootstrap.js |
|
|
950
|
+
| 2026-04-27 | `shell_exec` / `server_static` 추가 | ✅ bootstrap.js |
|
|
951
|
+
| 2026-04-27 | Map 패턴 매칭 `{:key $var}` | ✅ bootstrap.js |
|
|
952
|
+
|
|
953
|
+
---
|
|
954
|
+
|
|
955
|
+
## ⚙️ 실행
|
|
956
|
+
|
|
957
|
+
```bash
|
|
958
|
+
node /home/kimjin/freelang-v11/bootstrap.js run app.fl
|
|
959
|
+
pm2 restart <name>
|
|
960
|
+
pm2 logs <name>
|
|
961
|
+
FL_DEV=1 node bootstrap.js run app.fl # 개발 모드
|
|
962
|
+
```
|
|
963
|
+
|
|
964
|
+
**경로**: `/home/kimjin/freelang-v11/bootstrap.js`
|
|
965
|
+
**포트**: 신규 40000-43000 | v10 보호 43000-49999
|
|
966
|
+
|
|
967
|
+
---
|
|
968
|
+
|
|
969
|
+
## 🔧 괄호 오류 / 문법 검사 (필수 커맨드)
|
|
970
|
+
|
|
971
|
+
> **괄호 수가 틀릴 때 손으로 세지 말 것 — 아래 명령어로 한 번에 해결**
|
|
972
|
+
|
|
973
|
+
```bash
|
|
974
|
+
# 1. 문법 검사 — 오류 위치 + 라인 번호 출력
|
|
975
|
+
node /home/kimjin/freelang-v11/bootstrap.js check 파일.fl
|
|
976
|
+
|
|
977
|
+
# 2. 자동 포맷 — 들여쓰기 + 괄호 정렬 인플레이스 수정
|
|
978
|
+
node /home/kimjin/freelang-v11/bootstrap.js fmt 파일.fl
|
|
979
|
+
|
|
980
|
+
# 3. 포맷 확인만 (수정 없이) — CI용
|
|
981
|
+
node /home/kimjin/freelang-v11/bootstrap.js fmt --check 파일.fl
|
|
982
|
+
```
|
|
983
|
+
|
|
984
|
+
**작업 순서**: `fmt` → `check` → 에러 없으면 실행
|
|
985
|
+
|
|
986
|
+
```bash
|
|
987
|
+
# 한 번에
|
|
988
|
+
node /home/kimjin/freelang-v11/bootstrap.js fmt 파일.fl && \
|
|
989
|
+
node /home/kimjin/freelang-v11/bootstrap.js check 파일.fl && \
|
|
990
|
+
echo "✅ OK"
|
|
991
|
+
```
|