aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/concurrency (follow)
Commit message (Collapse)AuthorAgeFilesLines
* - Re-named "@abstraction" to ":abstraction" and "@representation" to ↵Eduardo Julian2018-07-035-29/+29
| | | | ":representation".
* - Re-named ":!" to ":coerce".Eduardo Julian2018-07-031-8/+8
|
* - Re-named ":!!" to ":assume".Eduardo Julian2018-07-031-1/+1
|
* - Minor refactorings.Eduardo Julian2018-06-141-1/+1
|
* - Re-named "Top" to "Any", and "Bottom" to "Nothing".Eduardo Julian2018-05-207-40/+40
| | | - Removed some modules that should have been deleted before.
* - Added new #I64 type as foundation for types based on 64-bit integers.Eduardo Julian2018-05-133-9/+9
|
* - Re-named "lux process concurrency-level" to "lux process parallelism-level".Eduardo Julian2018-05-081-18/+22
| | | - Merged the functionality of "lux process future" into "lux process schedule".
* - Removed Void and Unit as kinds of types.Eduardo Julian2018-05-056-29/+29
| | | - Changed the value of "unit" in the old LuxC to match the one in new-luxc.
* - Changed the syntax for the parameters of "syntax:".Eduardo Julian2018-05-022-8/+11
|
* - Made the names of all exceptions lower-case.Eduardo Julian2018-05-021-5/+5
|
* - Re-named "Applicative" to "Apply".Eduardo Julian2018-05-024-8/+8
|
* - Moved the "wrap" function into Monad, and removed Applicative from Monad's ↵Eduardo Julian2018-05-024-22/+21
| | | | | family tree. - Moved the Free monad to its own module.
* - Improved the syntax for the "lux.function" macro.Eduardo Julian2018-04-055-33/+35
|
* - Re-named "is" to "is?".Eduardo Julian2018-04-051-6/+6
|
* - Improved the way exceptions work.Eduardo Julian2018-02-072-9/+13
|
* - Implemented semaphores, mutexes and barriers.Eduardo Julian2018-01-304-15/+168
| | | - Fixed a bug when checking "last-index-of" for Text.
* - Small refactorings.Eduardo Julian2018-01-032-10/+12
|
* - Agent-based concurrency is just actors listening to FRP channels, so ↵Eduardo Julian2017-12-121-154/+0
| | | | special support for it was removed.
* - FRP channels are no longer asynchronously-built lists, but rather mediums ↵Eduardo Julian2017-12-122-313/+105
| | | | for spreading data, that can be chained together to form networks for data distribution.
* - Some minor refactoring.Eduardo Julian2017-12-103-146/+158
| | | - Eliminated the dependency of STM upon FRP.
* - Some minor refactoring.Eduardo Julian2017-12-103-161/+131
| | | | - Eliminated the dependency of actors upon FRP and STM. - Fixed some bugs.
* - No longer deleting type-vars in luxc, to better match it with the ↵Eduardo Julian2017-12-044-66/+48
| | | | | type-checking in new-luxc. - Fixed some minor bugs and inconsistencies.
* - "gensym" went back to producing Code, instead of Ident.Eduardo Julian2017-12-021-22/+22
|
* - Added context-sensitive macro-expansion by means of "lux in-module", and ↵Eduardo Julian2017-12-026-25/+19
| | | | | | removed all the (now unnecessary) #hidden tags. - Fixed a bug when loading the imports from the cache. - Added special notation for context-sensitive macro-expansion.
* - Changed some of the syntax for macro templating.Eduardo Julian2017-12-012-37/+37
| | | - "gensym" now produces Ident instead of Code.
* - Re-named lux/type/opaque to lux/type/abstract.Eduardo Julian2017-11-291-5/+5
|
* - Changed the identifier separator, from the semi-colon (;) to the ↵Eduardo Julian2017-11-297-459/+458
| | | | period/dot (.).
* - Got rid of even more dots.Eduardo Julian2017-11-275-11/+11
|
* - Changed the prefixes of numeric functions.Eduardo Julian2017-11-274-8/+8
|
* - Changed to the new relative imports syntax.Eduardo Julian2017-11-262-2/+2
|
* - Fixed some bugs.Eduardo Julian2017-11-222-8/+20
| | | | - Some refactoring. - Added some alternative snippets of code that new-luxc can handle better.
* - Fixed some bugs.Eduardo Julian2017-11-212-30/+21
| | | - Some small refactoring.
* - Added parallel compilation.Eduardo Julian2017-11-204-54/+40
| | | | | - Added aliasing. - Several bug fixes. - Some minor refactoring.
* - Re-named "lux/meta" to to "lux/macro".Eduardo Julian2017-11-156-26/+26
|
* - Moved "/type/*" to from "lux/meta/" to "lux/".Eduardo Julian2017-11-151-2/+2
|
* - Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".Eduardo Julian2017-11-151-14/+14
|
* - Changed how Lux procedures work on the old compiler and the stdlib.Eduardo Julian2017-11-062-9/+9
|
* - Re-named "Host" to "Primitive".Eduardo Julian2017-10-201-1/+1
|
* - Re-named "Lux" type to "Meta".Eduardo Julian2017-10-166-30/+30
| | | - Moved lux/type/* under lux/meta/*.
* - Re-named "Result" type back to "Error".Eduardo Julian2017-10-161-15/+15
|
* - Re-named lux/control/parser;opt to lux/control/parser;maybe.Eduardo Julian2017-10-161-4/+4
|
* - Eliminated the Anns and Ann-Value types, and now only using Code for ↵Eduardo Julian2017-10-111-1/+1
| | | | definition annotations.
* - Changed the terminology of monoids ("append" -> "compose", "unit" -> ↵Eduardo Julian2017-09-192-2/+2
| | | | "identity").
* - Some refactoring.Eduardo Julian2017-09-194-16/+16
| | | - Moved "assume" and "default" to lux/data/maybe.
* - Renamed "model" to "opaque".Eduardo Julian2017-08-211-5/+5
|
* - "program:" now evaluates its body within an implicit IO monad.Eduardo Julian2017-08-192-14/+26
| | | | | - Fixed a bug with the types of actors and messages. - Added Functor for queues. - Small refactorings and fixes.
* - Now, spaces automatically remove dead subscriptions after discovering them.Eduardo Julian2017-08-031-19/+25
|
* - Implemented Agent-Oriented Programming.Eduardo Julian2017-08-031-0/+150
|
* - Some refactoring and small bug fixes.Eduardo Julian2017-08-031-108/+121
|
* - Removed the "M" suffix from monadic functions.Eduardo Julian2017-07-223-7/+7
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-18 08:56:32 +0000