Skip to content

Latest commit

 

History

History
42 lines (31 loc) · 1.33 KB

CHANGELOG.md

File metadata and controls

42 lines (31 loc) · 1.33 KB

Typir Change Log

We roughly follow the ideas of semantic versioning. Note that the versions "0.x.0" probably will include breaking changes.

v0.1.2 (December 2024)

  • Replaced absolute paths in READMEs by relative paths, which is a requirement for correct links on NPM

v0.1.1 (December 2024)

  • Improved the READMEs in the packages typir and typir-langium.
  • Improved the CONTRIBUTING.md.
  • Improved source code for Tiny Typir in api-example.test.ts.

v0.1.0 (December 2024)

This is the first official release of Typir. It serves as first version to experiment with Typir and to gather feedback to guide and improve the upcoming versions. We are looking forward to your feedback!

  • Linked issues and PRs
  • Core implementations of the following type-checking services:
    • Assignability
    • Equality
    • Conversion (implicit/coercion and explicit/casting)
    • Type inference
    • Sub-typing
    • Validation
    • Caching
  • Predefined types to reuse:
    • Primitives
    • Functions (with overloading)
    • Classes (nominally typed)
    • Top, bottom
    • (some more are under development)
    • Operators (which are mapped to Functions, with overloading)
  • Application examples:
    • LOX (without lambdas)
    • OX