Automated Parallelism Analysis

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.

<!-- MarkdownTOC levels="2,3" autolink="true" -->

• Supporting Parallelism Analysis with Types
• Constructs That Can Be Parallelised

<!-- /MarkdownTOC -->

Supporting Parallelism Analysis with Types

[!WARNING] The actionables for this section are:

• Work out how the type checker can support parallelism analysis.

Constructs That Can Be Parallelised

[!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.