logseq/datascript-ocaml

最近记录的来源活动: 2026年10月2日 07:03

SkillsMP 收录数据更新: 2026年11月5日 19:57

已收集 skills: 1

GitHub 星标: 5
GitHub Forks: 0

用 AI 助手安装

复制这段 Prompt，发给你正在使用的 AI 助手。

Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/logseq/datascript-ocaml.

仓库 README

仓库 README 来源：README.md

查看 README 源文件

展开完整 README

# DataScript OCaml An OCaml 5 rewrite of DataScript, focused on matching the behavior of the ClojureScript implementation while providing a native OCaml API and js_of_ocaml build support. This project is still under active development. Compatibility with upstream DataScript is verified through OCaml tests and cross-runtime parity checks against the ClojureScript implementation. See [docs/compatibility.md](docs/compatibility.md) for explicit compatibility boundaries that are intentionally OCaml-specific. ## Goals - Preserve DataScript semantics for transactions, datoms, indexes, entities, pull, and query. - Keep public APIs close enough to upstream behavior that Logseq can share the same data model assumptions. - Support native OCaml and js_of_ocaml runtimes. - Prefer clear OCaml implementations over shortcuts that change observable behavior. ## Development Requirements: - OCaml 5.2.1 or newer - Dune 3.17 or newer - Node.js for js_of_ocaml smoke tests and cross-runtime checks Common commands: ```sh dune build dune runtest ``` Cross-runtime parity checks compare this implementation with the upstream ClojureScript DataScript behavior: ```sh git clone https://github.com/logseq/datascript.git _deps/datascript cd _deps/datascript && lein with-profile test cljsbuild once release && cd - dune build test/cross_runtime_ocaml.exe bash test/cross_runtime_parity_test.sh _build/default/test/cross_runtime_ocaml.exe script/cross_runtime_upstream.js ``` By default, the parity script expects an upstream DataScript checkout at `_deps/datascript`. Set `UPSTREAM_DATASCRIPT_REPO` or `UPSTREAM_DATASCRIPT_JS` to use a different checkout or compiled JS bundle. ## Repository Layout - `type/`: shared public type definitions - `impl/`: implementation modules - `test/`: unit, integration, js_of_ocaml, and cross-runtime tests - `examples/`: small executable examples - `bench/`: benchmark entry points - `script/`: parity and benchmark helper scripts ## Credits This project is a port of DataScript's ideas and behavior to OCaml. Primary credit goes to the upstream DataScript ClojureScript project: - https://github.com/tonsky/datascript The OCaml implementation is written independently, but upstream DataScript remains the semantic reference for compatibility work.

正在加载仓库 README…

这个仓库中的 skills

职业分类待补全

skill

职业分类

描述

更新

performance

未分类

Performance rules and known hot paths for this codebase. Use before touching impl/query_*.ml, impl/transact.ml, impl/db.ml, impl/storage.ml, impl/pull_api.ml, impl/entity.ml, or any code that loops over datoms, query rows, or index contents.

原文语言：英语

2026-10-02

已展示 1 / 1 个已收集 Skill。