Stream

Join this community to post or comment

Thad Meyer
owner

Project Announcement  - 
 

From the latest OCaml Weekly News:

Announcing the initial release of the Prof. Spacetime viewer for Spacetime memory profiles. It is available on opam as "prof_spacetime". Documentation for both the viewer and for generating Spacetime profiles is still pretty sparse, but I've written a blog post to get people started:

https://blogs.janestreet.com/a-brief-trip-through-spacetime/

An initial version of the spacetime_lib library, on which Prof. Spacetime depends, has also been released. This includes some basic high-level functionality for reading Spacetime profiles.

Both the spacetime_lib library and prof_spacetime viewer are developed on GitHub:

https://github.com/lpw25/prof_spacetime
https://github.com/lpw25/spacetime_lib

So please report any issues there.
3
1
Add a comment...

Sylvain Le Gall
moderator

Project Announcement  - 
 
 
OASIS 0.4.8: new release.

Most of the work for this version has been about opam-build-revdeps and adding a way to pin the dev repository in OPAM.

There were 3 contributors.
2
Add a comment...

Yin PandaElf

Discussion  - 
 
can someone help me to write a program for this?

for the following tree type:
type 'a tree = Node of 'a * ('a tree) * ('a tree) | Empty
create a fold function of type:
val fold : ('a -> 'b -> 'b -> 'b) -> 'b -> 'a tree -> 'b

thanks

1
Sylvain Le Gall's profile photoDan Ghica's profile photo
2 comments
 
You should try to do your homework on your own.
Add a comment...

Sylvain Le Gall
moderator

Project Announcement  - 
 


The newest version of OCaml 4.04.0 is here! Main features[edit]. A major addition to this release is Spacetime: a new memory profiler. It records how your program executes so it can reliably tell you the full stack backtrace at every point in the program that caused an allocation.
12
1
Add a comment...

Sylvain Le Gall
moderator

Discussion  - 
 
 
"OCaml Programming Patterns" by Markus Mottl
http://mmottl.github.io/ocaml-prog-pats/
Ocaml-prog-pats. OCaml Programming Patterns - random tricks, "design patterns", etc. View on GitHub Download .zip Download .tar.gz. OCaml Programming Patterns. Purpose. This package contains some random programming tricks, "design patterns", and other helpful or at least inspiring ideas of ...
8
3
Add a comment...

Zen3ger

Discussion  - 
 
Hello Guys!

I'm new to OCaml and I've got stuck at installing Batteries and Core... Core worked for the first time, but now both ocaml and utop sais 'unbound module...' and the fixes that I found does not work for me! ocamlinit is setted up correctly I guess.

Thanks,
Roland
1
Paolo Donadeo's profile photo
2 comments
 
This is my .ocamlinit:

http://pastebin.com/BKY7zNqw
Add a comment...

Sylvain Le Gall
moderator

Discussion  - 
 
 
A nice gem. Ketrew: Keep Track of Experimental Workflows

http://seb.mondet.org/software/ketrew/doc.2.0.0/
Ketrew: Keep Track of Experimental Workflows. Build Status. Ketrew is: an OCaml library providing an EDSL API to define complex and convoluted workflows (interdependent steps/programs using a lot of data, with many parameter variations, running on different hosts with various schedulers).
5
Add a comment...

Sylvain Le Gall
moderator

Discussion  - 
5
1
Conrad Steenberg's profile photo
 
Seems like a lot of what LMDB does was reinvented... (shared memory lockless hash table with multiple concurrent writers)
Add a comment...

Sylvain Le Gall
moderator

Discussion  - 
 
 
Les exposés seront les suivants:
• Danny Willems : Bindings OCaml à Cordova grâce à js_of_ocaml et gen_js_api
• Frédéric Bour : sturgeon - A toolkit for communicating with Emacs from OCaml
• Corentin De Souza : dead_code_analyzer: un détecteur de code mort pour OCaml


http://www.meetup.com/fr-FR/ocaml-paris/events/231068590/
 ·  Translate
1
Add a comment...

Sylvain Le Gall
moderator

Discussion  - 
 
Reason: Rapid Expressive Systems Programming.
13
4
Add a comment...

Sylvain Le Gall
moderator

Discussion  - 
 
 
I wrote an article on the new OCaml 4.03 release for LWN.net. It was published last week to subscribers, and is now available for everyone to read. I would warmly recommend subscribing to LWN.net; it's rather cheap (starts at $3.5 a month), and supports what I find to be an excellent source of technical journalism -- mostly about the Linux kernel development, but also the free software and open source community at large.

