Lux Files

Added

• Array literals for JVM FFI.
• Can now use nested directories as compilation targets.
• Support for literal syntax for various numeric units.
• Can abstraction for coupling implementations and values.
• Automatic definition of <, <=, >, >= where there is an Order.
• Special optimizations for pattern matching on I64, Decimal, and Text.
• Size limits for Array and Binary.
• Exponentiation for multiple numbers and primality testing.
• Support for radian and turn Decimal literals.
• Stream effect.
• Filter effect.
• Reducer and transducer as alternatives to Stream and Filter.
• Property (lens), View (iso), Case (prism), and Member (traversal) optics.
• Optional octal, decimal, and hexadecimal notation for natural numbers.
• Optional binary notation for natural numbers.
• Big/unbounded natural, fraction, integer, and rational numbers.
• Convenient way to pattern-match against cases/prisms.
• Slice abstraction for List.
• Slice abstraction for Text.
• Standard errors and better definition of errors.
• Support for general-purpose theorem-proving.
• Support for the Base64 format.

Changed

• Got rid of cond by allowing for multi-clause if.
• The to_do and fix_me macros now log a warning at compile-time.
• Made the denominator in Rational a Natural number.
• Re-named the require macro to using.
• Re-named the fields for runtime data-structures for all back-ends.
• Re-named the of macro to by.
• Re-named max to major, min to minor, top to maximum, bottom to minimum.
• Re-named Symbol to Name. Re-named short to proper.
• Better syntax for text composition.
• Better types for failure functions.
• Re-named List to Stack.
• New implementation of List based on arrays.
• Better type coercions.
• Better handling of variance for Array type.
• Better syntax for bits.
• Better way of defining template macros.
• New implementation of variadic functions.
• Labels now start with : by convention, rather than #.
• Aedifex can now handle AAR dependencies.
• Aedifex can now use local Android JAR.
• Aedifex can now generate Android APKs.

Removed

• Scheme back-end.
• world/time/series machinery.
• Apply abstraction.
• Support for saturation arithmetic.

Fixed

• Cannot find artifact data. bug in scripting compilers.
• TAR compression when deploying with Aedifex.
• Bug compiling JVM classes where interim artifacts were not packaged.

Deprecated

Security