Как реализовать игровой цикл в реактивном банане?

В этом обсуждении меня больше всего интересует такая организация, чтобы вызов физического движка (вызов интегрирования) всегда выполнялся с помощью dt. Позволяет ли reactive-banana пользователю писать этот цикл стиля?

Да, реактивный банан может это сделать.

Идея состоит в том, что вы пишете собственный цикл обработки событий и подключаете к нему reactive-banana. Библиотека не делает никаких предположений относительно того, откуда вы берете свои события, она «всего лишь» решает проблему аккуратного описания новых событий с точки зрения существующих. В частности, вы можете использовать функцию newAddHandler для создания двух функций обратного вызова, которые вызываются в соответствующих местах цикла обработки событий. По сути, reactive-banana — это просто умопомрачительный метод написания обычных функций обратного вызова, сохраняющих состояние. Когда и как вы вызываете эти функции, зависит от вас.

Вот общая схема:

-- set up callback functions
(renderEvent, render) <- newAddHandler
(stateUpdateEvent, stateUpdate) <- newAddHandler

-- make the callback functions do something interesting
let networkDescription = do
    eRender      <- fromAddHandler renderEvent
    eStateUpdate <- fromAddHandler stateUpdateEvent
    ...
    -- functionality here

actuate =<< compile networkDescription

-- event loop
while (! quit)
{
    ...
    while (accumulator >= dt)
    {
        stateUpdate (t,dt)      -- call one callback
        t += dt
        accumulator -= dt
    }
    ...
    render ()                   -- call another callback
}

На самом деле, я написал пример игрового цикла в этом стиле для более старой версии reactive-banana, но так и не справился до полировки и публикации на hackage. Важные вещи, которые я хотел бы видеть завершенными:

• Выберите графический движок, который легко установить и который работает в GHCi. Концепция использует SDL, но это действительно довольно неудобно, поскольку ее нельзя использовать из GHCi. Что-то вроде OpenGL + GLFW было бы неплохо.
• Предложите небольшую абстракцию, чтобы упростить написание фазы интерполяции. Вероятно, только две вещи: событие eTimer :: Event t (), которое представляет собой регулярные обновления физики, и поведение bSinceLastTimer :: Behavior t TimeDiff, которое измеряет время, прошедшее с момента последнего обновления физики, которое можно использовать для выполнения интерполяции. (Это поведение, а не событие, поэтому внутренние обновления «нарисуй это!» прозрачны.)

затемненный клон Андреаса Бернштейна с использованием реактивного банана может быть отличным примером реализации в этом стиле.