Personally, I don't do tests on my projects, it's a weak guarantee in my opinion. I prefer formal proofs...
Working on a language for automatically managing the same..
Gothub.com/onchere/whack
Yes. An example is telco market leader Safaricom.co.ke that rolled out 'voice as password'. Keep in mind most Kenyan transactions these days are in mobile money.
I haven't come across good material on the matter. If you do use C++ I do recommend you employ RAAI idiom in code generation for help with lexical scoping for your language.
> would recommend looking into writing a grammar, have that generate your AST, then do some transformations on the AST to generate code. you will save a lot of time.
I had this thought, so I used a parser combinator (mpc) to generate the AST from the grammar and source file, then extract useful elements from the AST for codegen.
You might find Types and programming languages - Benjamin C. Pierce to be particularly interesting. There's a GitHub repo with a list of materials, can't seem to find it. When I do, will remember to share!
Will commence working on a doc to explain some design choices, and what some non-obvious code fragments do; will update here when I commit.
There's no subtyping being done currently.
The 'match type' construct matches the type of an expression at compile time.
I should also add that some design choices may be reviewed before the first release.