| I like the idea of in-language control of loose/strict typing. A project, "main", makefile or compiler parameters, should be able to set minimum strictness for everything it composes/references. Individual modules should be able to set their looseness, and be parsed and implemented accordingly, with runtime dispatching, template expansion, etc. instead of compile time. When the two collide, we get an error, and the developer decides which one needs to give way, or making an explicit exception, for the current state of development. So all typing choices are always clear and enforced. Language highlighting of loose vs. strict would also be nice. Not quite the same as safe/unsafe, but similar. But I also like the idea of a typed Forth, so what do I know? |