http://www.alpheccar.org en 40 science and freedom http://www.alpheccar.org http://www.alpheccar.org/images/avatar.jpg Apparantly my curiousity is more demanding than yours -- my curiousity demands that I actually use Coq to prove things. For instance, I'm trying to formalize some of the material in my Signals course... Tue, 10 Jun 2008 15:40:29 -0400 urn:uuid:286 Samuel Bronson http://www.alpheccar.org/en/posts/show/70 Remember Einstein, E=mc2, He makes me think, The best programing language is the human language, and even in our language we have big problems to express many concepts and ideas, not say describing problem solutions. So, the best programming language must cover, very well, critical factors for the average human like me. First Factor . Documentation, (the best, complete, detailed, concise, with samples, etc) Second . Support (Critical bugs instantly fixed instead going to version 2,3,..., with more changes, more complexities, new bugs) Third . IDE (The best IDE possible, with debugging) Fourth . Always backwards compatible or autoupgraded.(Not deprecated any more) Add, remove Factors, choose the critical factors, then we will see which is the less worst language, because in fact there is no best programing language at all, up to 2008, as there is no best human language, or which is the best philosophy language, which is the best for religion? which is the best for moral, which is the best for love? then we see all you want about machines and money handling languages. Wed, 28 May 2008 03:40:09 -0400 urn:uuid:285 oscar duron http://www.alpheccar.org/en/posts/show/36 OK, now I can add to the list of reasons to study Haskell for my students: 1. mathematical syntax and semantics; 2. great job opportunities (see Galois); 3. sweeping OSCON like wildfire (see Simon's talk); 4. meet French fashion models! :) Perhaps they'll model some Haskell merchandise from haskell.org? Thu, 13 Mar 2008 01:14:52 -0400 urn:uuid:283 Fritz http://www.alpheccar.org/en/posts/show/91 the idea is that the state of the GUI is packaged with the GUI so that you can use the back button or clone the browser window without any problem. Tue, 04 Mar 2008 01:39:46 -0500 urn:uuid:282 alpheccar http://www.alpheccar.org/en/posts/show/89 Are there any intrinsic reasons to pass the state explicitly in requests rather than storing it server-side only in a session? Mon, 03 Mar 2008 17:42:35 -0500 urn:uuid:281 Saizan http://www.alpheccar.org/en/posts/show/89 C'est awesomme! Mon, 25 Feb 2008 19:17:23 -0500 urn:uuid:280 Dan P http://www.alpheccar.org/en/posts/show/91 Merci :) il y a encore beaucoup de travail avant d'arriver au niveau de cette librairie et notamment en ce qui concerne les polices. Je sais pas si j'aurai le courage :) mais je vais essayer. Mon, 25 Feb 2008 06:39:09 -0500 urn:uuid:279 alpheccar http://www.alpheccar.org/en/posts/show/91 Je commence tout juste Haskell et je découvre cette magnifique librairie : chapeau ! Question : Serait-il envisageable à long terme d'obtenir un équivalent de la librairie écrite en Lisp cl-typesetting (http://www.fractalconcept.com/asp/CW7sdataQucgleWmCuSG9eWI$Nmw) ? Mon, 25 Feb 2008 06:35:24 -0500 urn:uuid:278 kib2 http://www.alpheccar.org/en/posts/show/91 Oops : wrong paper by Moggi. I don't find the right one ... Thu, 17 Jan 2008 13:39:14 -0500 urn:uuid:272 alpheccar http://www.alpheccar.org/en/posts/show/90 augustss : I know the [paper by Moggi](http://www.disi.unige.it/person/MoggiE/ftp/ic91.pdf). I read it when I was trying to understand monads. But, I have not seen any blog or tutorial about monads talk about it. And, if it is in a research paper then most programmers won't know it. sigfpe : You should blog about the use of "theorem for free" for dynamically typed languages and containers. sam: Thanks. Blogs helped me a lot too when I was trying to understand Haskell. Thu, 17 Jan 2008 13:34:50 -0500 urn:uuid:271 alpheccar http://www.alpheccar.org/en/posts/show/90