Articles
This section contains in-depth dives to various aspects of Kronos, as well as research papers. A good way of getting started is reading the rationale.
Gradual Types
Dynamic type systems are known for ease of rapid development, but do not scale well with increasingly complex programs or libraries.
Research Papers
This page includes PDF downloads of various peer-reviewed open access articles related to Kronos.
Specialization and Polymorphism
One of Kronos' core capabilities is polymorphism. Functions can behave differently based on the type of their input. This article shows you how to make use of this capability.
Rationale and Motivation
Why build or learn a new programming language? This page tries to lay out the argument for Kronos.
The Reactive Signal Model
Kronos treats all signals the same. An audio sample, a MIDI event and a user interface interaction travel through the signal graph in exactly the same way.
Audio, Web and Worklets
The Web is the ultimate inner platform. Over the years, it has laboriously assimilated more and more operating system features. Regardless of whether you believe that makes sense, the Web has enormous momentum: its reach and accessibility are compelling, and so here we are, building signal processors in the web browser.