• Messages sorted by: [ date ][ thread ][ subject ][ author ] [ Next ]
• [ Previous ] Maybe in reply to: Monty Zukowski

I will rule out PERL on grounds of total illegibility and insecurity. It is possible to write decent programs in Perl. I know both of the people who actually do it. Forget it.

Python, in my view is an option, though the garbage collector would need to be replaced for serious use (the cyclical garbage problem).

Scheme is preferable because it is formally securable. If I'm going to put code in the CM system that runs on your machine, you damn well want to know that it cannot do anything improper. I know that Python has a restrictable bytecode machine, but that's very different from having formally verifiable semantics. It's not that I plan to write any proofs. It's that I want to know that the proofs are possible.

This is a "down the road" issue. Let's hold off on it.

Jonathan

[ Next ]
• [ Previous ] Maybe in reply to: Monty Zukowski