Skip to content

Type annotations for ports #37

@LourensVeen

Description

@LourensVeen

Ports have an operator and optionally a timeline, but there is no way to specify which kinds of messages they send or are expecting to receive. If that were specified, then we could check that conduits connect compatible ports.

There are some potential issues with this:

  1. Ports may be syntactically compatible (they send and receive a float) but semantically incompatible (they send a density and expect a flux)
  2. MUSCLE3 allows complex messages that consist of nested dicts and lists, for which you'd need a schema language to describe them, and that could get wordy

We'll probably also want Any and Void/Nil/None types to disable type checking for a particular port (generic time bridge?) or to specify ports that send or expect to receive only empty messages.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions