Hithroc Jun 6 2014 at 16:21

Клеточные автоматы с помощью комонад

5 min

14K

+29

Comments 5

UFO just landed and posted this here

Для Bool

rule u = not (lx && cx && not rx || (lx==cx))

эквивалентно

rule u = lx /= cx

Что я упустил?

Вы ничего не упустили, все именно так. Исправил в статье на lx /= cx, буду более внимательным в следующий раз.

Спасибо.
Комонады пока ещё не до конца поняты мною, и материал заслуживает внимательного прочтения!

Прекрасный материал! Именно знаний о концепции зипперов, пожалуй, мне не хватало для пары задач.