Unknown - haskell-notes

percept

:: Dirty -> IO( Sense, [ Event])

updatePure

:: Sense ->[ Event] -> Pure ->( Pure, [ Query])

react

::[ Query] -> Dirty -> IO Dirty

updateDirty :: Dirty -> IO Dirty

picture

:: Pure -> Picture

draw

:: Picture -> IO()

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

updateDirty. Давайте опять начнём проектироваание сверху-вниз. С этими функциями мы уже можем напи-

сать основную функцию цикла игры:

loop :: IORef World -> IO()

loop worldRef = do

world <-get worldRef

300 | Глава 20: Императивное программирование

drawWorld world

(world, dt) <-updateWorld world

worldRef $=world

G.addTimerCallback (max 0 $frameTime -dt) $loop worldRef

updateWorld :: World -> IO( World, Time)

updateWorld world = do

t0 <-get G.elapsedTime

(sense, events) <-percept dirty

let(pure’, queries) =updatePure sense events pure

dirty’ <-updateDirty =<<react queries dirty

t1 <-get G.elapsedTime

return ( Worldpure’ dirty’, t1 -t0)

wheredirty =worldDirty world

pure

=worldPure

world

drawWorld :: World -> IO()

drawWorld =draw .picture .worldPure

20.3 Определяемся с типами

Давайте подумаем, из чего состоят типы Dirtyи Pure. Начнём с Pure. Там точно будет вся информация

необходимая нам для рисования картинки (ведь функция picture определена на Pure). Для рисования нам

необходимо знать положения всех шаров и их типы (они определяют цвет). На картинке мы будем показывать

разную статистику (данные о жизнях, бонусные очки). Также из типа Pureмы будем управлять созданием

шаров. Так мы приходим к типу:

data Pure = Pure

{ pureScores

:: Scores

, pureHero

:: HeroBall

, pureBalls

::[ Ball]

, pureStat

:: Stat

, pureCreation

:: Creation

}

Что нам нужно знать о шаре героя? Нам нужно его положение для отрисовки и модуль вектора скорости

(он понадобится нам при обновлении вектора скорости шара игрока):

data HeroBall = HeroBall

{ heroPos

:: H.Position

, heroVel

:: H.CpFloat

}

Для остальных шаров нам нужно знать только тип шара, его положение и идентификатор шара. По иден-

тификатору потом мы сможем понять какой шар удалить из грязных данных:

data Ball = Ball

{ ballType

:: BallType

, ballPos

:: H.Position

, ballId

:: Id

}

data BallType = Hero | Good | Bad | Bonus

deriving( Show, Eq, Enum)

type Id = Int

Статистика игры состоит из числа жизней и бонусных очков:

data Scores = Scores

{ scoresLives :: Int

, scoresBonus :: Int

}

Определяемся с типами | 301

Как будет происходить создание новых шаров? Если плохих шаров будет слишком много, то играть будет

не интересно, игрок слишком быстро проиграет. Если хороших шаров будет слишком много, то игроку также

быстро надоест. Будет очень легко. Нам необходимо поддерживать определённый баланс шаров. Создание

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

будет зависеть от пропорции шаров на доске в данный момент. Если у нас слишком много плохих шаров,

то скорее всего мы создадим хороший шар и наоборот. Если общее число шаров велико, то мы не будем

усложнять игроку жизнь новыми шарами, дождёмся пока какие-нибудь шары не покинут пределы поля или

не будут уничтожены игроком. Эти рассуждения приводят нас к типам:

data Creation = Creation

{ creationStat

:: Stat

, creationGoalStat

:: Stat

, creationTick

:: Int

}

data Stat = Stat

{ goodCount

:: Int

, badCount

:: Int

, bonusCount

:: Int

}

data Freq = Freq

{ freqGood

:: Float

, freqBad

:: Float

, freqBonus

:: Float

}

Поле creationStat содержит текущее число шаров на поле, поле creationGoalStat – число шаров, к ко-

торому мы стремимся. Значение типа Freqсодержит веса вероятностей создания нового шара определённого

типа. На каждом шаге мы будем прибавлять единицу к creationTi сk, как только оно достигнет определён-

ного значения мы попробуем создать новый шар.

Перейдём к грязным данным. Там мы будем хранить информацию, необходимую для обновления модели

в Hipmunk, и значение, в которое GLFWбудет записывать состояние мыши, также мы будем следить за тем,