The more I read about Hume, the more I realize that everything I wanted to do has been done by Hume. Well that’s not entirely true: I have some issues with some of the ways they’ve done things.

In short, Hume is a strict functional statically-type language with restricted computation models, aimed specifically at the real-time embedded corner in order to prove correctness. Well it’s more than that; it’s actually a lot of languages rolled up into one. Of special interest to me is PR-Hume, which is the primitive recursive Hume.

This is good and bad. My research won’t be as revolutionary as one might think. But, should I choose to work with Hume, I can focus my efforts better instead of trying to build up a horde of support tools myself.