Typesafe, declarative, mobile live coding