Skip to content

Reified RSpaces [1/11]: Foundation traits and collections module structure#328

Open
dylon wants to merge 3 commits intonew_parserfrom
feature/reified-rspaces-01-foundation
Open

Reified RSpaces [1/11]: Foundation traits and collections module structure#328
dylon wants to merge 3 commits intonew_parserfrom
feature/reified-rspaces-01-foundation

Conversation

@dylon
Copy link
Copy Markdown
Collaborator

@dylon dylon commented Jan 16, 2026

Summary

  • Core trait definitions for DataCollection and ContinuationCollection
  • SemanticEq and SemanticHash traits for semantic comparisons
  • SimilarityCollection trait for vector similarity operations
  • TopKEntry for similarity query results
  • Collections module structure with proper decomposition

This is PR 1 of 11 in the Reified RSpaces implementation.

Depends on: Adds new syntax for Reified RSpaces

This PR introduces the foundation layer for reified RSpaces:

- spaces/collections/ - Core collection traits:
  - semantics.rs: SemanticEq, SemanticHash for structural equality
  - core.rs: DataCollection, ContinuationCollection traits
  - similarity.rs: SimilarityCollection, StoredSimilarityInfo
  - extensions.rs: DataCollectionExt, ContinuationCollectionExt
- spaces/errors.rs - SpaceError type for space operations
- spaces/matcher.rs - Match<P, A> trait for pattern matching
- spaces/types/ - Core type definitions:
  - bounds.rs: Type bounds (ChannelBound, PatternBound, DataBound, etc.)
  - id.rs: SpaceId newtype
- spaces/vectordb/ - Minimal types for similarity support:
  - types.rs: EmbeddingType for vector embeddings
  - metrics/: SimilarityMetric enum for distance functions

This is PR 1 of 11 for the Reified RSpaces implementation.
…ore_should_put_and_collect_partial_data_from_the_store
@dylon dylon marked this pull request as ready for review January 16, 2026 16:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant