не против

Спасибо еще раз :)

Я намокался по-грязному в грязных языках, хватило :))

кстати, ФП и чистота — не одно и то же, близко, но не равно. ваши вопросы скорее про чистоту, чем про ФП

в целом, стиль работы с сетью, базами данных, файлами и даже с мутабельными переменными в чистом языке один

это всё — внешние ресурсы

Да, я понимаю. Но мой вопрос не о чистых языках :) Мой вопрос как раз о грязных, и о том как с этой грязью мириться

Кажется, нашёл ответ на свой вопрос. Я искал простой Reader :)

в грязных языках нет проблем с нечистотой, она просто есть везде, с ней ничего нельзя сделать

Reader — это только один аспект нечистоты — неявная зависимость. он решает задачу, как передавать параметр как бы неявно, указывая его не в каждом применении, а только один раз на группу применений

Извиняюсь за глупый вопрос. Но как называется когда один тип можно привести к другому и обратно. При том гарантируется одинаковый результат. Это изоморфизм же, верно?

да

наверно, не привести, а преобразовать

отобразить

Не вполне ясно. То, что ты описал, это ещё не обязательно изоморфизм.

Но главное — зачем это тебе?

В контексте шахмат у меня есть различные нотации - fen, uci, pgn и тд. Ну вот я думаю если одну нотацию можно привести к другой и обратно, то значит они изоморфны?

Не обязательно. Изоморфизм наделяется смыслом только по отношению к конкретной математической структуре. В твоем случае это шахматные нотации. И тут разумно требовать, чтобы изоморфизм предохранял семантику высказывания. Что-то в духе «если в нотации А высказывание В означает что-то одно, то в нотации I(A) изоморфное высказывание I(B) означает то же самое» и наоборот.
Если тебе прямо строгое определение нужно, то придётся явно описать что собой представляет твоя математическая структура (множество шахмат, множество термов, означающих шахматные фигуры и так далее) и потребовать такие биекции (надо объяснять что это?), которые будут сохранять ещё и смысл.
Можно и упростить задачу — выкинуть смысл, и это тоже может быть изоморфизмом.
Из чего можно сделать вывод: для сложных математических объектов изоморфизм можно определять по-разному, но ты прав в том что это должно быть некое взаимно-однозначное преобразование чего-то одного во что-то другое (с возможностью вернуться обратно).

спасибо, понятно разложил. выходит что некоторые нотации изоморфны, а некоторые отображают допустим только положение дел на данный ход и уже будут не изоморфны с нотациями которые хранят всю историю ходов

Неа. Это сейчас гадание на анальных кольцах потому что перед глазами нет строго определения «нотации». Например, если нотация — это набор констант и функция, которая каждой константе присваивает одну из шахматных фигур, то тогда никакого труда не составляет определить изоморфизм между нутациями как биекции между множеством таких констант нотации А в множество другие констант нотации Б. Например, возьми множество «чёрная пешка, белая пешка, …» и множество, где те же самые слова написаны в обратном порядке: «акшеп яанрёч, …,». Очевидно, что два множество изоморфны и описывают то же самое.