After building OCaml 3.11.2 from source on Cygwin 1.72 I tried running ocamlbrowser and got the error:
Fatal error: exception Protocol.TkError("Can't find a usable init.tcl in the following directories:
C:/cygwin/share/tcl8.4
C:/cygwin/home/rettkeg/ocaml/build/ocaml-3.11.2/share/tcl8.4
C:/cygwin/home/rettkeg/ocaml/build/ocaml-3.11.2/usr/share/tcl8.4
C:/cygwin/home/rettkeg/o
The solution is can be found here:
export TCL_LIBRARY=/usr/share/tcl8.4
I had wondered:
Is it “poor taste” to include type information in function definitions?
It seems like very nice documentation, but then again, maybe it is nicer rely on the inferencing engine to reduce the amount of code?
In theory you write short, easy to understand functions; in practice it isn’t always this simple though.
People kindly replied:
When you can avoid it, it is better to NOT include type information. Using a tool like “ocamldoc” will render the function and its inferred types in a real documentation format (e.g. HTML).
There are cases where you need to include type information, but they are corner cases.
— Sylvain
Interface files (.mli) are usually the main place for documentation. Within the .ml files, you can explain your algorithms but it’s usually just plain comments, not so much type annotations.
— Martin
As to the matter of “taste”, note that this practice is not idiomatic in Ocaml, in contrast to Haskell where it seems current. I’m not sure if that’s your case, but people coming to Ocaml from Haskell may at first tend to exaggerate on this aspect…
— Dario
I didn’t find one in Pervasives, and having read this thread I see why and that there probably is not one.
However, I wanted to do something like initialize an array of (0..9) and figured that identity is more convenient than (fun i -> i).
Raphael explained that it can be found here in Batteries Included.
(via ocaml-beginners)
The ‘“The Whitespace Thing” for OCaml‘ is
is an alternative syntax for OCaml that uses indentation to group multi-line expressions
Although I am not to the point where I could like or dislike something like this yet, I wonder how long time OCaml users feel about it?
Via the homepage:
OUnit is a unit test framework for OCaml. It allows one to easily create unit-tests for OCaml code. It is based on HUnit, a unit testing framework for Haskell. It is similar to JUnit, and other XUnit testing frameworks.
The Batteries Included project has come under new management since David Teller moved on. The project has gone through a process of reorganization and is finally ready for a release. We’ve rethought a lot of the structure decisions of the old codebase to make it easier to use and develop.
(via Caml-list)
Geoff recommended the following books for getting started with OCaml via this comment:
Introduction to Objective Caml by Jason Hickey
Developing Applications With Objective Caml by Emmanuel Chailloux, Pascal Manoury and Bruno Pagano
OCaml for Scientists by Dr. Jon D. Harrop
I would like to try out OCaml. From what I have read, though, it is only happy running on UNIX. Without a UNIX box at the moment I decided to try out Sun’s VirtualBox with Ubuntu.
Setup, configuration, and installation took less than an hour. Directories can easily be shared between the host and the guest (Windows XP and Ubuntu in this case), which is convenient for me because I share my Bazaar checkout folder. The NAT network adapter is configured “out of the box”. Everything “just worked”; it was a really pleasant experience.
These days there really aren’t many obstacles to running, or even just trying out, Linux.
Here is a video of Philip Wadler talking about his (and others) history with logic and programming languages.
Check it out at the Frog.