<zak_>
depending on how the compiler optimizes, that might be a fairly uncommon case anyway [where the compiler knows there are no subclasses]
balrog-kun has left #ocaml []
<zak_>
something i found odd, the other day, i was comparing the speed of larceny scheme vs. c vs. asm vs. d for a simple looping benchmark, and i tried a recursive ocaml version, and it ran out of stack. it was some fairly straightforward recursion - does ocaml do no tail call optimization at all?
CosmicRay has joined #ocaml
descender has quit [Read error: 110 (Connection timed out)]
johnnowak has quit []
CosmicRay has quit [Remote closed the connection]
pants1 has joined #ocaml
johnnowak has joined #ocaml
sponge45 has quit ["zzzzzzzzzz"]
zak_ has quit [Read error: 104 (Connection reset by peer)]
<tsuyoshi>
it does tail call optimization
<tsuyoshi>
I've seen people complain that it doesn't work, but I haven't had any problems myself
pstickne has quit ["Leaving"]
pants1 has quit [Read error: 110 (Connection timed out)]
Shimei has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
_velco has joined #ocaml
slipstream has joined #ocaml
jajs has joined #ocaml
slipstream-- has quit [Read error: 113 (No route to host)]
smimp has joined #ocaml
jlouis has quit [Remote closed the connection]
smergo has quit ["Reinstall... reinstall... tralalalalaaaaa"]
velco has joined #ocaml
csci has joined #ocaml
csci has quit ["Ex-Chat"]
love-pingoo has joined #ocaml
triple_ has joined #ocaml
ikaros has quit ["Leaving"]
dark_light has quit [Remote closed the connection]
triple_ has quit ["leaving"]
descender has joined #ocaml
zak_ has joined #ocaml
asmanian has joined #ocaml
piggybox has quit [Connection timed out]
piggybox has joined #ocaml
bzzbzz has quit ["leaving"]
johnnowak has quit []
b00t has quit [Remote closed the connection]
descender has quit [Remote closed the connection]
descender has joined #ocaml
manu3000 has joined #ocaml
zak_ is now known as llama32
olegfink has joined #ocaml
<olegfink>
hi!
<olegfink>
anyone (be a chance) using Arch here?
<velco>
like tla ?
<olegfink>
was it for me?
<velco>
yes.
<olegfink>
then wat is tla? :D
<velco>
it can be GNU Arch or it can be Arch Linux.
<velco>
and maybe othres.
slipstream has quit [No route to host]
<olegfink>
I mean Arch Linux
* velco
crawls back into the hole ...
<olegfink>
seems that its ocaml package is somewhat ugly
<olegfink>
1) it does not have readline support (ocaml has it, right?)
<flux->
it doesn't - use rlwrap or ledit ;)
<olegfink>
2) all the libraries are messed up (or cameleon configurator is messed up, either)
<olegfink>
flux-: hmm... but I believe I've seen cygwin ocaml with possibility to go left/right in the string and use command history
<flux->
can't say anything to that, except ocaml definitely doesn't use readline.
ikaros has joined #ocaml
slipstream has joined #ocaml
_velco has quit [Read error: 60 (Operation timed out)]
llama32 has quit [Read error: 110 (Connection timed out)]
love-pingoo has quit ["Leaving"]
Aradorn has joined #ocaml
manu3000 has quit []
slipstream-- has joined #ocaml
Z4rd0Z has joined #ocaml
pango has quit [Remote closed the connection]
Shi_ has joined #ocaml
pango has joined #ocaml
slipstream has quit [Read error: 110 (Connection timed out)]
<Z4rd0Z>
how is a string option different from a string?
<ppsmimou>
a string option is either Some string or None
<ppsmimou>
it's like a string plus a default value meaning "no string"
<ppsmimou>
(~ NULL string in C)
<Z4rd0Z>
thanks
Shimei has quit [Read error: 110 (Connection timed out)]
smimp has quit [Read error: 110 (Connection timed out)]
velco has quit ["Ex-Chat"]
smimou has joined #ocaml
asmanian__ has joined #ocaml
mnemonic has joined #ocaml
olegfink has quit ["Konversation terminated!"]
smimram has joined #ocaml
asmanian has quit [Read error: 113 (No route to host)]
smimou has quit [Read error: 110 (Connection timed out)]
<beterraba>
haha, it tooks some hours, at finnaly!! :DDD
<tsuyoshi>
that's quite a bit different than the way I would have written it
<beterraba>
show yours!
<beterraba>
its written in sml
<tsuyoshi>
oh sml?
<beterraba>
not ocaml.. maybe could be it.
pango has quit [Remote closed the connection]
<beterraba>
yeh!
<tsuyoshi>
well, let me give it a shot in ocaml
<stevan>
beterraba: first impression, I would convert the nested if statements in trans to a match/with statement
<stevan>
beterraba: and I would think that length and inverse can be replaced by List.length and List.rev
<beterraba>
there is not "mathc" in sml
<beterraba>
yes, there is a match pattern, but the sintaxe is bit different
<beterraba>
i used it in most ohters funs.
pango has joined #ocaml
<beterraba>
my intenction was not to use any extern lib
<beterraba>
i preffered use my own functions..
<beterraba>
:D
<stevan>
beterraba: I think (though I am not 100% sure) the SML Basis Library is not enternal
<stevan>
beterraba: at least in Ocaml, the List module is
<beterraba>
ok, then. i will find about.
<beterraba>
thanks..
<tsuyoshi>
uhh.. I don't even remember how roman numerals work
* tsuyoshi
heads to wikipedia
asmanian__ has quit ["Verlassend"]
<pango>
tsuyoshi: you concatenate letters with different values... each time a letter with lesser value is at the right, you add it; if it's at the left, you substract it
<pango>
tsuyoshi: (X = 10, I = 1; XI = 11, IX = 9...)
<tsuyoshi>
yeah I see
<tsuyoshi>
this is hard
<tsuyoshi>
I'm not sure if I'm motivated enough to figure out how to code it
<pango>
I think I coded in on a PC1211 pocket computer, around 25 years ago ;)
<pango>
so it must not be that complex in the end :)
<tsuyoshi>
well.. I'm trying to think of how to figure out something like 999 -> IC
<beterraba>
an paragraph about funcional linguages in the book i'm reading, i think it's very intersting, it conflicts with the think way used in imperative programation:
<beterraba>
Correctenss must come first. Carity must usually come second, and efficiency third. Any sacrifice of clarity makes the program harder to maintain, and must be justified by a significant efficieny gain. A judicious mixture of realism and principle, with plenty of patience, makes for efficient programs.
<tsuyoshi>
if you just turn 999 into CMXCIX then it's easier...
<pango>
oh, it may be slightly harder in that direction
<tsuyoshi>
beterraba: I don't think that's any different in imperative programming
<beterraba>
do u?
<tsuyoshi>
Rules regarding Roman numerals often state that a symbol representing 10x may not precede any symbol larger than 10x+1. For example, C cannot be preceded by I or V, only by X (or, of course, by a symbol representing a value equal to or larger than C). Thus, one should represent the number "ninety-nine" as XCIX, not as the "shortcut" IC.
<tsuyoshi>
ok.. that makes it rather trivial
bluestorm has joined #ocaml
_velco has joined #ocaml
_velco is now known as velco
ikaros_ has joined #ocaml
jajs has quit [Remote closed the connection]
gunark has joined #ocaml
love-pingoo has joined #ocaml
love-pingoo has quit ["Connection reset by pear"]
love-pingoo has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
Aradorn has quit ["This computer has gone to sleep"]
velco has quit [Read error: 60 (Operation timed out)]
bluestorm has quit ["Konversation terminated!"]
velco has joined #ocaml
Z4rd0Z has quit []
ikaros_ has quit ["Leaving"]
bobobo has joined #ocaml
<bobobo>
hi
<bobobo>
i'm having a problem while trying to interface ocaml and C, compiling to bytecode works fine, however to native code, the linker fails
<bobobo>
with "multiple definitions" errors for various caml functions , in the C object file
<love-pingoo>
more details ?
<bobobo>
yes, basically i'm test how interfacing C and ocaml works
<bobobo>
so i'm calling a dummy void(void) C function which does nothing, from ocaml