00:26
mimosa has quit ["I like core dumps"]
00:32
gim has quit ["dodo"]
00:36
mattam has quit [tolkien.freenode.net irc.freenode.net]
00:37
Smerdyakov has quit [tolkien.freenode.net irc.freenode.net]
00:37
wuuru has quit [tolkien.freenode.net irc.freenode.net]
00:37
lam has quit [tolkien.freenode.net irc.freenode.net]
00:37
mw has quit [tolkien.freenode.net irc.freenode.net]
00:37
Hadaka has quit [tolkien.freenode.net irc.freenode.net]
00:37
det has quit [tolkien.freenode.net irc.freenode.net]
00:37
brwill_work has quit [tolkien.freenode.net irc.freenode.net]
00:37
rt has quit [tolkien.freenode.net irc.freenode.net]
00:37
rt has joined #ocaml
00:37
mattam has joined #ocaml
00:37
Smerdyakov has joined #ocaml
00:37
mw has joined #ocaml
00:37
Hadaka has joined #ocaml
00:37
brwill_work has joined #ocaml
00:37
wuuru has joined #ocaml
00:37
det has joined #ocaml
00:37
lam has joined #ocaml
01:13
mattam has quit [tolkien.freenode.net irc.freenode.net]
01:13
wuuru has quit [tolkien.freenode.net irc.freenode.net]
01:13
lam has quit [tolkien.freenode.net irc.freenode.net]
01:13
Smerdyakov has quit [tolkien.freenode.net irc.freenode.net]
01:13
rt has quit [tolkien.freenode.net irc.freenode.net]
01:13
mw has quit [tolkien.freenode.net irc.freenode.net]
01:13
Hadaka has quit [tolkien.freenode.net irc.freenode.net]
01:13
det has quit [tolkien.freenode.net irc.freenode.net]
01:13
brwill_work has quit [tolkien.freenode.net irc.freenode.net]
01:13
rt has joined #ocaml
01:13
mattam has joined #ocaml
01:13
Smerdyakov has joined #ocaml
01:13
mw has joined #ocaml
01:13
Hadaka has joined #ocaml
01:13
brwill_work has joined #ocaml
01:13
wuuru has joined #ocaml
01:13
det has joined #ocaml
01:13
lam has joined #ocaml
01:21
malc has quit [Read error: 60 (Operation timed out)]
01:37
Kinners has joined #ocaml
01:46
<
XolClaus >
This expression has type term but is here used with type term
01:46
<
XolClaus >
that's helfpul
01:46
<
XolClaus >
helpful*
01:46
<
Kinners >
are you using modules?
01:48
<
XolClaus >
it complains at this:
01:48
<
XolClaus >
and parse_expression tokens =
01:48
<
XolClaus >
let t = parse_term tokens in
01:48
<
XolClaus >
Exp (t, parse_exp2 tokens)
01:48
<
XolClaus >
type exp = Exp of term * exp2
01:48
<
XolClaus >
and exp2 = Exp2 of addop * term * exp2 | ENull
01:48
<
XolClaus >
and term = Term of factor * term2
01:48
<
XolClaus >
and term2 = Term2 of mulop * factor * term2 | TNull
01:48
<
XolClaus >
are the types
01:50
<
XolClaus >
my first let didn't have a rec
02:52
<
lms >
can someone hook me up with the 3.07 ocaml win32 distro? :(
02:54
<
teratorn >
isn't it on the site?
02:54
<
lms >
yeah, but the site is dead, has been for like two days
02:55
<
teratorn >
install a proper OS then!
02:55
<
teratorn >
anything sensible will have packages for ocaml, and lots of mirror servers
02:55
<
teratorn >
so you'll never be left out in the cold like Windows is prone to do ;)
02:56
<
teratorn >
poor lms
02:56
* lms
is a genius ;D
02:56
<
teratorn >
you solved an unnecessary problem, horray! ;)
02:57
<
Riastradh >
Bah! Just get CVS!
02:57
<
lms >
now, to find a mirror of the manual =)
02:58
<
lms >
ahh, looks like it's on that .jp site =)
03:23
<
XolClaus >
tuareg says "syntax error" when I C-c C-b my buffer
03:23
<
XolClaus >
it has the 'ope' part of 'open Printf' (the very first statement) highlighted
03:30
<
XolClaus >
ocamlopt now says 'unbound constructor statement' on this line:
03:30
<
XolClaus >
type program = Program of assignment list * statement list
03:46
brwill_work is now known as brwill
03:53
brwill is now known as brwill_zzz
04:04
<
XolClaus >
Can someone tell me a quick/simple way to read an entire file into one string?
04:27
rt has quit ["ircII EPIC4-1.0.1 -- Are we there yet?"]
04:27
brwill_zzz has quit [Read error: 104 (Connection reset by peer)]
04:34
brwill has joined #ocaml
04:34
brwill is now known as brwill_zzz
04:55
Kinners has left #ocaml []
05:06
Herrchen has quit [Read error: 60 (Operation timed out)]
06:25
<
smkl >
XolClaus: let string_of_file fname = let ic = open_in fname in let len = (Unix.stat fname).Unix.st_size in let buf = String.create len in really_input ic buf 0 len; close_in ic; buf
06:26
<
Maddas >
Nice, gotta keep that around.
07:08
Herrchen has joined #ocaml
08:32
<
wuuru >
smkl: hi :-)
08:38
JX is now known as stir1balle
08:38
stir1balle is now known as stire1balle
09:14
gim has joined #ocaml
09:48
phubuh has joined #ocaml
09:52
<
wuuru >
smkl: we have not seen eachother a plenty of time, do you remember? :-)
09:52
<
wuuru >
smkl: have you done much with FP since then? :-)
09:55
<
smkl >
i don't remember. but i haven't done anything this year
09:57
<
wuuru >
neither have I :-)
10:00
mellum has joined #ocaml
10:44
__buggs has joined #ocaml
10:46
buggs|afk has quit [Read error: 60 (Operation timed out)]
11:03
Kinners has joined #ocaml
12:21
<
wuuru >
who knows about how dangerous is using -rectypes, i.e., why is it not enabled by default?
12:28
<
wuuru >
mellum: just had read it before asking the question :-)
12:29
<
wuuru >
mellum: are there any other precautions? :-)
12:29
<
mellum >
wuuru: I don't know, I never needed it
12:31
<
wuuru >
I need a type 'a t = 'a -> 'a t :-)
12:32
<
wuuru >
and feel it to weird to define it as type 'a t = T of ('a -> 'a t) which is also allowed without -rectypes :-)
12:33
<
wuuru >
mellum: for modelling a finite-state automaton type fsa = char -> fsa
12:34
<
wuuru >
mellum: which is then used in the form let new_fsa_state = fsa_state 'a'
12:34
<
mellum >
Why can't you just have a function which takes a fsa and a char and returns another fsa?
12:35
<
wuuru >
too long :-)
12:35
<
mellum >
Try Perl, then :P
12:36
mimosa has joined #ocaml
12:36
<
mellum >
I guess in the time you wasted by now, you could have typed the longer version about 533 times :)
12:38
<
wuuru >
mellum: consider (((fsa 'a') 'b') 'c') 'd') and (f (f (f (f fsa 'a') 'b') 'c') 'd') -- which one looks more elegant eand easier to understand?
12:39
<
mellum >
I'd write a function fsa_chars ['a'; 'b'; 'c'] for that
12:50
<
Demitar >
wuuru, how do you bootstrap that type anyway? (I might have had too little sleep though.)
12:51
<
wuuru >
Demitar: let rec fsa1 c = match c with 'a' -> fsa1 | 'b' -> raise (FSA_FINAL fsa1);;
12:51
<
wuuru >
Demitar: this works with -rectypes :-)
12:52
<
Demitar >
Ah, rectypes would explain the typing madness. =)
12:52
<
wuuru >
a more complete example is
12:52
<
wuuru >
type fsa_state = char -> fsa and
12:52
<
wuuru >
fsa = FSA of fsa_state;;
12:52
<
wuuru >
exception FSA_FINAL of fsa_state;;
12:52
<
wuuru >
let rec fsa1 c = match c with 'a' -> FSA fsa1 | 'b' -> raise (FSA_FINAL fsa1);;
12:53
<
wuuru >
not this one
12:53
<
wuuru >
this one is for working without -rectypes
12:54
<
mellum >
You are really willing to give up simplicity and performance for a minor syntactic advantage?
12:54
<
wuuru >
mellum: quite on the conrary, I fight for simplicity :-)
12:55
<
Demitar >
And if the syntactic advantage is all you want go use camlp4. ;-)
12:55
<
wuuru >
no, I want semantic simplicity too
12:55
<
wuuru >
what can be more simple than type fsa = char ->fsa ?
12:56
<
Demitar >
type fsa = char
12:56
<
wuuru >
Demitar: but this won't permit to implement a fsa :-)
12:57
<
Demitar >
I thought simplicity was the primary aspect. ;-)
12:59
<
Demitar >
You can always use an object since it carries it's state with it.
13:00
<
wuuru >
but I want a pure functional solution :-)
13:00
<
Demitar >
So use functional objects.
13:00
<
wuuru >
objects are not as simple as plain functions :-)
13:01
<
Demitar >
Then use -rectypes.
13:01
<
wuuru >
yes, this is what am thinking about :-)
13:01
<
Demitar >
Or wait! That's not simple enough! ;-)
13:02
<
wuuru >
what is more simple? :-)
13:18
rox has quit ["Client exiting"]
13:18
karryall has joined #ocaml
13:20
rox has joined #ocaml
13:24
gene9 has joined #ocaml
13:44
Kinners has left #ocaml []
13:55
carm has quit [Read error: 54 (Connection reset by peer)]
13:55
wazze has quit ["If we don't believe in freedom of expression for people we despise, we don't believe in it at all -- Noam Chomsky"]
14:16
__buggs has quit [Connection timed out]
14:27
phubuh has quit [Remote closed the connection]
15:01
clog has joined #ocaml
15:18
_JusSx_ has joined #ocaml
15:18
<
_JusSx_ >
wuuru : heya
15:37
clog has joined #ocaml
16:15
gim|570 has joined #ocaml
16:17
dogee_home has joined #ocaml
17:25
buggs has joined #ocaml
17:29
karryall has quit ["go"]
17:37
systems has joined #ocaml
17:58
systems has left #ocaml []
18:01
dogee_home has quit ["..."]
18:08
mattam_ has joined #ocaml
18:21
mattam has quit [Read error: 110 (Connection timed out)]
18:36
det has quit [Connection timed out]
18:59
stire1balle has quit [Read error: 110 (Connection timed out)]
18:59
stire1balle has joined #ocaml
20:38
karryall has joined #ocaml
20:48
gim has quit ["++"]
20:53
mattam_ is now known as mattam
21:24
Hipo has quit ["leaving"]
21:46
_JusSx_ has quit ["[BX] Reserve your copy of BitchX-1.0c19 for the Nintendo Gameboy today!"]
22:05
XolClaus has quit [Read error: 104 (Connection reset by peer)]
22:24
malc has joined #ocaml
22:48
gim has joined #ocaml
23:50
malc has quit [Read error: 60 (Operation timed out)]