Re: My Vision

[Luis Araujo]

Guillaume FORTAINE wrote:
> You are all right too :-). Maybe, it is time for me to defined more 
> precise goals :-)

You got my point then ...

> After this big brainstorming, I was thinking this morning to a new type 
> of project : informatics assisted by mathematics :-)
Probably some wiki-based site could benefit from this?

> It could be very interesting to build a full-fledge verified OS : from 
> the design to the internals => language, kernel, compiler, logical 
> framework as API.
>
> Note :
>
> It could be very interesting to be engaged in this new project :
>
> http://urchin.earth.li/pipermail/debian-haskell/2006-May/000169.html ( a 
> company interested in functional programming ) => -maybe very 
> interesting professional outlets ... :-)
Yes, many groups and even companies are using (purely) functional 
programming nowadays. I myself have been able to write some system 
programming tools for example , and i definitely believe that the 
current field is pretty much ready to start being adopted , that, of 
course, will bring some resistance , but that's normal , it is the way 
all major changes have (and gotta) happen (ed).

> *Language :
>
> http://www.macs.hw.ac.uk/~dsg/gdh/
>
> http://www.cs.mu.oz.au/research/mercury/index.html
>
> http://web.cecs.pdx.edu/~rebekah/papers/icfp05_h.pdf
>
> http://web.cecs.pdx.edu/~rebekah/papers/icfp05_bits.pdf
>
>
> *Logical framework :
>
> http://metaprl.org/default.html
>
> http://maude.cs.uiuc.edu/tools/scc/
>
>
> *OS design
>
> http://www.cse.ogi.edu/~hallgren/House/
Yes, House is nice.

I have been playing a bit with it, and it looks very functional too.

So you are proposing (if i understand your emails) , to take the 
functional road for this new project?, if it isn't that way 
specifically, ... in my personal opinion, i think that is the kind of 
_radical_ change we have to _dare_ to (the community)do.

Now you have to be aware of our current challenges too, more 
specifically those involving a purely functional environment , at which 
i think we have plenty of spaces to experiment with (IO, Binary Streams, 
Processes ....) , i think that part of the researching of the project 
should be aimed to deep into those fields.


> Note : I just found the name : VRDOS ( Verified Reliable Distributed 
> Operating System :-) ) => other suggestions ?

Why 'Distribuited'? ... i know it might be a bit early to ask such a 
thing, but i am curious ..... i sometimes feel people keep using this 
kind of _terms_ more as a marketing tool than a technical one.

Sincerely,


                        Luis