Jun 18, 2020
Update on the Mu computer's memory-safe language
Mu now checks all function calls.
Pass in the wrong type = error.
Save a result to the wrong type = error.
Save a result to the wrong register = error.
There are automated tests for error messages.
I estimate this change protects against 60% of the most common mistakes. Checking the most recent variable in a register should provide another 20%. And I hopefully have TODOs for the remainder to gradually whack away.
https://github.com/akkartik/mu
This post is part of my Freewheeling Apps Devlog.
Comments gratefully appreciated. Please send them to me by any method of your choice and I'll include them here.