ade-ma / LibRedio

DSP abstractions
GNU General Public License v3.0
24 stars 2 forks source link

explore using type inference for stream creation and abandoning Symbol enum #18

Closed itdaniher closed 10 years ago

itdaniher commented 10 years ago

The standardization of port / chan argument types is required for the current naive instantiation code, but typesystem cleverness could potentially do typechecking / coercion at compiletime instead of runtime, assuming static token types on streams.

itdaniher commented 10 years ago

For now, I think I'm assuming that matching to extract from an enum guard is approximately free - this lets me defer this topic till down the road.

itdaniher commented 10 years ago

handled via ratpak static definition