Skip to content

Latest commit

 

History

History
55 lines (41 loc) · 1.45 KB

type-directed-programming.md

File metadata and controls

55 lines (41 loc) · 1.45 KB
layout title category tags order
developer-doc
Type-Directed Programming
types
types
tooling
11

Type-Directed Programming

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.

[!WARNING] The actionables for this section are:

  • Just delete it all!?
  • Examine what other ways we can exploit type information to aid development.

Typed Holes

[!WARNING] The actionables for this section are:

  • Determine how we want to support typed holes.
  • Determine the syntax for typed holes.

Case Splitting

[!WARNING] The actionables for this section are:

  • Determine how we want to support case splitting.
  • Determine the tooling for case splitting.

Row Manipulation

[!WARNING] The actionables for this section are:

  • Determine how we want to support row manipulation.

Dependent Sum Manipulation

[!WARNING] The actionables for this section are:

  • Determine how we want to support dependent sum manipulation.