Я пытаюсь реализовать трансформатор монады Maybe-State и использовать его для реализации простой стековой машины. Определения государственной монады и, возможно, должны быть правильными. Теперь я пыта
Я пробовал простые трансформаторы Монады, где у меня есть для понимания с участием M[F[A]], где M и F являются монадами. Как я могу сделать M[F[A]] и M[S[A]] работать вместе в comp, если S - это друга
Я учусь монады трансформаторов и есть проблема секвенирования их Я создал тип OptionTBitSetState[T] Я понимаю, этот тип как сохраняющее состояние вычислений, которые могут потерпеть неудачу import sca