Pulsar

Pulsar is an experimental functional language targeting high-performance streaming systems. Pulsar types provide quantitative information about data dependencies, and serve as a foundation for program transformations.