Skip to content

Wipple v0.6.0
Compare
Choose a tag to compare
@WilsonGramer WilsonGramer released this 18 Jan 20:31
· 1587 commits to main since this release
v0.6.0
68b7fc8

In this release

  • Improved syntax for dealing with types, traits and instances, including implicit type parameters and more consistent instance and where syntax
  • Added support for type-level programming with type-level traits, overlapping instances, and improved type inference for bounded type variables
  • Added several attributes for types and traits that allow you to control the error messages produced by the type checker
  • Specialized constants allow you to override the implementation of a generic constant for a more specific type to improve its performance
  • Improved exhaustiveness checking now tells you which cases are missing from an incomplete when expression
  • end expression allows you to exit from a function early
  • of operator allows you to retrieve a single field from a structure value without destructuring
  • Implemented several IR optimizations, including inlining of functions
  • Added an option in the Wipple Playground to lock a section of text to prevent accidental editing, as well as an option to disable linting for a particular section of code
  • Updated the Wipple Guide with tutorials for people coming from other languages, as well as an Advanced Wipple section and an updated reference
  • Fixed many bugs, crashes and infinite loops throughout the compiler

Full Changelog: v0.5.0...v0.6.0

Assets 6
Loading