>>1Just use a compiler that translates the code into C. Chicken(Scheme) does that very well. No need to be ashamed.
>>2I wholeheartedly agree, esp. if you got started on C first.
>>3Then test systems for that. Valgrind, cgdb, DynamoRIO, etc.:
https://en.wikipedia.org/wiki/Dynamic_program_analysishttps://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysisThere was a FreeBSD one is used to use allot, but forgot the name. Its trusted across many companies, including IBM and Oracle.
However, you can also use Dependently typed languages:
Coq, ATS, Agda, etc.