The goal of this paper is to derive rigorously macroscopic traffic flow models from microscopic models. More precisely, for the microscopic models, we consider follow-the-leader type models with different types of drivers and vehicles which are distributed randomly on the road. After a rescaling, we show that the cumulative distribution function converge to the solution of a macroscopic model. We also make the link between this macroscopic model and the so-called LWR model.