It's still easier to build up an understanding of computers under that environment. You may not be proving your programs correct, but you are probably proving them useful.