[Caml-list] TFPIE: Trends in Functional Programming in Education 2012
CALL FOR PAPERS/PRESENTATIONS TFPIE 2012 International Workshop on Trends in Functional Programming in Education 2012 June 11 2012 University of St Andrews, Scotland http://www.cs.ru.nl/P.Achten/TFPIE_2012/TFPIE_2012_home.html The first International Workshop on Trends in Functional Programming in Education, TFPIE 2012, will be co-located with TFP 2012 at the University of St Andrews in Scotland. The goal of TFPIE is to gather researchers, professors, teachers, and all professionals that use or are interested in the use of functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and work in progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. The program chairs of TFPIE 2012 will screen submissions to ensure that all presentations are within scope and are of interest to participants. Potential presenters are invited to submit an extended abstract (4-6 pages) or an article (up to 16 pages). The authors of all accepted presentations will have their preprints and their slides made available on the workshop's website/wiki. Any visitors to the TFPIE 2012 website/wiki will be able to add comments. This includes presenters who may respond to comments and questions as well as provide pointers to improvements and follow-up work. After the workshop, the program committee will review, using prevailing academic standards, the articles accepted for presentation to select the best for publication in Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and all extended abstracts will not be formally reviewed by the PC. TOPICS OF INTEREST TFPIE 2012 welcomes submissions describing practical techniques used in the classroom, tools used and/or developed, and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to: FP and beginning CS students FP in Artificial Intelligence FP in Robotics FP and Music Advanced FP for undergraduates FP in graduate education Engaging students in research using FP FP in Programming Languages FP in the high school curriculum FP as a stepping stone to other CS topics FP and Philosophy If you are not sure if your work is appropriate for TFPIE 2012, please contact the PC chairs by e-mail at:tfpie2...@cs.ru.nl . Program Committee Peter Achten, Radboud University Nijmegen Jost Berthold, University of Copenhagen Marc Feeley, University of Montreal Ralf Hinze, University of Oxford Shriram Krishnamurthi, Brown University Michel Mauny, ENSTA Paris Tech James McKinna, UK Marco T. Morazan, Seton Hall University Rinus Plasmeijer, Radboud University Nijmegen Simon Thompson, University of Kent Important Dates May 20submission of abstract or article May 25notification of acceptance June 11 TFPIE July 6submission of formal paper September 10 notification of acceptance October 1 camera-ready paper Venue The University of St Andrews is Scotland's first university and the third oldest in the English-speaking world, founded in 1413. Over six centuries it has established a reputation as one of Europe's leading and most distinctive centers for teaching and research. St Andrews is situated on the east coast of Fife, Scotland, UK. The town is approximately 50 miles north-east of Edinburgh, 14 miles south-east of Dundee, 78 miles south of Aberdeen, and 82 miles east of Glasgow making it easily accessible by any means of transportation. Help on traveling to St Andrews can be found at:http://www.st-andrews.ac.uk/visiting/GettingtoStAndrews/ . Questions? If you have any questions, do not hesitate to contact us at:tfpie2...@cs.ru.nl . -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] Compiling Cryptokit on Windows
Hi list, There has been some discussion during the last few months were some argued that there was not enough Windows users to test libraries. Well it happens that I need to compile Cryptokit for Windows. Here are my first results, which failed miserably. I'm using OCaml 3.12. 1) With Cryptokit 1.5. INSTALL.txt states that I need findlib. I installed OCaml from: http://protz.github.com/ocaml-installer/ And it seems that ocamlfind is not installed by this tool. After more search I read here: http://www.camlcity.org/archive/programming/findlib.html that Volunteers are still wanted who port findlib to Windows and Macintosh. So I guess that every OASIS project needs findlib, but findlib does not work on Windows, so all OASIS projects will not be usable on Windows? I thought on the contrary that OASIS was a step towards unification? I tried anyway without findlib, running: ocaml setup.ml -configure I get this error: 'c:\Program' n'est pas reconnu en tant que commande interne (i.e. unrecognized internal command). The command which is supposed to be run is: c:\Program Files\OCaml\bin\ocamlc.opt.EXE -config somefile.txt It just misses quotes, which seems kind of silly. 2) With Cryptokit 1.3. So I gave up and tried an older version whose INSTALL file explains how to install on Windows. I checked variables in Makefile.win and ran: make -f Makefile.win Now the error I get is that gcc cannot find C:\Program Files\OCaml\lib/ocamlrun.a, which actually does not exist, so this is not a surprise. This file ocamlrun.a does not exist either on my Debian computer, so I'm a little surprised here. I think I'll try cross-compiling now, or maybe editing setup.ml to put quotes around the command. Cheers, -- Romain Bardou -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Compiling Cryptokit on Windows
Hi list, There has been some discussion during the last few months were some argued that there was not enough Windows users to test libraries. Well it happens that I need to compile Cryptokit for Windows. Here are my first results, which failed miserably. I'm using OCaml 3.12. 1) With Cryptokit 1.5. INSTALL.txt states that I need findlib. I installed OCaml from: http://protz.github.com/ocaml-installer/ And it seems that ocamlfind is not installed by this tool. After more search I read here: http://www.camlcity.org/archive/programming/findlib.html that Volunteers are still wanted who port findlib to Windows and Macintosh. This URL points to an archived web page, starting with This is the archived Findlib page. The new homepage can be found here!, plus a link to more recent information. Maybe this can be overlooked. The new link is http://projects.camlcity.org/projects/findlib.html. Findlib is fully supported on Win32. So I guess that every OASIS project needs findlib, but findlib does not work on Windows, so all OASIS projects will not be usable on Windows? I thought on the contrary that OASIS was a step towards unification? I tried anyway without findlib, running: ocaml setup.ml -configure I get this error: 'c:\Program' n'est pas reconnu en tant que commande interne (i.e. unrecognized internal command). The command which is supposed to be run is: c:\Program Files\OCaml\bin\ocamlc.opt.EXE -config somefile.txt It just misses quotes, which seems kind of silly. I'd call this a self-made trap. I'd never install Unixish software into a path with spaces. (I know Windows people think differently about that, but that's how it is.) 2) With Cryptokit 1.3. So I gave up and tried an older version whose INSTALL file explains how to install on Windows. I checked variables in Makefile.win and ran: make -f Makefile.win Now the error I get is that gcc cannot find C:\Program Files\OCaml\lib/ocamlrun.a, which actually does not exist, so this is not a surprise. This file ocamlrun.a does not exist either on my Debian computer, so I'm a little surprised here. I think it was renamed to libocamlrun.a. But this is wrong for Win32 anyway, because the suffix should be .lib. I think I'll try cross-compiling now, or maybe editing setup.ml to put quotes around the command. Yes, it's not a pleasure to build Ocaml software on Windows. Gerd Cheers, -- Romain Bardou -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs -- Gerd Stolpmann, Darmstadt, Germanyg...@gerd-stolpmann.de Creator of GODI and camlcity.org. Contact details:http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de *** Searching for new projects! Need consulting for system *** programming in Ocaml? Gerd Stolpmann can help you. -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
RE: [Caml-list] Compiling Cryptokit on Windows
Romain Bardou wrote: Hi list, There has been some discussion during the last few months were some argued that there was not enough Windows users to test libraries. Well it happens that I need to compile Cryptokit for Windows. Here are my first results, which failed miserably. I'm using OCaml 3.12. 1) With Cryptokit 1.5. INSTALL.txt states that I need findlib. I installed OCaml from: http://protz.github.com/ocaml-installer/ And it seems that ocamlfind is not installed by this tool. After more search I read here: http://www.camlcity.org/archive/programming/findlib.html that Volunteers are still wanted who port findlib to Windows and Macintosh. findlib is perfectly ported, and has been for years (see Gerd's email) - you simply need to compile it. All that's required is a recent Cygwin with the make, mingw64-i686-gcc-core and m4 packages (patch is a good idea as well). Assuming a working OCaml environment (OCAMLLIB set with a correct *Windows* PATH etc). For findlib 1.2.7, you need to patch the configure script - find the line camlp4_dir=`camlp4 -where` and change it camlp4_dir=`camlp4 -where | tr -d '\015'` or you'll get a corrupt META file for camlp4. It's built using ./configure make all opt install To compile Cryptokit with ZLIB support requires a patch (happy to send it - it's because of a limitation in OASIS - at least at the time I built it) but otherwise: ocaml setup.ml -configure ocaml setup.ml -build ocaml setup.ml -install While it's far from ideal, life is *much* easier on Windows with a compiler (i.e. building from sources). It's also a really good idea *not* to use spaces in anything (I use C:\Dev - although amusing that's had an issue with a buggy flexlink trying to write /dev/null!). Write your own software to handle spaces correctly, but don't expect Unix-only guys to think that way ;o) With my last refresh of OCaml to 3.12.2, I produced fully automated scripts for Windows compilation - at some point, I'll try to chuck them up somewhere in case they're of use to others (but the recent work with GODI on Windows is much more promising than what I was doing...). If you're feeling brave, I'm happy to send the scripts and patches off-list (OCaml with findlib, extlib, calendar, pcre, csv, pgocaml, zlib, camlzip, openssl, cryptokit, ocamlnet, json-wheel/static, spidermonkey+spidercaml, ocamlsha and ocamldap) David -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] llpp video
Here's a video[1] that shows how to build and use llpp[2]. It drags, with the building fetching part, till ~3:35, but, hopefuly, gets up to speed after that. [1] http://www.youtube.com/watch?v=9xtIqD_mHRw [2] http://repo.or.cz/w/llpp.git -- mailto:av1...@comtv.ru -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] Re: [oss-security] CVE request: Hash DoS vulnerability (ocert-2011-003)
On 02/06/2012 06:05 PM, Kurt Seifried wrote: So going through various things looks like Ocaml is vulnerable and has not had a CVE # assigned for this issue yet. Discussion of the issue takes place on the mailing list, here is a link for the originating thread: cc There doesn't appear to be a fix yet. Please use CVE-2012-0839 for this issue. -- Kurt Seifried Red Hat Security Response Team (SRT) -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
