Keegan McAllister
Keegan McAllister
[Discussed on Reddit](http://www.reddit.com/r/rust/comments/2ufeqf/rustlike_syntax_for_opengl_shading_language/co7z1tw).
Yeah, I didn't think about that but you are totally right.
[Ada has this](http://en.wikibooks.org/wiki/Ada_Programming/Types/range). It would be great in Rust, as we're going for the same niche of low-level + high-assurance. I wonder though if we should go for a more...
@vks: I believe Ada's semantics are those of run-time checking, but the compiler can elide checks when it proves they can't fail. I think this is a pragmatic approach to...
Definitely check out [Sage](https://sage.soe.ucsc.edu/) and the associated papers. Their system uses a hybrid of traditional type checking/inference, a theorem-proving black box, and dynamic checking as a fall-back. In 1,200 lines...
It looks like `precise_time_s()` works fine, but the uniform mysteriously becomes 0.0 by the time it reaches the fragment shader.
Actually that's not true. Other forms of time-dependence work, but the HSV calculation is broken?
First version: Watch the files on disk and automatically reload when they are changed.
I'm also interested in helping.
https://crates.io/crates/llvmint has the necessary intrinsics. That might be a nicer route than inline assembly, even though it's still not portable.