[K42-discussion] Boot / K42 / Cell

[William DUCK]

Hello,

I have some questions and I ask your help to answer me, please.

Will K42 be ported to cell ?

Will we be able to create a good compiler with unisim and C-- for cell ?

https://unisim.org/site/

http://www.cminusminus.org/

Or lava ? : http://raintown.org/lava/

And what do you think of PROSE ? => Will we be able to build a full usable 
libOS one day ?

http://domino.research.ibm.com/comm/research_projects.nsf/pages/prose.index.html


Could Y0 could be the final word in programming languages ?

http://www.eecs.harvard.edu/~aleks/papers/hoarelogic/httsep.pdf

  Y0:  (y-naught)  A next generation functional programming language.  The 
focus of this project is a synthesis of good ideas from the ML, Haskell,  
Scheme, and LF communities.  In particular, we are designing a language that 
like ML and Scheme, is primarily call-by-value, but like Haskell, provides 
good support for laziness.  As in Haskell and FX, we are attempting to 
isolate effects and reflect them in the types.  As in Haskell, O'Caml, and 
LF, we are trying to push the boundaries of type systems and type inference 
to the next level.  Currently, I am working with Amal Ahmed, Mathew Fluet, 
and Aleks Nanevski on issues involving state and effects.  I am also working 
with Norman Ramsey & Paul Govereau on integrating type-classes with ML-style 
modules.  



Thank you for your answer,

Best Regards,

                                Will