Play Azure IoT TypeEdge : a strongly-typed development experience for Azure IoT Edge