или в spago.dhall

firstStep :: Grid -> Effect Step
firstStep {width, height} = do
  list <- traverse (
    \t@(Tuple row col) -> 
      (\b -> Tuple t {alive: odd row && odd col && b}) <$> randomBool)( do
        row <- 1 .. width
        col <- 1 .. height
        pure $ Tuple row col
    )
  pure $ fromFoldable list

Сотворил 😄

зачем тут do?

firstStep :: Grid -> Effect Step
firstStep {width, height} = fromFoldable <$> traverse (
    \t@(Tuple row col) -> 
      (\b -> Tuple t {alive: odd row && odd col && b}) <$> randomBool)( do
        row <- 1 .. width
        col <- 1 .. height
        pure $ Tuple row col
    )

Как раз переписал

Как еще можно украсивить ? 😄 ))

lift2 Tuple (1 .. width) (1.. height) но не думаю, что это упростит

что такое Step?

и почему то, что в траверсе ты не сделал в нижнем do?

Это я вместо польовательского ввода пока что генерирую начальный степ

type Step = Map Cell CellState

Игра «Жизнь» — Википедия

https://ru.wikipedia.org › wiki › Игра_«Жизнь»
Вот ее пишу)

Хочу на каждом степе формировать diff чтобы на анимашнФрейм каждый раз сетку не перерисовывать

nextStep пока не показываю 😄 там страх

почему тут и Tuple и лямда еще?

traverse (
    \t@(Tuple row col) -> 
      (\b -> Tuple t {alive: odd row && odd col && b}) <$> randomBool)

Ну то есть тогда в траверс мне бы пришлось identity передавать

тебе все равно потом читать из окружения, тогда пусть будет ReaderT

Там еще StateT,
Игра прекращается, если конфигурация на очередном шаге в точности (без сдвигов и поворотов) повторит себя же на одном из более ранних шагов
Тут кстати хотел спросить, как бы так интересно свернуть чтобы получить хеш или что то такое чтобы потом удобно сравнивать было

было бы интересно посмотреть потом

помогло взять prelude версии v4.0.0, иначе он ставил v4.1.0

второй день пытаюсь завести докер-контейнер с PureScript + spago. Может это никому не нужно, но если получится, будет годно, наверное.

а у меня был

на докерхаб