デバイスの表現に適したプログラミング

FPGAの記事を見て、「C++とかでこうゆう表現できないかな」と感じてしまいました。組み込みをやっているとビット列操作が多いのですが、思いのほかC++と相性がよくありません。符号付き/符号なしとかを厳密にしていくと結構面倒。プログラミングする側で管理していればよいことなんですが、むしろ面倒なことだからこそ開発する環境側でのフォローが欲しいところ。