What is bidirectional navigation in specter-acset?

Bidirectional navigation means that a single 'path' expression can be used both to retrieve data (select) and to modify that same data (transform), ensuring consistency and reducing code duplication.

Is the performance suitable for large scientific datasets?

Yes. By using Nathan Marz's Specter patterns, including inline caching and CPS, the library avoids intermediate allocations and approaches the speed of hand-written loops.

Can I use this for Julia AST transformations?

Absolutely. It includes navigators for Atom and SList types, making it highly effective for walking and transforming typed S-expressions and code structures.

How does this skill handle Julia's ACSets?

It provides specialized navigators like acset_field, acset_where, and acset_parts, allowing you to traverse and manipulate category-theoretic databases used in Catlab.jl with ease.

How do I compose multiple navigators?

You can compose them using the comp_navs function or simple vector syntax. Because composition is O(1), it simply stores references and only performs the work when you execute a select or transform call.

Specter ACSet Navigation

Name: Specter ACSet Navigation
Author: plurigrid

byplurigrid

•

データサイエンスとML

Provides high-performance bidirectional data navigation and transformation for Julia collections, S-expressions, and ACSets.

Specter-acset brings the powerful bidirectional navigation patterns of Clojure's Specter library to the Julia ecosystem, specifically optimized for scientific computing. It allows developers to use a single path expression for both selecting and transforming complex data structures like nested collections, S-expressions (ASTs), and Attributed C-Sets (ACSets). By utilizing inline caching and continuation-passing style (CPS), this skill achieves near-native performance, making it ideal for high-scale data manipulation in Catlab.jl and other category-theoretic workflows where traditional loops would be verbose and error-prone.

主な機能

01High-performance execution using inline caching and continuation-passing style

02Specialized navigators for typed S-expressions and Abstract Syntax Trees

032 GitHub stars

04Native support for ACSets (Attributed C-Sets) used in category-theoretic databases

05O(1) path composition that defers work until the point of traversal

06Unified bidirectional path expressions for both selection and transformation

ユースケース

01Navigating and updating deeply nested scientific data frames and bioinformatics sequences

02Transforming complex graph structures and morphisms within Catlab.jl models

03Performing recursive AST manipulations and code refactoring on Julia S-expressions

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add plurigrid/asi specter-acset

For use in Claude.ai and ChatGPT

Download Skill