From: "Alain Fischer" <afischer@eig.unige.NOSPAM.ch>
Subject: Re: Thoughts and Opinions or something like that
Date: Wed, 25 Apr 2001 14:09:22 +0200
Date: 2001-04-25T14:09:22+02:00 [thread overview]
Message-ID: <3ae6bde9@news.unige.ch> (raw)
In-Reply-To: HtiF6.5582$Tv2.757613@news6-win.server.ntlworld.com
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 3336 bytes --]
Perhaps you can take some ideas from Smalltalk VM.
Some are very fast (only a 4:1 ratio over optimised C++).
See the tread "Integer micro-benchmarks" on comp.lang.smalltalk
Some reference:
http://users.ipa.net/~dwighth/smalltalk/bluebook/bluebook_imp_toc.html
(an old implementation of Smalltalk-80)
http://users.ipa.net/~dwighth/squeak/oopsla_squeak.html
(the story of a recent implementation of Smalltalk)
See also: www.squeak.org
Squeak is an open source implementation of Smalltalk with a decent VM
written in Smalltalk then translated in C the compiled for a lot of
platform.
The Smalltak paradigm are near from functional programing.
Have a nice day.
Alain
"chris.danx" <chris.danx@ntlworld.com> a �crit dans le message news:
HtiF6.5582$Tv2.757613@news6-win.server.ntlworld.com...
> Hi,
> Someone on these news groups suggested to someone that in order to
make a
> reliable Virtual Machines, they needed the opinions of many programmers in
many
> languages. {Can't remember who, some of those threads get huge and i get
lost!
> Good idea who ever it was!}
>
> I'm involved in a project to develop a VM and i was looking for peoples
thoughts
> on this. I've started with a simple RISC machine that's not finished yet.
I
> will complete this soon, but i've been thinking my approach is flawed.
Not to
> say RISC is bad, but maybe it's too simplistic or lacks specific support
for
> features that'd make it A:more efficient and B:easier to program.
>
>
> The language project will support the following imperative features:
>
> - For/While loops
> - Procedures
> - side effect enabled programming (variables)
> - "tidy" pointers
> - modes for parameters (only for procedures, functions nonmodified
params)
> - Generitcity (polymorphism)
>
>
> and the following functional features
>
> - pattern matching
> - side effect free programming (values)
> - higher order functions
> - guards
> - Algebraic types
> - N-Tuples
> - Genericity (polymorphisism)
>
> and the following "not sure" or "in many paradigms" features
>
> - Units bound to values/variables
> - Lists []
> - Arrays <>
> - Records
> - Sets (and Records as Sets) {}
> - Enumeration types (with extensiblity and subtyping)
> - Subtyping
> - Relational programming (some paper i really liked described it,
prologish
> but somewhat different)
>
>
> This list is quite exhaustive and i know it doesn't look that nice now,
but the
> work i've done so far seems to indicate this is all possible and looks
nice too.
> The major stumbling block is state->stateless programming but i'm looking
and
> trying ideas out. Something will be done; whether or not it's pretty is
another
> matter.
>
> I know many folks get annoyed when they here about "yet another new
language"
> but this is not about the language itself. It is about me learning about
all
> this stuff and seeing what i can do with a big collection of (sometimes
> unrelated) issues and see what can come of it.
>
> The real problem is the VM, so i'm looking for peoples thoughts on this.
What
> concepts would you have found useful, and what you'd rule out.
>
> Please feel free to ignore this if you don't want to contribute (i know
you will
> anyway).
>
>
> Regards,
> Chris
>
>
next prev parent reply other threads:[~2001-04-25 12:09 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-04-24 17:12 Thoughts and Opinions or something like that chris.danx
2001-04-24 21:35 ` Ted Dennison
2001-04-24 23:27 ` chris.danx
2001-04-25 7:40 ` Andrew Cooke
2001-04-25 10:42 ` chris.danx
2001-04-25 17:26 ` Warren W. Gay VE3WWG
2001-04-26 14:22 ` Marcin 'Qrczak' Kowalczyk
[not found] ` <3AE69665.63E362CD@info.unicaen.fr>
2001-04-25 10:51 ` chris.danx
2001-04-25 13:51 ` Jerzy Karczmarczuk
2001-04-25 13:52 ` chris.danx
[not found] ` <3AE6DAB3.899FF645@andrewcooke.free-online.co.uk>
2001-04-25 14:30 ` chris.danx
[not found] ` <3AE7E37B.F384DCDA@info.unicaen.fr>
2001-04-26 9:02 ` Play with virtual machines (Was: Thoughts and Opinions...) chris.danx
[not found] ` <3AE81234.267643AC@kfunigraz.ac.at>
2001-04-26 12:57 ` chris.danx
2001-04-27 2:14 ` Larry Elmore
2001-04-27 3:27 ` Goldhammer
2001-05-03 17:00 ` singlespeeder
2001-05-03 17:03 ` singlespeeder
2001-04-25 9:06 ` Thoughts and Opinions or something like that Tarjei T. Jensen
2001-04-25 12:12 ` Jeffrey M. Vinocur
2001-04-26 2:12 ` Nicholas James NETHERCOTE
2001-04-26 18:23 ` Keith Thompson
2001-04-25 12:09 ` Alain Fischer [this message]
2001-04-27 18:20 ` brian hiles
2001-04-28 1:27 ` Gregory Toomey
2001-04-28 21:34 ` chris.danx
2001-04-28 21:34 ` chris.danx
2001-04-30 8:31 ` Jon Beniston
2001-05-04 8:49 ` Biep @ http://www.biep.org
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox