0.6.0 Untyped, bare types, final Stringify

[vudaltsov]

Accepted ADRs

• ADR-001: Untyped
• ADR-002: Address Floating-Point Precision
• ADR-003: Bare callable type has no sound PHPDoc representation

Fixed

• Stringify alias template arguments.
• Add .0 to stringified floats with zero scale.

Added

• Add a reduced representation for the mixed type.
• BC Break: Add an untyped type (ADR).
• Add fromReflection(?ReflectionType): Type function.

Changed

• BC Break: Use BigDecimal for floats (ADR).
• BC Break: Move Typhoon\Type\Type interface to Typhoon\Type (#51).
• BC Break: Use PHP_INT_MIN, PHP_INT_MAX for IntRangeT limits instead of null.
• BC Break: Rename *DefaultT to *BareT, Visitor::*DefaultT() to Visitor::*BearT() (#56).
• BC Break: Move Reduced::callableBareT() to Fallback::callableBareT() (ADR).
• BC Break: Make Stringify final and allow composition via a Visitor<non-empty-string> parameter (#54).
• BC Break: Add Template::new(), Template::factory() constructors, make primary private.

Removed

• BC Break: Remove Reduced::visit() and visitMultiple() — let developer implement them.
• BC Break: Remove of() for now — it cannot infer types correctly anyway.

---

This discussion was created from the release 0.6.0 Untyped, bare types, final Stringify.