Writing an article for a general audience takes a fair amount of work, but was a pleasant and interesting experience. I wrote a first draft, then Jake Edge, the editor, asked for many clarifications on things that were not detailed enough, and of course the result ended up being too long and too specialized and we cut a lot of it -- the article originally mentioned the ongoing projects of multicore runtime and modular implicits, which I was sad to see go away.

One thing that was forcefully reminded to me in the process of writing and polishing the article is that the general knowledge about programming languages among the community of programmers. Some things that I'm used to take for granted, such as "type inference", "module system" or "pattern matching", are actually niche ideas. I think that it is a bit sad, and that we could work on that. (Not sure what is the best way, I guess writing blogs and articles and talking at the right conferences.)

http://lwn.net/Articles/684128/
2
Add a comment...

About this community

Sylvain Le Gall
moderator

Discussion  - 
 
Official announce of the deprecation of forge.ocamlcore.org !

The OCaml Forge was launched 9 years ago. Today, the OCaml community will probably benefit to switch to a more popular hosting option, like Github. Over the course of 2017, the content of the current forge will be transferred to a static website or given back to its author for a migration to another hosting provider.
Posté par: Sylvain Le Gall Date: 30/12/2016 23:55. Résumé:Deprecating the Forge in 2017. Projet:Site Admin. The OCaml Forge was launched 9 years ago. Today, the OCaml community will probably benefit to switch to a more popular hosting option, like Github. Over the course of 2017, the content of ...
3
Thad Meyer's profile photoSylvain Le Gall's profile photo
3 comments
 
Thanks +Ashish Agarwal and +Thad Meyer, the forge was part of my community investment when I started working on it -- at the very same time we have organised the first OCaml Meeting in Paris (back in 2008).

Just for the memory:
https://www.youtube.com/watch?v=YdAcmMLwd_U
Add a comment...

Sylvain Le Gall
moderator

Discussion  - 
 
Too bad. OCaml is best in class but missing this extra feature to make it perfect (Thanks +Gabriel Scherer for the code)

Extract:

The two surprises here are Java, which performed very poorly, and OCaml, which performed very well. The ~3ms pause times for OCaml are due to the incremental GC algorithm that OCaml uses for the old generation. (Our main reason for not choosing OCaml was its poor concurrency support.)

As you can see, Go performs well, with pause times around 7ms. This is well within our requirements.

How Golang's concurrent GC achieves low latencies in real-time systems: a visualization of the algorithm and an empirical comparison with other languages.
9
1
Add a comment...

Sylvain Le Gall
moderator

Project Announcement  - 
 
 
OASIS 0.4.7: new release.

A lot of work on this release:
* A new plugin to support OMake
* 3 new beta/alpha features up for testing
* More than 15 contributors
2
1
Add a comment...

Sylvain Le Gall
moderator

Project Announcement  - 
 
 
The first 100% OCaml client-server app is now available on Google Play https://play.google.com/store/apps/details… and Apple App Store! https://itunes.apple.com/fr/app/besport/id1104216922 Test it!
‪#‎BeSport‬ ‪#‎Ocsigen‬

1 single OCaml code for server and client sides, that runs on the Web and mobile apps.

And soon in Ocsigen Eliom 6.0: create your own multi-platform app!

3
1
Add a comment...

Sylvain Le Gall
moderator

Discussion  - 
 
 
Some interesting points about hackathons.  Not everyone learns equally well from a classroom or a workshop; sometimes an informal, in-person format works better:

http://rudenoise.uk/ocaml-june-16.html
OCaml Update June 2016. Published: 2016-06-02. This blog hasn't seen much action lately, because I've been coding. Rather than wait for writing time to open up here's a brief round up of the last few months: MirageOS Hackathon, Marrakech. Back in March I spent a few days hacking on MirageOS and ...
1
Add a comment...

Sylvain Le Gall
moderator

Project Announcement  - 
 
 
OASIS 0.4.6: ready for OCaml 4.03.0
3
Add a comment...

revanth kumar

Discussion  - 
 
OCaml originally known as Objective Caml, is the main implementation of the Caml programming language.
Functional programming is making a comeback. Functional programming has a core appeal for some developers because it makes code clearer, better structured, and prevents many classes of errors.According to indeed.com, the functional languages are growing fast! The fastest growing are Clojure, Erlang and Scala. What is functional programming? In its most basic terms, functional programming is about treating computation as mathematical functi...
3
Add a comment...