[Haskell-cafe] ANN (sorta): OpenGL with extra type safety
dons at galois.com
Mon Nov 10 15:56:15 EST 2008
> I recently modified the hOpenGL (and GLFW) source tree to force extra
> type checking on its various IO actions using the
> -XGeneralizedNewtypeDeriving extension (see
> The main motivation was for writing concurrent OpenGL applications. Here
> its important to know what functions contain OpenGL commands so they can
> be directed to the proper threads (ones with active rendering contexts).
> Plus it aids in partitioning work that can be offloaded or done
> The second motivation was to enforce static type checking on commands
> that can only be executed in certain OpenGL contexts (sending vertex
> data for example).
> As it is now, there are 3 new monads (their names will probably change):
> OpenGLM: the basic opengl command
> PrimitiveM: commands that can only be issued between begin/end()
> class MonadGL: commands that can be issued in any GL context
> Now for the big question: Does anyone care? If so, should i make it a
> new hackageDB package, or try to merge it into the official GL package.
Yes, make a new package. Put it on hackage. Don't waste work, when it
can be archived at the very least.
More information about the Haskell-Cafe