Lambda the Ultimate

inactiveTopic High Level Language = Virtual Machine
started 5/22/2003; 5:08:06 AM - last post 5/22/2003; 11:48:55 AM
Marius Amado Alves - High Level Language = Virtual Machine  blueArrow
5/22/2003; 5:08:06 AM (reads: 352, responses: 3)
"We simply realised that a VM and a HLL are the same thing generally, only a VM has some easily decoded bytecode form." (http://sempiternity.org/~indigo/uuu/uuuwiki/index.php/Bismuth)

Or the old (?) vision of an operating system as a language. (AdaOS?) (The Bismuth people also say "We also seriously looked at Ada, but found that the development tools were hard to obtain. This is very unfortuneate as Ada is a wonderful language." Wonderful, yes, but "hard to obtain"?!)

Bismuth is the 'assembler language' of the Unununium "operating engine", which I found on Hangar18 (einstein.ssz.com/hangar18), seemingly a homestead of Plan 9-related resources (plan9.bell-labs.com).

These communities are very interesting. There must be something wrong with me, that I only found them now, even tho I've been looking for OS and PL innovations for a long time.

Ehud Lamm - Re: High Level Language = Virtual Machine  blueArrow
5/22/2003; 5:20:21 AM (reads: 361, responses: 0)
Fancy meeting you here...

Marius Amado Alves - Re: High Level Language = Virtual Machine  blueArrow
5/22/2003; 5:43:39 AM (reads: 348, responses: 0)
Well, LtU is one "very interesting community" I *did* managed to find sometime ago (I think thanks to you, Ehud), but had only 'lurked' until now :-)

Dan - Re: High Level Language = Virtual Machine  blueArrow
5/22/2003; 11:48:55 AM (reads: 320, responses: 0)
Interesting piece. MM designs are interesting, though there are some issues involved with them. I see the inevitable "We should do this as a stack-based VM" comment came in. Apparently every VM should be implementable as a sophmore CS project...