What languages could fit that description today? I don't really understand what it even means but maybe I could understand better if I could look at examples in languages which have them.
Think Scala, Elm and Haskell have it as well.
Having that and elixirs pattern matching would be insane.