An overview of OCaml

http://simongrondin.name/?p=330

by amirmc • 11 years ago

121 13 11 years ago

simongrondin.name

mrdrozdov• 11 years ago

I am not sure where this belongs in the tutorial to intermediate spectrum, but it feels relevant.

http://learnxinyminutes.com/docs/ocaml/

wtetzner• 11 years ago

I had trouble accessing the site, so here's a cached version: https://webcache.googleusercontent.com/search?q=cache:hHpdNA...

gkya• 11 years ago

I also did, and I also wasn't able to access gnuplot.info, maybe there is a problem w/ .name?

edwintorok2• 11 years ago

gnuplot.info works for me on IPv6 but not on IPv4 (get connection reset on IPv4), seems to be a problem with projects.sourceforge.net.

  gnuplot.info has address 216.34.181.96
  gnuplot.info has IPv6 address 2001:468:c80:a202:0:b074:0:c082
  96.181.34.216.in-addr.arpa. 3567 IN	PTR	projects.sourceforge.net.

This site has a different IP and seems to point to a DNS server/proxy:

  simongrondin.name has address 176.58.120.112
  112.120.58.176.in-addr.arpa. 85642 IN	PTR	unblock.us.org.

Edit: .name site works now

DonPellegrino2• 11 years ago

Author here, I originally posted this to https://www.reddit.com/r/ocaml to gather some feedback prior to posting it here. It was a surprised when my boss told me "Hey, you're top 10 on HN right now". Glad to know someone liked it enough to post it here before I could :)

It's something I've been working on for quite a while, because I wanted to answer the question "Why do you like OCaml so much and why should I care?" once and for all. Hope you enjoy it.

Speaking of OCaml, all the traffic going to my blog is going through HARchiver [0], a very high performance proxy and reverse-proxy 100% written in OCaml that gathers datapoints for use with Mashape Analytics [1]. Disclaimer, I work at Mashape.

[0] https://github.com/Mashape/HARchiver

[1] https://www.apianalytics.com/

edwintorok2• 11 years ago

Small nitpick: 'unit' is more like 'void' than 'null'. Think of a procedure that returns nothing in C: it returns void, similarly in OCaml you return unit. I think the equivalent of 'null' would be None, if you think of pointers as 'a option, except you have to handle it explicitly and can't get NullPointerException like you mention.

LeonidasXIV• 11 years ago

I'm not sure. Void is not a real value, whereas unit is (unlike the article states) just a normal value, which supports all the things you can do with values, like assigning/let-binding etc.

While at it, let me add some more comments to the article, since the OP was asking for input:

In Java and JavaScript, any object can be null and it leads to Null Pointer Exceptions at runtime.

I know what is meant, but that is really strangely written, since the only object that can be null is null itself. In JS to pick your example, {} can never be null.

There are two different forms: SUM types and PRODUCT types

This comes after introducing tuples which are also product types, they even have multiplication signs in their type signature :-)

SUM types in OCaml are called Variants.

You could note that enums are sort-of-kind-of sum types in C.

Also, you should probably emphasize that your examples use Core which is not the standard library, because the standard library has completely different signatures, has no Option module, etc. You should probably add the relevant open line, otherwise it is confusing for people that some of the examples don't work and produce complicated error messages.

amirmc• 11 years ago

I also added a feed of your OCaml posts to OCaml Planet [1, 2] (just so that doesn't catch you by surprise) :)

[1] http://ocaml.org/community/planet/

[2] https://github.com/ocaml/ocaml.org/commit/8df5da9b6fe1ba4c43...

DonPellegrino2• 11 years ago

Thanks, I'm honored!

rusabd• 11 years ago

radical at fist first?

AceJohnny2• 11 years ago

Speaking of OCaml, I'm currently working through the Real World OCaml book [1] by Yaron Minsky, Anil Madhavapeddy and Jason Hickey, who are some of the drivers of using OCaml in production settings (Yaron Minsky works for Jane Street, who aside from being a quant firm are also the developers of the popular Core alternative standard library).

I highly recommend it.

[1] https://realworldocaml.org/

An overview of OCaml

Related Stories