00:00
<
GnuVince >
What's up?
00:00
<
Taaus >
Not a lot... Playing some online challenges :)
00:01
<
GnuVince >
I'm fighting with O'Caml at the moment
00:01
<
GnuVince >
and he seems to have the advantage
00:01
<
Taaus >
Also messing with programming in 'Thue' (I'm an esolang freak ;)
00:01
<
Taaus >
What's the problem now? :)
00:01
<
GnuVince >
Big int's
00:02
<
Taaus >
Oh, still those...
00:02
<
GnuVince >
And they are pissing me off big time right now
00:03
<
GnuVince >
Do you accept private chats?
00:06
<
cmk2 >
uh why do you need to take it private?
00:07
<
Taaus >
Because it's very hush hush ;)
00:07
<
Taaus >
Because flooding channels with code is considered a crime in some countries :P
00:08
<
cmk2 >
flooding THIS channel is a bliss in any country
01:15
cmk2 has quit [Read error: 104 (Connection reset by peer)]
01:51
comatoast has joined #ocaml
01:54
nob has joined #ocaml
01:54
<
nob >
what does the option keyword mean in record fields ?
02:05
comatoast has quit ["Whoosh!"]
02:06
comatoast has joined #ocaml
02:07
<
GnuVince >
When I have the following error:
02:07
<
GnuVince >
File "factor.ml", line 40, characters 0-0:
02:07
<
GnuVince >
Syntax error
02:07
<
GnuVince >
where 40 is my last line number+1
02:07
<
GnuVince >
what exactly is the problem?
02:07
comatoast has quit [Client Quit]
02:07
comatoast has joined #ocaml
02:14
comatoast has quit ["Whoosh!"]
02:14
comatoast has joined #ocaml
02:15
<
JGibson__ >
GnuVince: maybe it's one of those things where the compiler reports the error at the end, like if you don't close a bracket or something like that
02:20
<
GnuVince >
I've closed pretty much everything
02:20
<
GnuVince >
actually, I have closed everything
02:21
<
JGibson__ >
dunno, i guess i'd have to see it
02:23
<
nob >
option keyword in rec field
02:24
<
GnuVince >
I do not know
04:30
jemfinch` changed the topic of #ocaml to: nob: it's not an option keyword. It's a datatype. 'a option. It can be either "None" or "Some data" -- it represents either data that's not there (None) or data that's there (Some data)
04:30
<
GnuVince >
hey jeremy
04:30
<
GnuVince >
what's up?
04:30
<
jemfinch` >
not much.
04:30
<
jemfinch` >
greek sucks.
04:31
<
GnuVince >
No super bowl?
04:31
<
jemfinch` >
it's already over :)
04:31
<
GnuVince >
Did you watch it I mean?
04:31
<
jemfinch` >
yeah, I did.
04:31
<
GnuVince >
Who won?
04:32
<
jemfinch` >
the patriots.
04:32
<
GnuVince >
They beat the odds then
04:32
<
jemfinch` >
yeah, they did.
04:33
* GnuVince
gives up
04:41
<
GnuVince >
Jeremy, I'll post a question for you on LNO
04:41
<
jemfinch` >
what's the question?
04:42
<
GnuVince >
About a O'Caml program
04:42
<
GnuVince >
but I must go to bed
04:42
<
GnuVince >
so I'll post what's the problem, and my code
04:45
GnuVince is now known as GnuVince|Sleep
04:46
<
jemfinch` >
GnuVince|Sleep: that program, I think, requires some magic from Ruby.
04:46
<
jemfinch` >
because I couldn't translate it correctly either.
04:47
<
GnuVince|Sleep >
The Python version works fine
04:47
<
jemfinch` >
oh well.
04:48
<
GnuVince|Sleep >
I am thinking that somehow, a 0 gets into my multiplication (mult_big_int)
04:48
<
GnuVince|Sleep >
But I can't see how
04:48
* jemfinch`
suggests printfs :)
04:49
<
GnuVince|Sleep >
Yeah.
04:49
<
GnuVince|Sleep >
But just seeing it, you can't see anything wrong?
04:50
<
jemfinch` >
I haven't looked.
04:50
<
GnuVince|Sleep >
ok
04:50
<
jemfinch` >
I have too many much more important things to do, sorry.
04:50
<
GnuVince|Sleep >
No problem
04:50
<
GnuVince|Sleep >
But if you get a little 10 minutes this week, I would really appreciate
04:51
<
jemfinch` >
I might later in the week.
04:51
<
GnuVince|Sleep >
OK, thanks
04:52
<
GnuVince|Sleep >
I mean, I've spent an hour on this and I haven't figued it out.
05:03
<
comatoast >
sleep; your effective IQ will be higher in the morning...
05:07
<
smkl >
a, b, a1, b1 = a1, b1, p*a+q*a1, p*b+q*b1 -- this is the cause of the error, a simultaneous update
05:25
graydon has quit []
05:28
comatoast has quit ["Whoosh!"]
11:00
Cryptor has joined #ocaml
12:11
Cryptor has quit ["Leaving"]
12:39
comatoast has joined #ocaml
12:48
__DL__ has joined #ocaml
13:15
comatoast has quit ["Whoosh!"]
13:43
* __DL__
is away: I'm busy
14:15
malc has joined #ocaml
15:31
graydon has joined #ocaml
15:48
malc has quit ["no reason"]
17:43
JGibson__ has quit ["WHAT, CLOWN?!"]
18:28
DL_home has joined #ocaml
18:28
__DL__ has quit [Read error: 104 (Connection reset by peer)]
20:19
bruce has joined #ocaml
20:27
bruce has quit ["Client Exiting"]
20:42
two-face has joined #ocaml
21:38
two-face has quit ["Client Exiting"]
22:15
graydon has quit [Remote closed the connection]
22:16
GnuVince|Sleep is now known as GnuVince
22:20
malc has joined #ocaml
22:20
graydon has joined #ocaml
22:50
<
GnuVince >
smkl: thanks by the way, my program works now.
23:06
jemfinch` has quit [Remote closed the connection]
23:07
jemfinch has joined #ocaml
23:07
<
GnuVince >
wb jeremy
23:08
jemfinch has quit [Client Quit]
23:11
jemfinch has joined #ocaml
23:17
jemfinch has quit [Remote closed the connection]
23:17
jemfinch has joined #ocaml
23:19
jemfinch has quit [Remote closed the connection]
23:22
jemfinch has joined #ocaml
23:25
jemfinch has quit [Remote closed the connection]
23:30
jemfinch has joined #ocaml
23:30
<
Taaus >
Problems, Jeremy? :)
23:31
<
jemfinch >
I hate tweaking X to make it the way I like it.
23:31
<
jemfinch >
especially since the only gtk theme I like seems to crash the X server.
23:31
<
GnuVince >
jemfinch: MacOSX then?
23:32
<
jemfinch >
GnuVince: hah.
23:32
<
Taaus >
Use a proper OS ;)
23:32
<
Taaus >
GnuVince: Any fascinating problems for us to explore today? :P
23:34
DL_home has quit [Remote closed the connection]
23:34
<
jemfinch >
oh yeah, and my mousewheel doesn't want to work.
23:34
<
GnuVince >
Taaus: yes
23:34
<
GnuVince >
Taaus: why is it so damn cold all of a sudden in Quebec?!
23:35
<
GnuVince >
two weeks ago it was 5-6°C
23:35
<
GnuVince >
now it's -15°C
23:36
<
GnuVince >
but if you're talking about OCaml
23:36
<
GnuVince >
I guess so :)
23:38
<
malc >
GnuVince: its freaking +5C here, and everyone complains that this is not a proper winter weather
23:39
<
GnuVince >
malc: where do you live?
23:39
<
malc >
GnuVince: Moscow
23:40
<
malc >
only one good day early january. -28C
23:40
<
GnuVince >
I hate winter...
23:40
<
GnuVince >
when I was a little kid I loved it
23:40
<
GnuVince >
but now, I hate snow, cold and all that
23:41
<
malc >
Good thing about cold winter is that when warm spring comes you feel better, cheery etc
23:42
<
GnuVince >
That may be why I just
*love* spring
23:42
<
GnuVince >
I'm always in a happy mood in those time
23:42
<
malc >
But if winter is not warm, the effect is just NOT the same
23:42
<
malc >
therefore winters must be cold dark and ugly
23:42
<
GnuVince >
I don't know
23:43
<
GnuVince >
I hate driving in bad weather
23:43
<
GnuVince >
especially winter
23:43
<
GnuVince >
slippery roads scare me
23:43
<
malc >
I dont have a car, heck i dont even know how to drive, so this is pretty much irrelevant to me
23:43
<
jemfinch >
malc: so you're russian?
23:43
<
malc >
jemfinch: yes
23:44
<
jemfinch >
that's cool.
23:44
<
jemfinch >
I've not known very many real-life russians :)
23:44
<
malc >
im artifical russian. this is IRC after all
23:44
<
jemfinch >
I know a little bit of russian.
23:44
<
jemfinch >
like how to count to ten, say thank you, etc.
23:45
<
jemfinch >
I wish comp.lang.ml actually got some traffic.
23:45
<
jemfinch >
and I wish they had sml-nj packages for debian.
23:45
<
Taaus >
I can say 'Cheers' in Russian... :)
23:45
<
malc >
i know how to count to ten in english
23:45
<
Taaus >
And 'See ya' ;)
23:45
<
jemfinch >
malc: do you know any other languages?
23:45
<
malc >
Taaus: amazing
23:46
<
malc >
jemfinch: natural?
23:46
<
jemfinch >
yeah...like, maybe, Latin?
23:46
<
Taaus >
I have a friend from Russia.
23:46
<
jemfinch >
then we could talk in languages neither of us is a native speaker of :)
23:46
<
malc >
jemfinch: some german, very little norwegian
23:46
* jemfinch
could communicate in Latin if absolutely necessary :)
23:47
<
malc >
my latin doesnt extend past 'homo homini lupus est'
23:47
<
malc >
and 'quod erat demonstrandum'
23:47
<
Taaus >
'Vir prudens non contra ventum mingit', though I doubt that's correct Latin ;)
23:47
<
jemfinch >
and, I'm sure, "id est", and perhaps "exempli gratia" though you know those I'm sure only by abbreviation.
23:48
<
Taaus >
And 'nota bene'
23:48
<
jemfinch >
ah, that's one too.
23:48
<
Taaus >
And 'post scriptum'
23:48
<
malc >
well by far the most important is 'in vina veritas'
23:48
<
jemfinch >
semper fi, too.
23:48
<
Taaus >
And AM and PM :)
23:48
<
jemfinch >
semper ubi sub ubi is a funny little pun they teach all latin students.
23:49
<
malc >
jemfinch: where and why do they teach latin anyway?
23:49
<
jemfinch >
malc: where? everywhere in America.
23:49
<
jemfinch >
why? because there's so much good stuff written in it.
23:50
<
jemfinch >
and it's the basis for more than 50% of all english words, and because it makes learning other romance languages cake-easy.
23:50
<
malc >
i very much doubt it will help you much with deutsch
23:50
<
jemfinch >
not a whole lot, though they do take some words from Latin.
23:51
<
malc >
german is germanic not romance
23:51
<
jemfinch >
french, spanish, romanian, italian, portugese -- those are romance.
23:51
* jemfinch
heads off for dinner.
23:51
<
Taaus >
Is there any way to make a function infix in O'Caml? (As with the 'infix' operator in SML)
23:52
<
jemfinch >
Taaus: not a function. It has to be an operator (which means, among other things, no alphanumerics)
23:52
* jemfinch
is gone.
23:52
<
malc >
Taaus: they wanted to implement haskell like syntax for infix functions in 3.04
23:52
<
malc >
but something hold them back
23:52
<
Taaus >
Okay, well, an operator would work as well :)
23:52
<
malc >
let (+) x y = x - y
23:52
<
Taaus >
Ah, coolness...
23:53
<
Taaus >
How do you specify precedence, then?
23:53
<
malc >
and defined my precedence of operators first char
23:54
<
malc >
i.e. (+!+--) will have +'s precedence
23:54
<
Taaus >
Yeah, I can see that...