| ... | @@ -19,9 +19,21 @@ In March of this year, two subcommittees were established to focus on concurrenc |
... | @@ -19,9 +19,21 @@ In March of this year, two subcommittees were established to focus on concurrenc |
|
|
## Concurrency
|
|
## Concurrency
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The concurrency support in Haskell' will be based on the Control.Concurrent library, with minor modifications. There will be a thread-safe interface for mutable state,
|
|
|
|
suitable for use in library code that does not otherwise use concurrency (though what it will be based on is an open issue). There will also be independent FFI annotations
|
|
|
|
for specifying whether foreign calls are concurrent (with other Haskell threads) and reentrant. Bound threads will not be required by the concurrency standard, but they
|
|
|
|
will be an allowed extension with a specified meaning. Open issues include whether standard will require preemptive concurrency, the syntax of the new FFI annotations and
|
|
|
|
the memory-model semantics of IORefs.
|
|
|
|
|
|
|
|
|
|
|
## Class system
|
|
## Class system
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The work o
|
|
|
|
|
|
|
|
|
|
|
## Libraries
|
|
## Libraries
|
|
|
|
|
|
|
|
|
|
|
| ... | | ... | |