search

manifold-lang / manifold-core

Core library for Manifold frontends and backends
GNU General Public License v3.0
5 stars 7 forks source link

Port types need an expected input/output type #30

Closed mtrberzi closed 9 years ago

mtrberzi commented 9 years ago

In order to type-check ports in the frontend as well as specify that ports can have a more complex input/output value (such as an array), ports should have a type associated with them corresponding to the kind of value they expect to emit or receive.

mtrberzi commented 9 years ago

This raises an interesting question -- how does this interact with type inheritance? If a base port type has a different signal type than one of its derived ports, what happens?

lucaswoj commented 9 years ago

I don't see much need for inheritance between port types. 

— Sent from Mailbox

On Tue, Oct 14, 2014 at 11:54 AM, Murphy Berzish notifications@github.com wrote:

This raises an interesting question -- how does this interact with type inheritance? If a base port type has a different signal type than one of its derived ports, what happens?

Reply to this email directly or view it on GitHub: https://github.com/manifold-lang/manifold-core/issues/30#issuecomment-59097059

mtrberzi commented 9 years ago

The one single use case for that is actually about to disappear, so this might be worth opening an issue for. (Would you like to do it, or should I?)