Releases: jeffmay/vapors
Releases · jeffmay/vapors
v1.0.0-beta8
What's Changed
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
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 <50849869+paul-a-kennedy-rally@users.noreply.github.com>
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 prototypecore
module- Moved a lot of
core
features to sharedcore-v1
module with appropriate type and val aliases for backwards compatibility
- Moved a lot of
- 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 viaimport 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
- New expression algebra:
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