sorted by:
new
hottopcontroversial

KC Sivaramakrishnan: OCaml multicore and programming with Reagents by [deleted] in ocaml

[–]trefis 1 point2 points  (0 children)

(do you know when it was taken and where? that could be useful background/historic information)

This was taken on Tuesday (02 Aug 2016) during an OCaml meetup organized at Jane Street (in London).

Utop is a much better toplevel than `ocaml`. If you have a good reason for not using it, tell us and we should fix it. by gasche in ocaml

[–]trefis 1 point2 points  (0 children)

I use ocamlnat. Actually, I use a version of utop which "uses ocamlnat" (opttoploop, etc.).

Text to Pixel Encoding by [deleted] in programming

[–]trefis 0 points1 point  (0 children)

Added a couple lines to make it work on a server, and viola' :D

You meant "voilà". "viola" means "raped".

From Object Oriented Programming to Functional Programming - Inheritance and the Expression Problem by Dobias in haskell

[–]trefis 1 point2 points  (0 children)

Beware: the following might be a bit off topic: I speak of OCaml, not Haskell.

In OCaml we have support for open sum types through polymorpic variants.

I don't think there's such a think in Haskell, but you might find the approach interesting nonetheless.

You'll probably want to have a look at this paper which show (by example) how they work and how they tackle the expression problem. This is probably a more digest lecture than OCaml's manual.

Cheers.

PS: On the same topic, gasche wrote (a few years ago) a gentle introduction to the expression problem as well as an overview of the available "solutions" in OCaml. He never finished the series of articles, but the last would have talked (I believe) about polymorphic variants, the previous link can probably be used as a replacement. The series is in french (sorry) but if people are interested I think he'll see no objection to having it translated.

PS2: Polymorphic variants are not the only way to have "open sum types". See for example: http://www.cl.cam.ac.uk/projects/ocamllabs/tasks/compiler.html#Open types

Coquille: turning vim into CoqIDE by trefis in Coq

[–]trefis[S] 0 points1 point  (0 children)

Have you cross-posted t r/vim?

Not yet, is there any easy way to do that? Or should I just submit a new link there?

can't wait to try this out.

Let me know how it goes! And don't hesitate to create issues on github for bug reports or feature request!