| layout | title | category | tags | order | ||
|---|---|---|---|---|---|---|
developer-doc |
Automated Parallelism Analysis |
types |
|
10 |
The nature of Enso's type system provides the compiler with a significant amount of information about the program as it runs. This information can be exploited by the compiler to automatically parallelise some sections of Enso programs.
[!WARNING] The actionables for this section are:
- Work out how the type checker can support parallelism analysis.
[!WARNING] The actionables for this section are:
- Provide an analysis of the language constructs that could automatically be parallelised, and the typing predicates that make them so.