| layout | title | category | tags | order | ||
|---|---|---|---|---|---|---|
developer-doc |
Type-Directed Programming |
types |
|
11 |
When you have a language with as powerful a type system as Enso, you can leverage the type system to provide users with tools to write their programs based on types. This is an advanced feature and is not expected to be used by the novice, but it is nonetheless an important feature for working with a powerful type system.
The actionables for this section are:
- Examine what other ways we can exploit type information to aid development.
The actionables for this section are:
- Determine how we want to support typed holes.
- Determine the syntax for typed holes.
The actionables for this section are:
- Determine how we want to support case splitting.
- Determine the tooling for case splitting.
The actionables for this section are:
- Determine how we want to support row manipulation.
The actionables for this section are:
- Determine how we want to support dependent sum manipulation.