Toward a Programming Laboratory