Alfonso Roa Redondo - Fast and furiously safe: type safe programming with Spark DataFrames