не понимаю как "логика" кореллирует с другим языком и другим миром
При программировании на PS и на Haskell (в отличие от того же Elm) требуется хорошо понимать (даже не знать, а именно понимать), что такое функторы, аппликативные функторы, монады, классы типов, знать особенности различных монадических инстансов и т.д. Это связано с тем, что данные языки явно и очень тщательно отделяют чистые вычисления от сайд-эффектов - но сайд-эффекты никуда не делись, их нужно точно так же композировать, а те же аппликативные функторы и монады именно этим и занимаются.
PS очень прикольный язык, но, к сожалению, по нему не очень много туториалов, в которых бы объяснялись эти концепции. А зачастую, чтобы понять их по-настоящему (и, тем более, чтобы начать их применять в реальной жизни), требуется взглянуть на них с нескольких точек зрения - то бишь прочитать несколько туториалов, в которых авторы описывают эти концепции под разными углами. К счастью, монады в PS ничем не отличаются от монад в Haskell и даже более того - они используют практически одинаковый синтаксис, что решает проблему весьма ограниченного количества туториалов по PS. Именно поэтому я советовал вам хотя бы прослушать первую часть курса Хаскелля. Абсолютно все, о чем вы там узнаете (за исключениемурока о ленивости вычислений, наверное), вы сможете применять в PS.