lux - fork of https://github.com/LuxLang/lux for my bookshelf

	Commit message (Collapse)	Author	Files	Lines
2017-07-29	- Fuxed a bug when generating module code, where the type-vars were not ↵	Eduardo Julian	1	-1/+1
	getting included in the synthesized #;Host type.
2017-07-29	- Renamed "Thunk" to "Lazy", and moved it from lux/control/thunk to ↵	Eduardo Julian	5	-57/+58
	lux/data/lazy.
2017-07-29	- Added "month" function and improved "day" function.	Eduardo Julian	1	-5/+12

2017-07-29	- Small improvement to overlap testing for intervals.	Eduardo Julian	1	-16/+16

2017-07-29	- Added annotation support to units and models.	Eduardo Julian	2	-2/+7

2017-07-26	- Added dates, and the capacity to calculate week-days.	Eduardo Julian	3	-46/+121

2017-07-25	- Improved re-scaling logic and added some SI units.	Eduardo Julian	1	-14/+26

2017-07-25	- Added units of measurement as a feature to decorate Int values for safer ↵	Eduardo Julian	2	-1/+145
	calculations.
2017-07-25	- Models now only rely on normal (inline) casting functions. Hopefully, in ↵	Eduardo Julian	1	-16/+8
	the future, they will be completely optimized away.
2017-07-24	- No longer defining hidden casting functions. Instead, inline functions are ↵	Eduardo Julian	1	-35/+18
	used (they are easier to optimize away).
2017-07-24	- Refactored Time into Instant and Duration.	Eduardo Julian	7	-194/+335

2017-07-24	- Added models as a mechanism to encode nominal types.	Eduardo Julian	1	-0/+188

2017-07-23	- Relocated the "object" and "concatenative" modules.	Eduardo Julian	4	-11/+12

2017-07-23	- Codec now works on negative times (with respect to the epoch).	Eduardo Julian	2	-35/+19
	- There are still some corner cases where decoding fails. MUST FIX.
2017-07-23	- Improved reporting on tests.	Eduardo Julian	1	-6/+5

2017-07-23	- Added module for time (Codec has currently been tested only for time after ↵	Eduardo Julian	3	-0/+382
	epoch).
2017-07-22	- Merged the submodules of lux/paradigm/object into their parent module.	Eduardo Julian	5	-396/+334

2017-07-22	- Removed the "M" suffix from monadic functions.	Eduardo Julian	100	-467/+454

2017-07-22	- Eliminated lux/math/simple. If you want simple math, use lux/type/auto ↵	Eduardo Julian	3	-408/+1
	with the relevant signatures.
2017-07-22	- Removed algebraic effects module. If you want effects, just go with ↵	Eduardo Julian	3	-418/+1
	finally-tagless approach.
2017-07-22	- Changed inheritance syntax for interfaces and classes to make it more ↵	Eduardo Julian	2	-6/+6
	homogeneous.
2017-07-22	- Renamed Chan to Channel.	Eduardo Julian	4	-63/+63

2017-07-22	- Some utility functions.	Eduardo Julian	2	-1/+14

2017-07-22	- Small refactorings and bug fixes.	Eduardo Julian	7	-88/+92

2017-07-16	- Polytypic JSON codec can now handle #rec-style recursive types.	Eduardo Julian	4	-65/+150

2017-07-15	- Can now generate Eq instances for #rec-style recursive types.	Eduardo Julian	36	-122/+182
	- Minor refactorings.
2017-07-02	- Lux no longer has a Char primitive data-type.	Eduardo Julian	36	-537/+254

2017-07-01	- Lexers now carry an offset which they use to figure out where to extract ↵	Eduardo Julian	5	-162/+150
	parts of the whole input, instead of having to clip the input as they lex. thereby doing a lot of unnecessary text allocations. - Some refactoring.
2017-07-01	- Text no longer has a codec (because the decoding didn't handle unicode ↵	Eduardo Julian	7	-67/+35
	escaping).
2017-07-01	- The bodies of actor messages are run within the Task monad.	Eduardo Julian	1	-1/+3

2017-07-01	- Remove the suffixes of "lift" functions for monad transformers.	Eduardo Julian	15	-226/+225

2017-06-26	- Added module for concatenative (stack-based) programming.	Eduardo Julian	1	-0/+333

2017-06-26	- Some refactoring.	Eduardo Julian	2	-25/+25

2017-06-26	- Forgot to commit some of the sub-modules for lux/paradigm/object.	Eduardo Julian	4	-0/+351

2017-06-26	- Miscellaneous refactoring.	Eduardo Julian	8	-28/+37

2017-06-26	- Messages are now defined outside of the actor definition.	Eduardo Julian	2	-145/+232

2017-06-26	- Implemented single-inheritance.	Eduardo Julian	3	-208/+291
	- Fixed some bugs.
2017-06-24	- Forgot to update the tests for ordered collections.	Eduardo Julian	1	-4/+4

2017-06-24	- Re-designed actors so that their messages are now functions with access to ↵	Eduardo Julian	8	-322/+311
	the actor's state, and to the actor itself. - When creating channels and promises, the type is now mandatory. - Minor refactorings.
2017-06-23	- Renamed lux/control/contract's "@pre" and "@post" to "pre" and "post".	Eduardo Julian	1	-6/+6

2017-06-23	- Added #compiler-name back to Compiler-Info.	Eduardo Julian	1	-10/+16

2017-06-23	- Added Fold structure for rose trees.	Eduardo Julian	2	-22/+41

2017-06-23	- Renamed lux/data/coll/ordered to lux/data/coll/ordered/set.	Eduardo Julian	4	-170/+436
	- Created ordered dictionary implementation, and based the set implementation upon it.
2017-06-21	- Renamed "App" to "Apply" and swapped the order of the arguments to it.	Eduardo Julian	9	-180/+163
	- Also did argument swapping for lux/type;application.
2017-06-21	- CLI, Syntax and Lexer are now based upon a common Parser type.	Eduardo Julian	33	-1627/+1252

2017-06-21	- Added Task type, as a promise that can fail.	Eduardo Julian	1	-0/+51

2017-06-19	- More detailed testing resporting.	Eduardo Julian	1	-72/+61

2017-06-19	- In lux/test, renamed "test:" to "context:", and "assert" to "test".	Eduardo Julian	63	-2896/+2896

2017-06-19	- Changed the type of Def so that values have type Top, instead of Void.	Eduardo Julian	1	-6/+6

2017-06-19	- JSON polytypic generator checks for (Dict Text ?) instead of (List [Text ?]).	Eduardo Julian	6	-446/+382
	- Lexers now rely only on Text, instead of also relying on Char.