headers
RE01 Rice Brian T. EM2 | 1 Oct 2001 01:31
Picon

Cool project!!

Welcome.

> Hi,
> 
> I have been browsing through your website and I just wanted to say that
> you have a lot of cool stuff in there. I am interested in joining your
> project. I know a little scheme and am currently learning common lisp
> and the oskit. I am thinking of developing an os development enviroment
> using lisp, oskit, and possibly a pc emulator. Is anyone working on
> something similar or something like this exist?? Would this be of use to
> you??
> 
> I look forward to having fun with you guys.
> 
> Sincerly,
> Chris Moline

There *was* a LispOS project which is now defunct, if I remember right. I
and one or two others on this list personally own Lisp machines which have
the native Genera operating system entirely written in (two separate
dialects of) Lisp, and these systems contain a lot of lessons to learn from;
however the licensing options are very restrictive.

The Vapour OS project uses Scheme, and have some decent progress, but the
last time I contacted the author he was busy with some other projects. You
could probably benefit most from talking to him.

There is also the Squeak project which includes a Smalltalk VM that
generates C-code from its self-hosted VM simulator, in order to make,
extend, and port its VMs. The SqueakOS and SqueakNOS projects are attempting
(Continue reading)

Permalink | Reply | 0 comments |
headers
Alan Grimes | 11 Oct 2001 15:49
Favicon

Final hurdle...

Most OSes are "Language Bound", writing in a creative language is
usually several times more difficult due only to OS-level obsticles. 

There are two very closely related problems that I would like my final
Sphere implementation to solve: 

-- Multiple execution paradigms; The user should be able to program the
system in any safe/safe,typed language. 

-- interoperability, all languages should be able to communicate
practicly with minimal headaches... 

--

-- 
Uncle Sam has the Gremlin's touch.
http://users.erols.com/alangrimes/  <my website.
Permalink | Reply | 1 comment |
headers
PB | 15 Oct 2001 17:25
Picon
Favicon

Re: Final hurdle...

> Most OSes are "Language Bound", writing in a creative language is
> usually several times more difficult due only to OS-level obsticles.
>

It is for this reason that lately much effort is on middleware
rather than on languages: While leveraging a well known
(and hopely well implemented) language you offer very high
level paradigms. This approach is advocated, e.g. in
Roman, Picco, Murphy "Software engineering for
mobility"
(http://www.elet.polimi.it/Users/DEI/Sections/Compeng/GianPietro.Picco/listp
ub.html)
which points out that Java, althought limited under many
aspects, has given a popular platform on which one can
experiment different mobility paradigms.
I think that on one side, leveraging existing languages
to implement higher level paradigms is a good thing, but
on the other side any language offers its own set of abstractions
so a mismatch is unavoidable, especially if we implement
very powerful abstraction with not much expressive
languages.
Anyway: making meet different OSes, languages,
libraries, middleware... abstractions is not an easy task.
I don't think there is *the* optimal solution for this kind of
problem. Many more or less standard abstractions are
enjoying a long-time success (process, thread, VM...),
but especially when you have to cope with standards
I feel that making cohexist different languages and
paradigms has to be done in an ad hoc way case by case.
(Continue reading)

Permalink | Reply | 0 comments |
headers
PB | 26 Oct 2001 20:39
Picon
Favicon

Provability and reflection

After trying hard at finding something foundational 
on the theory of reflection, at last I found this:

http://wwwmath.uni-muenster.de/math/inst/logik/publ/pre/2.html

These are the lecture notes for a course called "Provability 
and reflection" kept for ESSLI97.

Abstract on:
http://www.lpl.univ-aix.fr/~esslli97/abstracts.frame-en.html#logic5

Any opinion? Any other pointer to some paper which may
help to get in touch with the theoretical and foundational 
aspects of reflection?

Pietro
Permalink | Reply | 1 comment |
headers
Fractal A. | 31 Oct 2001 00:03
Picon
Favicon

Re: Provability and reflection

Have you tried the following?

http://tunes.org/Review/Reflection.html

--- PB <schizophonicNOSPAM <at> tiscali.it> wrote:
> After trying hard at finding something foundational 
> on the theory of reflection, at last I found this:
> 
> http://wwwmath.uni-muenster.de/math/inst/logik/publ/pre/2.html
> 
> These are the lecture notes for a course called "Provability 
> and reflection" kept for ESSLI97.
> 
> Abstract on:
> http://www.lpl.univ-aix.fr/~esslli97/abstracts.frame-en.html#logic5
> 
> Any opinion? Any other pointer to some paper which may
> help to get in touch with the theoretical and foundational 
> aspects of reflection?
> 
> Pietro
> 

=====
Fractal A.                    fractala <at> yahoo.com

__________________________________________________
Do You Yahoo!?
Make a great connection at Yahoo! Personals.
http://personals.yahoo.com
(Continue reading)

Permalink | Reply | 0 comments |
headers
Feng Rongfeng | 31 Oct 2001 04:24

looking for a paper!

Pattie Maes 's PhD. Thesis "computational reflection",1987
anyone have it,and will you be kind to post me one copy?thx,:)

           alex
Permalink | Reply | 0 comments |

Gmane