8 ms·Which languages would you say have expressively "strong" type systems?by jdc 7y agoWhich languages would you say have expressively "strong" type systems?pron 7y agoAgda. ATS. Idris. Liquid Haskell would be medium-strength.