| layout | developer-doc | ||
|---|---|---|---|
| title | Automated Parallelism Analysis | ||
| category | types | ||
| tags |
|
||
| order | 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.
The actionables for this section are:
- Work out how the type checker can support parallelism analysis.
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.