<dylan>
I'm wondering, why do some modules have put the data parameter first (Like Hashtbl.add : t -> 'key -> 'value -> unit) and others last (Like Map's add : 'key -> 'val -> t -> t)?
<dylan>
s/have//
<dylan>
At first, I thought "Ah, functional modules do this." But Queue is imperative and has the same convention.
<Smerdyakov>
I don't know of any rhyme or reason behind it.
<dylan>
Although, I have noticed you can do this...
<dylan>
let seq l g = List.fold_left (fun g f -> f g) g l
* ski_
guesses "add : 'key -> 'val -> t -> t" can be useful to partially apply to get "t -> t" ..
<mellum>
My goal is to filter out certain partitions, count how many there are, look up the recurrence in the On-Line Encyclopedia of Integer Sequences, and then prove it :)
<Snark>
pango: shouldn't it be of type int list list ?
<mellum>
int list is a set; int list list is a partition; int list list list is a set of partitions. So it's fine
<pango>
a partition is an int list list, so the list of all partitions is an int list list list
<Snark>
oh, partitions
<Snark>
I had understood subsets
<mellum>
Actually, I want to know how many ways there are to partition a multiset where each element occurs twice, such that no element of the partition contains both identical elements. Maybe somebody knows the answer? ;-)
<pango>
it's probably a bit easier to count how many will have identical element(s)
<pango>
mmmh not even sure
<Snark>
mellum: I don't understand... an element can only appear once in a partition
<Snark>
(it is the difference between a covering and a partition)
<pango>
Snark: he probably means, identical considering elements value
<pango>
in this case [[1;2];[1;2]] is a partition with equal elements
<Snark>
gasp
<pango>
same goes for [[1];[1];[2;2]], etc.
mattam has quit [Read error: 104 (Connection reset by peer)]
mattam has joined #ocaml
<mellum>
Okay, that was maybe a bit unclear... I have the set {x_1, y_1, x_2, y_2, ...} and I want all partitions where for no i do x_i and y_i occur together in a set
threeve has joined #ocaml
Oatmeat|umn has quit ["Leaving"]
Oatmeat|umn has joined #ocaml
Oatmeat|umn has left #ocaml []
Oatmeat|umn has joined #ocaml
Oatmeat|umn has quit [Client Quit]
Oatmeat|umn has joined #ocaml
mush has quit ["Leaving"]
bacam_ is now known as bacam
Chipster has quit []
brx_ has joined #ocaml
brx has quit [Nick collision from services.]
brx_ is now known as brx
ramkrsna has joined #ocaml
* dylan
ponders how to lex "Hello, $name" as "Hello, " & name
__DL__ has joined #ocaml
vezenchio has joined #ocaml
exa has joined #ocaml
Submarine has left #ocaml []
ramkrsna has quit ["printk("Rusty's brain broke \n");"]
vodka-goo has joined #ocaml
vodka-goo has left #ocaml []
ppsmimou has quit ["Leaving"]
ppsmimou has joined #ocaml
ppsmimou has quit ["Leaving"]
edesarna has joined #ocaml
edesarna has left #ocaml []
pango has quit ["Leaving"]
pango has joined #ocaml
mrsolo has joined #ocaml
pango has quit [Read error: 113 (No route to host)]
pango_ has joined #ocaml
chs_ has joined #ocaml
<chs_>
Anybody knows of example code of pretty printers usable in the debugger?