I came upon the Curry-Howard Isomorphism relatively late in my programming life, and perhaps this contributes to my being utterly fascinated by it. It implies that for every programming concept there
Could you please explain me what is the basic connection开发者_开发问答 between the fundamentals of logical programming and the phenomenon of syntactic similarity between type systems and conventional
java -version still returns old java version. I have red hat linux I installed jdk 1.5 int eh follwing path and updated the bask profile and did a source but still the java version shows 1.4