TypeScript - это надмножество JavaScript призванное привнести статическую типизацию сохраняя обратную совместимость (любой JS есть валидный TS)
PureScript - это диалект Haskell созданный специально, как язык компилируемый в JavaScript.
Общее лишь в том, что оба компилируются в JS. В остальном - абсолютно разные языки.
Ну и TS - main-stream, знать его сегодня норма для любого frontend или node.js разработчика, а PureScript нишевое решение с небольшим количеством сторонников (в англоязычном телеграм канале 12 участников и 100+ в русскоязычном, это говорит за себя)