> rust for linear types Apparently Philip Wadler came up with this notion, so your already-mentioned Haskell should suffice ;) > idris for dependent types Ar

> rust for linear types Apparently Philip Wadler came up with this notion, so your already-mentioned Haskell should suffice ;) > idris for dependent types Are we still on "Essentially, which are these few common paradigm languages that teach you more than 90% of what's out there?" or are we by now in the territory of "which languages to cover every single remotely-computation-related notion anyone ever conjured up and managed to somewhat implement"? ;D