Вопрос как определять "семейство". Если исходить из того чем авторы "вдохновлялись" (т.е. тягали всё что приглянется) то ps вполне себе в семействе хаскела. А если привязываться к деталям реализации то каждый язык сам по себе. И джава к си не имеет отношения, потому что где JVM и где компиляция в машинный код. И C# тоже всё сложно...
поэтому в тот список затесались Rust и Swift. Но purescript-овцы хотели вроде "хаскел только как жс". поэтому таки в семействе хаскела. и на полшишечки в семействе жс если смотреть на модель исполнения.