Programming for robotics