An Approach to Provide Type Safety of Languages for Programming Wireless Sensor Network