00:17
vixey has quit [Connection timed out]
00:18
<
svref >
okay, I found another guy who thinks its a broken package:https://bugs.launchpad.net/ubuntu/+source/unison/+bug/297896
00:24
svref has quit ["Client exiting"]
00:48
Yoric[DT] has quit ["Ex-Chat"]
01:03
netx has quit [Read error: 110 (Connection timed out)]
01:14
Kerris4 has joined #ocaml
01:20
code17 has quit ["Leaving."]
01:27
Kopophex has joined #ocaml
01:36
jlouis has quit [Remote closed the connection]
01:40
netx has joined #ocaml
01:50
halberd has joined #ocaml
01:55
apples` has quit ["Leaving"]
02:00
halberd is now known as nullity
02:00
nullity is now known as halberd
02:03
Kerris4 has quit [Read error: 54 (Connection reset by peer)]
02:15
apples` has joined #ocaml
02:40
Amorphous has quit [Read error: 110 (Connection timed out)]
02:43
ulfdoz has quit ["deprecated"]
02:43
Amorphous has joined #ocaml
02:45
jeddhaberstro_ has quit []
02:54
marmotine has quit ["mv marmotine Laurie"]
03:13
jeddhaberstro has joined #ocaml
03:52
dabd has quit [Client Quit]
04:02
threeve has joined #ocaml
04:18
Kopophex has quit ["Leaving"]
04:25
alexyk has joined #ocaml
04:34
apples` has quit ["Leaving"]
04:37
reillyeon has joined #ocaml
04:44
netx has quit ["This computer has gone to sleep"]
04:49
apples` has joined #ocaml
05:30
halberd has quit ["This computer has gone to sleep"]
05:33
netx has joined #ocaml
06:01
jeddhaberstro has quit []
06:17
jeddhaberstro has joined #ocaml
06:42
threeve has quit []
06:53
LeCamarade has joined #ocaml
06:54
jeddhaberstro has quit []
07:25
LeCamarade has quit [Read error: 110 (Connection timed out)]
07:27
netx has quit ["This computer has gone to sleep"]
07:48
reillyeon has left #ocaml []
08:00
mfp has quit [Read error: 104 (Connection reset by peer)]
08:02
ygrek has joined #ocaml
08:09
mfp has joined #ocaml
08:21
struktured has joined #ocaml
08:32
code17 has joined #ocaml
08:35
apples` has quit ["Leaving"]
08:36
<
flux >
svenl, well, it should be already be a bug that unison has been compiled as bytecode..
08:36
<
flux >
a native binary should not say such a thing
08:58
<
svenl >
flux: huh ?
08:58
<
svenl >
ah, i think it was for svref, not me :)
09:00
<
gildor >
flux: what arch for unison ?
09:08
_zack has joined #ocaml
09:09
<
flux >
gildor, right, I was assuming x86
09:09
<
flux >
ubuntu 8.04 has a natively compiled unison
09:09
<
flux >
(unison 2.13.16)
09:16
<
gildor >
flux: i am not sure
09:17
<
gildor >
lpia seems to be an arch
09:17
<
gildor >
lpia <> i386
09:19
* Camarade_Tux
thought ubuntu only had x86/x86-64
09:20
<
gildor >
and look for "dh_strip"
09:21
<
gildor >
I think ubuntu guy decided to override my setting of dh_strip
09:21
<
gildor >
which was dh_strip -punison -X unison-2.13.16 -X unison-2.13.16-gtk
09:21
<
gildor >
for not removing bytecode data from unison
09:21
<
Camarade_Tux >
they stripped a bytecode bin ? =D
09:21
<
gildor >
Camarade_Tux: yes they do
09:21
<
gildor >
and it doesn't work anymore
09:22
<
gildor >
suprising ?
09:22
<
Camarade_Tux >
yes, surprising they still do ;)
09:38
cyrilRomain has joined #ocaml
09:51
<
flux >
..surprising that they don't simply, well, run the resulting binary after building the package..
09:53
<
Camarade_Tux >
I remember this precise problem has been raised on the mailing-list, and I think it was because of ubuntu broken packsges...
09:53
<
Camarade_Tux >
s/packsges/packages
09:57
<
gildor >
flux: I have no power about this kind of problem, you must directly see with ubuntu maintainer
09:59
<
flux >
gildor, sure, I didn't think you'd have any part in this, infact I didn't even know you were related to unison before this :)
10:02
<
flux >
I actually use unison to keep two machines in sync. I haven't yet implemented backupping to this yet. (storing older versions that is)
10:02
<
gildor >
gildor: I am the debian unison maintainer, ubuntu backport unison package from debian (and many other ocaml package I maintain in debian)
10:19
Mr_Awesome has joined #ocaml
10:34
Camarade_Tux has quit [Read error: 110 (Connection timed out)]
10:34
Camarade_Tux has joined #ocaml
11:02
Yoric[DT] has joined #ocaml
11:02
foo_ has joined #ocaml
11:04
<
foo_ >
Hi! I defined <| infix operator, something like $ in haskell. How to set it's precedence? In default precedence I cannot have two <| in row.
11:06
vixey has joined #ocaml
11:06
<
Yoric[DT] >
foo_: you should take a look at pa-do
11:07
<
foo_ >
thanks, I'll take a look
11:10
<
foo_ >
okey, it' an extension. But in common ocaml there is + operator which behaves exacly like I want <| to behave, is + built-in?
11:12
tomh has joined #ocaml
11:13
<
Yoric[DT] >
+ doesn't do function composition
11:13
<
foo_ >
so precedece depends on characters in operator?
11:13
<
Yoric[DT] >
It's a little dirty hack.
11:14
<
flux >
so you could define +<|
11:14
<
foo_ >
thanks, that's what i needed
11:14
<
flux >
I think it's actually a decent idea
11:14
<
flux >
the reader needs to know the precedency of a few characters and off he can go with any code with any operators
11:14
<
flux >
it has the downside that at times the precedencies are less than convenient, though :)
11:14
<
Yoric[DT] >
Are you sure + is right-associative?
11:15
<
foo_ >
it's not, you are right
11:16
<
Yoric[DT] >
@ and ^ are
11:16
<
flux >
these things are easy to test in the toplevel
11:17
<
flux >
type tree = V of int | S of (tree * tree) let (^) a b = S (a, b) let expr = V 4 ^ V 2 ^ V 1 ^ V 2;;
11:17
Kerris4 has joined #ocaml
11:17
<
mfp >
too much work
11:17
<
mfp >
let (
*** ) x y = (x, y);;
11:18
<
mfp >
1
*** 2
*** 3;;
11:18
<
mfp >
- : int * (int * int) = (1, (2, 3))
11:18
<
flux >
gives better readability to boot
11:18
<
mfp >
(**, the other right-associative prefix)
11:20
asabil has joined #ocaml
11:24
<
vixey >
why only 3 stars?
11:24
<
foo_ >
I saw much nicer |> operator which is backward pipe
11:25
<
vixey >
you could do like let (
*************** ) x y even better!
11:28
ulfdoz has joined #ocaml
11:34
<
foo_ >
friend of mine gave me ocaml puzzles. given a list I have to split it on two parts.
11:34
<
foo_ >
but restrictions are:
11:34
<
foo_ >
I cannot count list's length
11:34
<
foo_ >
so take (n/2) @ drop (n/2) is not possible
11:35
<
foo_ >
and after merge this parts I should have the same list
11:35
<
foo_ >
so taking x::y::rest and put x to first and y to second is not possible
11:35
<
foo_ >
do you have any ideas on it?
11:37
<
foo_ >
the best I've done is putting a list to binary tree and first is dfs root's left subset and second is dfs root's right
11:37
<
foo_ >
but it works only with 2^n lengths
11:45
hkBst has joined #ocaml
11:49
<
foo_ >
after append one list to another
11:50
<
foo_ >
yes, merge was bad word
11:50
<
ski_ >
ok. yes, then
11:52
<
ski_ >
(though maybe my solution is regarded as counting length .. not sure)
11:54
<
foo_ >
if it's without + or any arithmetic it's correct
11:55
<
ski_ >
(.. what's arithmetic ?)
11:56
<
ski_ >
anyway .. are you looking for a hint ?
11:56
<
foo_ >
to be honest I thought you are writing some at the moment :)
11:57
<
ski_ >
first, i suppose given a list `[0;1;2;3;4]' you should yield `[0;1],[2;3;4]' (or maybe the other way around)
11:57
<
foo_ >
but when length is odd
11:58
<
foo_ >
there are two good answers
11:58
<
foo_ >
[0;1;2] , [3;4] is also good
11:58
<
ski_ >
presumably you could give either
11:58
<
ski_ >
so, how would you know at which point to split the list in two ?
11:59
marmotine has joined #ocaml
12:00
<
foo_ >
it's half, but I cannot count it.
12:00
<
ski_ >
well .. how about if you ran two fingers across the list ..
12:00
<
ski_ >
.. maybe one at double the speed of the other ?
12:01
<
foo_ >
hell yeah, you are good
12:01
<
ski_ >
(this is btw, a variation of "rabbit-tortoise chase")
12:09
<
foo_ >
thanks, that works
12:18
jlouis has joined #ocaml
12:24
foo_ has quit ["Ex-Chat"]
12:36
<
vixey >
foo_, half? :)
12:36
<
vixey >
foo_, so you have a list of 7 elements and you want to get a list of 4 paired with a list of 3 elements
12:37
<
vixey >
oh you got an even better solution than mine
12:38
<
ski_ >
what solution did you have ?
12:38
* vixey
would have done odd :: even :: odd :: even :: nil
12:38
<
vixey >
~~> (odd :: odd :: nil, even :: even :: nil)
12:39
<
ski_ >
well, that's my first thought, too .. but foo_ advanced the requirement of insisting that appending the two resulting lists should yield the original input
12:40
* vixey
just wrote that in a different language btw.. except I do take the lengths as input
12:42
<
ski_ >
to what end ?
12:45
<
vixey >
labelling nodes of a tree with fresh variables for a typechecking
12:52
rby has joined #ocaml
13:00
mohbana has joined #ocaml
13:00
<
mohbana >
would you say the majority of ocaml code in written in a functional/imperative style?
13:21
<
vixey >
mohbana, yes
13:25
<
vixey >
mohbana, FP
13:40
Jedai has joined #ocaml
13:41
<
flux >
would a characterisation ocaml "in the small" is functional, while "in the large" it is imperative, be fair?
13:41
<
flux >
perhaps "furely functional" in that context. for example first class functions are widely used always.
13:44
<
thelema >
a good programmer uses ocaml's functional style when possible and its iterative style when needed.
13:50
mfp has quit [Read error: 104 (Connection reset by peer)]
13:56
<
vixey >
what's so good about functional compared to imperative/
14:00
<
flux >
unfortunately no one can be told how much better it is, you need to experience it yourself.. ?
14:00
<
thelema >
it's generally safer and more flexible
14:03
mfp has joined #ocaml
14:13
<
Camarade_Tux >
I'm having problems converting from yacc to ocamlyacc =/
14:13
rwmjones has quit ["Closed connection"]
14:18
Amorphous has quit ["shutdown"]
14:19
<
Yoric[DT] >
vixey: there are plenty of opinions on this.
14:20
<
Yoric[DT] >
My personal experience is that it's often closer to specifications, more flexible (as in "I can easily write a pseudo-DSL which looks like the domain involved") and more reusable (as in [iter]).
14:20
<
Yoric[DT] >
That and the fact that you can extract more properties through static analysis.
14:28
<
mellum >
I think one of the strongest argument is "more debuggable"
14:28
<
mellum >
you can examine a function completely on its own
14:33
Amorphous has joined #ocaml
15:16
mfp has quit [Read error: 104 (Connection reset by peer)]
15:20
jeremiah has quit [Read error: 104 (Connection reset by peer)]
15:32
mfp has joined #ocaml
15:38
jeremiah has joined #ocaml
15:54
bluestorm has joined #ocaml
15:57
threeve has joined #ocaml
16:05
netx has joined #ocaml
16:09
<
mohbana >
what's in ocaml that isn't in haskell. any particular document that highlights the changes?
16:09
jeremiah has quit [Read error: 104 (Connection reset by peer)]
16:09
<
vixey >
mohbana, variant types obect syste
16:10
<
vixey >
disjunctive pattern matching
16:20
pango has quit [Remote closed the connection]
16:25
pango has joined #ocaml
16:27
jeremiah has joined #ocaml
16:45
mohbana has quit [Remote closed the connection]
16:47
threeve has quit []
16:52
ygrek has quit [Remote closed the connection]
16:54
fschwidom has joined #ocaml
16:55
bombshelter13_ has joined #ocaml
16:56
jeddhaberstro has joined #ocaml
17:09
mfp has quit [Read error: 110 (Connection timed out)]
17:11
mfp has joined #ocaml
17:12
struktured has quit [Read error: 60 (Operation timed out)]
17:27
alexyk has joined #ocaml
17:32
fschwidom has quit [Read error: 60 (Operation timed out)]
17:33
struktured has joined #ocaml
17:39
jeremiah has quit [Read error: 104 (Connection reset by peer)]
17:43
threeve has joined #ocaml
17:43
Snark_ has joined #ocaml
17:49
fschwidom has joined #ocaml
17:50
threeve has quit []
17:56
bombshelter13_ has quit [Client Quit]
17:57
jeremiah has joined #ocaml
17:57
bombshelter13_ has joined #ocaml
18:03
Axle has joined #ocaml
18:26
mfp has quit [Read error: 104 (Connection reset by peer)]
18:40
dejj has joined #ocaml
18:42
mfp has joined #ocaml
18:52
Camarade_Tux has quit ["Leaving"]
18:58
struktured has quit [Read error: 60 (Operation timed out)]
19:02
holoed has quit [Read error: 60 (Operation timed out)]
19:04
fschwidom has quit [Remote closed the connection]
19:04
holoed has joined #ocaml
19:15
threeve has joined #ocaml
19:25
itewsh has joined #ocaml
19:36
struktured has joined #ocaml
19:41
itewsh has quit [Remote closed the connection]
19:54
Snark_ has quit ["Ex-Chat"]
20:11
tomh has joined #ocaml
20:11
bombshelter13_ has quit [Read error: 104 (Connection reset by peer)]
20:12
bombshelter13_ has joined #ocaml
20:26
itewsh has joined #ocaml
20:35
dejj has left #ocaml []
20:48
damg has joined #ocaml
20:50
alexyk has joined #ocaml
21:08
alexyk_ has joined #ocaml
21:21
pumpkin_ has joined #ocaml
21:23
_zack has quit ["Leaving."]
21:23
alexyk has quit [Read error: 110 (Connection timed out)]
21:25
alexyk_ has quit [Read error: 110 (Connection timed out)]
21:41
Axle has quit [Remote closed the connection]
21:49
dnolen has joined #ocaml
21:49
dnolen has left #ocaml []
21:59
alexyk has joined #ocaml
22:11
middayc has joined #ocaml
22:30
marmotine has quit ["mv marmotine Laurie"]
22:41
Yoric[DT] has quit ["Ex-Chat"]
22:46
asabil has quit ["Ex-Chat"]
22:47
damg has left #ocaml []
22:48
velco has joined #ocaml
22:55
fschwidom has joined #ocaml
22:58
hkBst has quit [Read error: 54 (Connection reset by peer)]
23:14
bzzbzz has joined #ocaml
23:16
itewsh has quit ["KTHXBYE"]
23:28
fschwidom has quit [Remote closed the connection]
23:30
Asmadeus has quit [Read error: 110 (Connection timed out)]
23:34
Asmadeus has joined #ocaml
23:50
apples` has joined #ocaml
23:52
cyrilRomain has quit ["leaving"]
23:52
velco has quit ["Ex-Chat"]
23:53
Asmadeus has quit [Read error: 110 (Connection timed out)]
23:55
alexyk has joined #ocaml
23:57
jonafan_ has joined #ocaml