I'm sure this has already been considered: If the amount of indices in b is small and constant, one could just write the result like:
c = [a[b[0]]] + [a[b[1]]] + [a[b[2]]]
Or even simpler if the indices itself are constants...
c = [a[1]] + [a[2]] + [a[5]]
Or if there is a consecutive range of indices...
c = a[1:3] + [a[5]]