v1.0.0-beta8

What's Changed

• 🐛 Fix MatchError bug with sealed trait -> open trait refactor by @jeffmay in #109

Full Changelog: v1.0.0-beta7...v1.0.0-beta8

v1.0.0-beta7

What's Changed

• Upgrade all dependencies to latest versions by @jeffmay in #104
• Add .widen method to return ~:> type by @jeffmay in #106
• Make Fact an open interface and make FactTable an IterableOnce by @jeffmay in #107
• Add release.yml workflow by @jeffmay in #108

Full Changelog: v1.0.0-M6...v1.0.0-beta7

v1.0.0-M6

What's Changed

• Add AnyFactType for better type member support by @jeffmay in #103

Full Changelog: v1.0.0-M5...v1.0.0-M6

v1.0.0-M5

What's Changed

• Convert FactTable and FactTypeSet to interfaces by @jeffmay in #102

Full Changelog: v1.0.0-M4...v1.0.0-M5

Added Expr.RegexMatches for string matching operations

Update README.md for v1 (#99)

- Update the expression node list
- Clean up documentation on DSLs, examples, and interpreters
- Add information about attaching a debugger
- Fix broken code sample

Co-authored-by: paul-a-kennedy-rally <[email protected]>

Minor - Expr.Match added

Add support for Expr.Match (#95)

- Add support for Expr.Match
- Add support for guard expressions
- Use existential types for MatchCase
- Add unit tests
- Add branch index to DebugArgs
- Add more tests and separate sequence tests
- Add evidence of subtyping to Match visitor method
- Separate unit test for overlapping conditions

Minor - Expr.Repeat operation added

• Adds Expr.Repeat for threading constants and scalar expressions into .zipToShortest operations to effectively allow closing over "values" in local "scope"

1.0.0-M1 - First Milestone release of v1

• Add a core-v1 module as a dependency of the old prototype core module
  • Moved a lot of core features to shared core-v1 module with appropriate type and val aliases for backwards compatibility
• The new module contains:
  • New expression algebra:
    • Appropriate use of variance (contravariant on input, covariant on output)
    • Simplified mechanics around mathematical operations
    • Support for attaching debug functions
    • TODO: Need to find a consistent pattern for handling DSL wrapper types
  • New DSL mechanics:
    • Remove old expression builders in favor of operating directly (or through extension methods) on expression nodes
    • Utilize type-level calculations to produce appropriate types
    • Much more general purpose and simplified ExprHList container
    • Simplified type aliases via import
  • New Justification mechanics:
    • Justified algebraic data type for tracing justification through a tree
    • TODO: Need better support for tracking collection elements back to their original containers
  • Support for caching intermediate expressions with an ImmutableCachingEngine and via import dsl.caching.immutable._
  • Work in progress on re-interpretable "standard" DSL:
    • WARNING: Do not use this DSL, it has unimplemented methods and will likely be completely refactored
  • Much more unit tests around edge cases

Add pow() operator for exponentiation

v0.17.2

Add Expr.ExponentiateOutputs and unit tests (#67)

Allow an expression that produces a Window, update dependencies, cleanup docs

Code Changes

• Allow embedding an Expr[Window[_], _] into Expr.OutputWithinWindow
• Deprecate unnecessary overloaded methods

Other Updates

• Update README.md to use the latest algebra / code examples
• Add more documentation in the code