Have just been 'going deep' into type theory + FP + ML from a data science perspective, definitely interesting to hear about Dex here since alot of data science

Have just been 'going deep' into type theory + FP + ML from a data science perspective, definitely interesting to hear about Dex here since alot of data science use found in the wild is based around numpy ndarrays & associated tools & easy/quick ways to do multidimensional numerics is a pretty 'core' requirement for heavy-duty number crunching.. having this as a built-in using ML types for indexing would be pretty ideal i think.. Anyone have any perspective to share about ML-family languages in the domain of what we're calling 'data science' these days?