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