21cd88deee
jolt modelled letfn as a special form directly, so (macroexpand-1 '(letfn …)) returned the form unchanged. Clojure's letfn is a macro that expands to letfn*, and macroexpansion tooling (tools.macro, tools.analyzer) depends on that — its special-form handlers key on letfn*, not letfn. Split it the Clojure way: - letfn* is now the special form (analyzer), taking flat name/fn-form pairs [name1 fn1 name2 fn2 …] — the letrec :let lowering is unchanged. - letfn is a macro (00-syntax) turning each (name [params] body*) spec into a name + (fn name [params] body*) binding, so it expands to letfn*. So (macroexpand-1 '(letfn [(f [x] x)] (f 1))) now yields (letfn* [f (fn f [x] x)] (f 1)), and clojure.tools.macro passes its whole suite (macrolet / symbol-macrolet / mexpand-all). Listed in docs + site. make test green (+1 corpus row, 0 new divergences), shakesmoke byte-identical. One re-mint (analyzer + the letfn macro); selfhost holds.
74 lines
4.7 KiB
Markdown
74 lines
4.7 KiB
Markdown
# Clojure libraries known to work with Jolt
|
|
|
|
Libraries confirmed to load and pass their conformance checks on Jolt. A library
|
|
listed here works. See the [examples](https://github.com/jolt-lang/examples),
|
|
e.g. the [ring-app example](https://github.com/jolt-lang/examples/tree/main/ring-app).
|
|
|
|
* [aero](https://github.com/juxt/aero) — EDN configuration with tag literals
|
|
(`#ref`/`#env`/`#or`/`#profile`/`#long`/…)
|
|
* [config](https://github.com/yogthos/config) — environment configuration
|
|
* [Selmer](https://github.com/yogthos/Selmer) — Django-style templates
|
|
* [medley](https://github.com/weavejester/medley) — collection utilities
|
|
* [cuerdas](https://github.com/funcool/cuerdas) — string manipulation
|
|
* [ring-core](https://github.com/ring-clojure/ring) — via `:deps/root "ring-core"`,
|
|
on the ring-app example
|
|
* [ring-codec](https://github.com/ring-clojure/ring-codec) — URL/form encoding
|
|
* [ring-defaults](https://github.com/ring-clojure/ring-defaults) — the standard
|
|
middleware stack (params, static resources + content-type, session, security
|
|
headers); its session/CSRF crypto comes from
|
|
[jolt-lang/jolt-crypto](https://github.com/jolt-lang/jolt-crypto) (OpenSSL)
|
|
* [reitit-core](https://github.com/metosin/reitit) — data-driven routing; the
|
|
`reitit.Trie` Java class is mirrored by
|
|
[jolt-lang/router](https://github.com/jolt-lang/router).
|
|
* [integrant](https://github.com/weavejester/integrant) — data-driven system
|
|
configuration (`#ig/ref`), with its
|
|
[dependency](https://github.com/weavejester/dependency) and
|
|
[meta-merge](https://github.com/weavejester/meta-merge) deps
|
|
* [honeysql](https://github.com/seancorfield/honeysql) — SQL formatter and helpers
|
|
* [clojure.jdbc](https://github.com/yogthos/clojure.jdbc) — as
|
|
[jolt-lang/db](https://github.com/jolt-lang/db)'s `jdbc.core`, over the built-in
|
|
SQLite access (libsqlite3 via Chez's FFI)
|
|
* [next.jdbc](https://github.com/seancorfield/next-jdbc) — a compatibility layer in
|
|
[jolt-lang/db](https://github.com/jolt-lang/db) over `jdbc.core`
|
|
* [tools.logging](https://github.com/clojure/tools.logging) — runs verbatim over a
|
|
native `clojure.tools.logging.impl` stderr backend
|
|
* [migratus](https://github.com/yogthos/migratus) — database migrations over the
|
|
next.jdbc layer
|
|
* [malli](https://github.com/metosin/malli) — data schema validation, on the
|
|
malli-app example.
|
|
* [markdown-clj](https://github.com/yogthos/markdown-clj) — Markdown → HTML, on the
|
|
markdown-app example
|
|
* [hiccup](https://github.com/weavejester/hiccup) — HTML from Clojure data, on the
|
|
hiccup-app example
|
|
* [clojure.data.json](https://github.com/clojure/data.json) — JSON reading and writing
|
|
* [clojure.spec.alpha](https://github.com/clojure/spec.alpha) — data specs
|
|
* [core.match](https://github.com/clojure/core.match) — pattern matching.
|
|
* [core.cache](https://github.com/clojure/core.cache) — caching (Basic/FIFO/LRU/
|
|
LU/TTL/Soft + the wrapped atom API), over
|
|
[data.priority-map](https://github.com/clojure/data.priority-map).
|
|
* [core.memoize](https://github.com/clojure/core.memoize) — function memoization
|
|
over [core.cache](https://github.com/clojure/core.cache).
|
|
* [core.async](https://github.com/clojure/core.async) — CSP channels and `go` blocks
|
|
(`<!`/`>!`/`alts!`, `pipeline`, `mult`/`mix`/`pub`/`sub`) on real OS threads.
|
|
* [core.logic](https://github.com/clojure/core.logic) — relational logic programming
|
|
(unification, `run`/`fresh`/`conde`, finite domains).
|
|
* [math.combinatorics](https://github.com/clojure/math.combinatorics) — permutations,
|
|
combinations, subsets, selections, cartesian products, partitions.
|
|
* [core.contracts](https://github.com/clojure/core.contracts) — programming by
|
|
contract (`contract`/`with-constraints`/`provide`), over
|
|
[core.unify](https://github.com/clojure/core.unify).
|
|
* [data.zip](https://github.com/clojure/data.zip) — zipper navigation, including
|
|
`clojure.data.zip.xml`; XML parsing via [jolt-lang/xml](https://github.com/jolt-lang/xml)
|
|
(which now ships `clojure.xml/parse`).
|
|
* [data.csv](https://github.com/clojure/data.csv) — reading and writing CSV.
|
|
* [data.codec](https://github.com/clojure/data.codec) — base64 encode/decode over
|
|
byte arrays.
|
|
* [data.priority-map](https://github.com/clojure/data.priority-map) — priority
|
|
maps (incl. keyfn / custom comparator), with `subseq`/`rsubseq`.
|
|
* [tools.macro](https://github.com/clojure/tools.macro) — local macros
|
|
(`macrolet`/`symbol-macrolet`), `mexpand`/`mexpand-all`.
|
|
* [test.check](https://github.com/clojure/test.check) — property-based testing
|
|
(generators, `quick-check`, shrinking).
|
|
* [tick](https://github.com/juxt/tick) — date/time over Jolt's `java.time`;
|
|
`#time/…` literals via `time-literals`.
|
|
* [transit-jolt](https://github.com/jolt-lang/transit-jolt) — Transit (JSON) read/write
|