Re: There are a lot of such projects
The problem with that is the same with a lot of 'new language' ideas, it assumes the orginal coder has correct logic in the first place.
Now I'm not knocking the use of languages that enforce proper memory management/bounds checking, etc, but out side of a few special cases like a microkernel I don't see "maths assisted" coding helping much.
Most security flaws come from bad/carless ideas and inadequate testing due to budget/marketing pressure. The language is just a choice of which type of gun to shoot one's foot with...
