On Sat, 26 Aug 2006 16:32:26 +0200 William DUCK <[EMAIL PROTECTED]> babbled:
> Hello Misters, > > As you are GUI experts, I am > asking your help. > > I am attempting to build up a team. > > I believe it's time for a full-fledge verified OS. > > The graphic part is essential nowadays. > > If somebody is interested in functional programming and in formal methods to > help to implement a trusted GUI with the XHSB protocol, he is welcome :) > > Soon a Trusted Enlightenment ? :) > > XHSB ( X Haskell Bindings ) : > > http://lists.freedesktop.org/archives/xcb/2006-January/001278.html interesting - but as for most of the core e developers/hackers... i can't speak for all - but i think the general response will be "haskell what???" and that will be about the last of it. a very few might have interest. as for speaking for myself though - no way would i bother learning haskell nor programming in it :( if haskell is anything like its near cousins (miranda, prolog) i have a bad taste in my mouth from the last time i ever touched them. here in the e world we care about performance and efficiency. interpreted languages or a language that puts too much between you and the cpu generally means bad things for performance (GENERALLY i said). i wish you all the best in your efforts and i am sure you love haskell and will want to evangelise it now :) but - i think we just might be the wrong crowd to evangelise to :( so good luck with your efforts! all the best! :) > > Here is an example of a protocol formalisation and a trusted GUI : > > network stack : > http://www.cl.cam.ac.uk/~pes20/Netsem/ > > trusted GUI : > > http://demo.tudos.org/nitpicker_tutorial.html > > If you want to contact me, my mail is guillaume_dot_fortaine_at_wanadoo_dot_fr > > I will set up a mailing-list, a web server, a wiki and an IRC > > Best Regards, > > Guillaume FORTAINE > > ------------------------------------------------------------------------- > Using Tomcat but need to do more? Need to support web services, security? > Get stuff done quickly with pre-integrated technology to make your job easier > Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo > http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642 > _______________________________________________ > enlightenment-users mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/enlightenment-users > -- ------------- Codito, ergo sum - "I code, therefore I am" -------------- The Rasterman (Carsten Haitzler) [EMAIL PROTECTED] 裸好多 Tokyo, Japan (東京 日本) ------------------------------------------------------------------------- Using Tomcat but need to do more? Need to support web services, security? Get stuff done quickly with pre-integrated technology to make your job easier Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642 _______________________________________________ enlightenment-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/enlightenment-users
