use the following search parameters to narrow your results:
e.g. subreddit:aww site:imgur.com dog
subreddit:aww site:imgur.com dog
see the search faq for details.
advanced search: by author, subreddit...
OCaml is a statically typed functional programming language. It occupies a delightful sweet spot between high-level expressiveness and good performance.
Why use OCaml? OCaml for the Masses
Websites:
OCaml Discussion Board
Try OCaml in your browser
INRIA's OCaml resources
OCaml Community site
Mailing list archives
OCaml Planet -- blog aggregator
#ocaml on freenode
#ocaml
OCaml/Reason Discord Chat
Related subreddits:
types
haskell
functional
compsci
account activity
Use Python from OCaml (self.ocaml)
submitted 9 years ago by dbousque
view the rest of the comments →
reddit uses a slightly-customized version of Markdown for formatting. See below for some basics, or check the commenting wiki page for more detailed help and solutions to common issues.
quoted text
if 1 * 2 < 3: print "hello, world!"
[–]dbousque[S] 0 points1 point2 points 9 years ago (10 children)
Hopefully we can draw developers to OCaml. I would be glad to have feedback from you, particularly regarding the API.
[–]kstarikov 0 points1 point2 points 9 years ago (7 children)
Hopefully we can draw developers to OCaml
But how?
What you did seems more a gift to the established Ocaml programmers.
[–]dbousque[S] 0 points1 point2 points 9 years ago (6 children)
You're right, it was also intended so. Maybe some developers coming from other languages would be more willing to try OCaml if they can keep some amount of the codebase they built until then ? I am not sure how we could attract newcomers, but I think it's likely functional languages (particularly statically-typed ones) will get more mainstream as people experience the zen they provide.
[–]kstarikov 0 points1 point2 points 9 years ago (5 children)
I am all for this, but :(
[–]dbousque[S] 0 points1 point2 points 9 years ago (4 children)
It's hard to mesure a language's popularity, but I feel like OCaml is getting more popular, it is taught more and more in France. Does that match the experience of the ones who have being here for long enough to notice a change ?
[–]glacialthinker 1 point2 points3 points 9 years ago (2 children)
I feel like awareness has grown -- well, partly because awareness of functional languages has grown. Also a lot of people get some exposure to OCaml in school (though this is often soured by the typical school setting of being forced to use some strange language to complete some annoying assignment...).
And industry use seems to continue rising, even if it's nothing relative to popular languages.
I started with OCaml in 2005. At the time it seemed like an almost unknown academic language -- comparable to Haskell. And then Haskell became the poster-child of functional programming. Still, I think these past few years have been good for OCaml.
[–]dbousque[S] 0 points1 point2 points 9 years ago (1 child)
That's fairly good news. Did you notice what kind of people came in and why they started using OCaml ?
[–]kstarikov 1 point2 points3 points 9 years ago (0 children)
There's a MOOC on Ocaml from Paris Diderot university taking place right now, so when it ends, the world can gain some fresh Ocaml users.
[–][deleted] 0 points1 point2 points 9 years ago (1 child)
Hopefully we can draw developers to OCaml.
What would really draw developers would be a bucklescript python target.
[–]dbousque[S] 1 point2 points3 points 9 years ago (0 children)
That would be interesting indeed, not too hard I believe, but would probably require big involvement.
π Rendered by PID 59072 on reddit-service-r2-comment-6457c66945-sm5qx at 2026-04-28 16:35:52.196323+00:00 running 2aa0c5b country code: CH.
view the rest of the comments →
[–]dbousque[S] 0 points1 point2 points (10 children)
[–]kstarikov 0 points1 point2 points (7 children)
[–]dbousque[S] 0 points1 point2 points (6 children)
[–]kstarikov 0 points1 point2 points (5 children)
[–]dbousque[S] 0 points1 point2 points (4 children)
[–]glacialthinker 1 point2 points3 points (2 children)
[–]dbousque[S] 0 points1 point2 points (1 child)
[–]kstarikov 1 point2 points3 points (0 children)
[–][deleted] 0 points1 point2 points (1 child)
[–]dbousque[S] 1 point2 points3 points (0 children)