[K42-discussion] Boot / K42 / Cell

[Robert Wisniewski]

I've asked William to post these questions to the K42 mail list in case
anyone outside the team at IBM may be thinking of this.  So please anyone
else feel free to give your thoughts on any of his questions.

Robert Wisniewski
K42 MP OS, CPO, and CSO Projects
Advanced Operating Systems
IBM T.J. Watson Research Center
914-945-3181
http://www.research.ibm.com/K42/
bob at watson.ibm.com

----

William DUCK writes:
 > 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
 > _______________________________________________
 > K42-discussion mailing list
 > K42-discussion at ozlabs.org
 > https://ozlabs.org/mailman/listinfo/k42-discussion
 >