SQRL: A Safe, Stateful Language for Event Streams [YC W15 Acquired by Twitter] (sqrl-lang.github.io)