[Cuis] Driverless alternatives
Ken Dickey
Ken.Dickey at whidbey.com
Wed Dec 18 10:47:38 CST 2013
No good graphics system, but the Scheme language is _much_ better & safer than C++ !
Scheme48 has been used to program mobile robots. A formal proof system verified the implementation http://mumble.net/~jar/pubs/lsc.pdf Scheme48 uses a bytecode interpreter but has a PreScheme compiler which converts a pure Scheme subset to C. This was the work that inspired Slang (IMHO).
http://s48.org
Gambit Scheme compiles to native code and is roughtly compatable with C in speed. had been used to program modest hardware and they did a real-time GC implementation.
http://dynamo.iro.umontreal.ca/wiki/index.php/Main_Page
Among other things, Scheme is a great system in which to write very efficient state machines.
$0.02
--
Ken [dot] Dickey [at] whidbey [dot] com
More information about the Cuis
mailing list