The tradeoffs of interactive programming vs static typing. I'm excited about Unison as a best-of-both-worlds design. h/t @deech