ThingTalk

Design documents

TODOs

Grammar

  • stream union
  • action := query -> action
  • add label for params in manifest ?? (current syntax: makeArgMap(url:URL, password:Password))
  • support formatted by adding Object type

Typecheck

  • extra requirement for different loaders (e.g., url, json_key for generic_rest)
  • typecheck parameters used inside natural language anntoations