Gues_____ has quit [Quit: Computer has gone to sleep.]
Gues_____ has joined #ocaml
yellowfish has quit [Ping timeout: 265 seconds]
r0b2 has joined #ocaml
contempt has joined #ocaml
mye has joined #ocaml
r0b2 has quit [Ping timeout: 240 seconds]
ygrek_ has joined #ocaml
tlockney is now known as tlockney_away
Eyyub has joined #ocaml
angerman has joined #ocaml
Brocoli_ is now known as Armael
contempt has quit [Ping timeout: 264 seconds]
S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
arj has joined #ocaml
contempt has joined #ocaml
zpe has joined #ocaml
nikki93 has quit [Remote host closed the connection]
siddharthv is now known as siddharthv_away
rand000 has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
contempt has quit [Disconnected by services]
contempt has joined #ocaml
mye_ has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
j0sh has joined #ocaml
Eyyub has quit [Ping timeout: 240 seconds]
pedagand_ has joined #ocaml
rks_ has joined #ocaml
hto has joined #ocaml
via_ has joined #ocaml
gargawel_ has joined #ocaml
pippijn_ has joined #ocaml
mye has quit [*.net *.split]
jpdeplaix has quit [*.net *.split]
dkg has quit [*.net *.split]
rixed has quit [*.net *.split]
j0sh_ has quit [*.net *.split]
pippijn has quit [*.net *.split]
gargawel has quit [*.net *.split]
rwmjones has quit [*.net *.split]
hto_ has quit [*.net *.split]
via has quit [*.net *.split]
rks has quit [*.net *.split]
pedagand has quit [*.net *.split]
gasche has quit [*.net *.split]
mye_ is now known as mye
dkg has joined #ocaml
rixed has joined #ocaml
gasche has joined #ocaml
jpdeplaix has joined #ocaml
cago has joined #ocaml
rwmjones has joined #ocaml
bobry has joined #ocaml
tautologico has quit [Quit: Connection closed for inactivity]
Simn has joined #ocaml
siddharthv_away is now known as siddharthv
yacks has quit [Quit: Leaving]
gargawel_ is now known as gargawel
ontologiae has joined #ocaml
ikaros has joined #ocaml
mika1 has joined #ocaml
mort___ has joined #ocaml
AltGr has joined #ocaml
Gues_____ has quit [Quit: Computer has gone to sleep.]
maufred has joined #ocaml
Guest____ has joined #ocaml
Thooms has joined #ocaml
<adrien_oww>
morning
zpe has joined #ocaml
<adrien_oww>
calling OCaml from C is slower than calling C from OCaml; but is that only/mostly because of the typical symbol lookup?
<adrien_oww>
iow, if I do repeated calls and keep the result of the symbol lookup, do I get "fast" too?
ontologiae has quit [Ping timeout: 264 seconds]
zpe has quit [Ping timeout: 265 seconds]
yacks has joined #ocaml
<flux>
benchmark, profile, measure?-)
cago has quit [Quit: Leaving.]
cago1 has joined #ocaml
<adrien>
well, more probably: look at the assembly :D
<adrien_oww>
actually...
<adrien>
I simply read the source; caml_callback() is fairly short (written in assembly) and the main cost might be that it does relocations when building in PIC mode
<adrien>
and that's for x86_64; i386 seems to not even have that
ontologiae has joined #ocaml
angerman has quit [Read error: Connection reset by peer]
angerman has joined #ocaml
kaustuv has joined #ocaml
maxibolt is now known as thizanne
kakadu has joined #ocaml
Valdo has joined #ocaml
angerman has quit [Quit: Gone]
cago1 has quit [Quit: Leaving.]
cago has joined #ocaml
cago has quit [Remote host closed the connection]
cago has joined #ocaml
bobry has quit [Quit: Connection closed for inactivity]
angerman has joined #ocaml
gal_bolle has joined #ocaml
csakatoku has joined #ocaml
avsm has joined #ocaml
darkf_ has joined #ocaml
angerman has quit [Read error: Connection reset by peer]
darkf has quit [Ping timeout: 265 seconds]
jzelinskie has quit [Ping timeout: 378 seconds]
jzelinskie has joined #ocaml
uggwar_ has joined #ocaml
angerman has joined #ocaml
ousado has quit [Remote host closed the connection]
gal_bolle has quit [Write error: Broken pipe]
ousado_ has joined #ocaml
florent__ has joined #ocaml
pippijn has joined #ocaml
pippijn has quit [Changing host]
pippijn has joined #ocaml
rixed has quit [Write error: Broken pipe]
uggwar has quit [Write error: Broken pipe]
pedagand_ has quit [Remote host closed the connection]
Guest____ is now known as Guest
IbnFirnas has quit [Ping timeout: 469 seconds]
ousado_ is now known as ousado
pippijn_ has quit [Remote host closed the connection]
florent__ is now known as Guest31278
csakatoku has quit [Ping timeout: 246 seconds]
IbnFirnas has joined #ocaml
rixed has joined #ocaml
ousado has quit [Changing host]
ousado has joined #ocaml
pedagand has joined #ocaml
_andre has joined #ocaml
darkf_ is now known as darkf
Guest has quit [Quit: Computer has gone to sleep.]
RMacy has joined #ocaml
TMP|Sleeping is now known as The-Mad-Pirate
Guest___ has joined #ocaml
RMacy has quit []
arjunguha has joined #ocaml
Guest___ is now known as Guest
arjunguha has quit [Client Quit]
* rwmjones
wonders if there is a wildcard lib for ocaml
<rwmjones>
before I go and bind fnmatch
<def-lkb>
hmmm… you want a general purpose "globbing" mechanism? (I don't have solution, but if you find one I might be interested too)
Guest has quit [Quit: Computer has gone to sleep.]
mort___ has quit [Ping timeout: 265 seconds]
<rwmjones>
def-lkb: I've just written a binding for fnmatch, and for globbing, I'll use an external call to 'ls -1'
<rwmjones>
simplest solutions are often the best
Guest___ has joined #ocaml
<def-lkb>
fine :)
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
talzeus has quit [Remote host closed the connection]
siddharthv is now known as siddharthv_away
rand000 has quit [Quit: leaving]
ygrek_ has quit [Ping timeout: 240 seconds]
jonludlam has joined #ocaml
<hcarty>
rwmjones: ocaml-re has a glob-based regex module
<adrien_oww>
you can't parse ls' output even half-reliably
<adrien_oww>
find's output, yes
<whitequark>
ls -0
talzeus has joined #ocaml
<whitequark>
oh, no such thing
<ggole>
Zero termination flags are totally inconsistent :/
<ggole>
Missing, spelled differently...
* ggole
wonders what shell programming with real data structures would be like
<adrien_oww>
whitequark: that's not what I had in mind
<adrien_oww>
ls' output depends on the locale and on the version and implementation of ls
<whitequark>
well, find -print0 is equivalent and you want to use that for parsing
<whitequark>
there's ls -1 but it won't work with \ns in filenames
csakatoku has joined #ocaml
clog has quit [^C]
clog has joined #ocaml
dsheets has quit [Ping timeout: 245 seconds]
The-Mad-Pirate is now known as TMP|at_Uni
yacks has quit [Ping timeout: 264 seconds]
csakatoku has quit [Remote host closed the connection]
avsm has joined #ocaml
nlucaroni has joined #ocaml
saml has joined #ocaml
csakatoku has joined #ocaml
csakatoku has quit [Remote host closed the connection]
struktured has quit [Quit: Konversation terminated!]
chris2_ is now known as chris2
ygrek_ has joined #ocaml
arj has quit [Quit: Leaving.]
arj has joined #ocaml
yacks has joined #ocaml
dsheets has joined #ocaml
kaustuv has left #ocaml []
cago has left #ocaml []
philtor has joined #ocaml
mika1 has quit [Quit: Leaving.]
philtor has quit [Ping timeout: 252 seconds]
mcclurmc has joined #ocaml
Guest31278 has quit [Quit: Konversation terminated!]
rand000 has joined #ocaml
nicoo has joined #ocaml
nikki93 has joined #ocaml
angerman has quit [Read error: Connection reset by peer]
metasyntax has joined #ocaml
<hcarty>
What is the syntax to specify a range of version restrictions under opam?
angerman has joined #ocaml
<hcarty>
oasis 0.4.2 breaks oasis2opam <= 0.3.6. oasis2opam already depends on oasis >= 0.3.0; I'd like to add a '<= 0.4.1' constraint to the opam definition as well.
<nlucaroni>
for example, depends: ["core" {>= "109.15.00" & <= "109.18.00"}]
<nlucaroni>
(that line is from async_core.109.15.00)
<hcarty>
nlucaroni: Thank you!
nikki93 has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
dsheets has quit [Ping timeout: 240 seconds]
avsm has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
saarin has quit [Ping timeout: 269 seconds]
saarin has joined #ocaml
yellowfish has joined #ocaml
avsm has quit [Quit: Leaving.]
tov has quit [Ping timeout: 252 seconds]
tov has joined #ocaml
Derander has quit [Ping timeout: 252 seconds]
maurer has quit [Ping timeout: 252 seconds]
Derander has joined #ocaml
maurer has joined #ocaml
Thooms has quit [Read error: Operation timed out]
Thooms has joined #ocaml
yacks has quit [Ping timeout: 240 seconds]
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mcclurmc has quit [Remote host closed the connection]
<adrien>
flux: lablgtk mail went through :)
<flux>
adrien, great :). I can keep looking at the archives if I remember, I didn't remember to mention keeping me as Cc..
aggelos has joined #ocaml
angerman has quit [Read error: Connection reset by peer]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
tov has quit [*.net *.split]
yellowfish has quit [*.net *.split]
ygrek_ has quit [*.net *.split]
thorsten` has quit [*.net *.split]
pango_ has quit [*.net *.split]
cross_ has quit [*.net *.split]
aggelos_ has quit [*.net *.split]
Valdo has quit [*.net *.split]
IbnFirnas has quit [*.net *.split]
jpdeplaix has quit [*.net *.split]
tlockney_away has quit [*.net *.split]
mfp has quit [*.net *.split]
s4muel has quit [*.net *.split]
n0v has quit [*.net *.split]
Armael has quit [*.net *.split]
metasyntax has quit [*.net *.split]
arj has quit [*.net *.split]
ddosia has quit [*.net *.split]
yastero has quit [*.net *.split]
chris2 has quit [*.net *.split]
mgodshall has quit [*.net *.split]
contempt has quit [*.net *.split]
maufred_ has quit [*.net *.split]
jdoles has quit [*.net *.split]
talzeus has quit [*.net *.split]
_andre has quit [*.net *.split]
rixed has quit [*.net *.split]
pippijn has quit [*.net *.split]
ousado has quit [*.net *.split]
ontologiae has quit [*.net *.split]
AltGr has quit [*.net *.split]
ikaros has quit [*.net *.split]
gargawel has quit [*.net *.split]
rks_ has quit [*.net *.split]
nlucaroni has quit [*.net *.split]
so has quit [*.net *.split]
saml has quit [*.net *.split]
ski has quit [*.net *.split]
pedagand has quit [*.net *.split]
gasche has quit [*.net *.split]
dkg has quit [*.net *.split]
mye has quit [*.net *.split]
ggole has quit [*.net *.split]
leifw has quit [*.net *.split]
lopex has quit [*.net *.split]
stomp has quit [*.net *.split]
Fullma has quit [*.net *.split]
_habnabit has quit [*.net *.split]
gereedy has quit [*.net *.split]
bitbckt has quit [*.net *.split]
pango_ has joined #ocaml
Valdo has joined #ocaml
ggherdov has quit [Ping timeout: 245 seconds]
kakadu has quit [Ping timeout: 245 seconds]
tlockney_away has joined #ocaml
nlucaroni has joined #ocaml
tlockney_away is now known as tlockney
angerman has joined #ocaml
rand000_ has joined #ocaml
cross has joined #ocaml
metasyntax has joined #ocaml
arj has joined #ocaml
ddosia has joined #ocaml
yastero has joined #ocaml
chris2 has joined #ocaml
mgodshall has joined #ocaml
contempt has joined #ocaml
maufred_ has joined #ocaml
jdoles has joined #ocaml
talzeus has joined #ocaml
_andre has joined #ocaml
rixed has joined #ocaml
pippijn has joined #ocaml
ousado has joined #ocaml
ontologiae has joined #ocaml
AltGr has joined #ocaml
ikaros has joined #ocaml
gargawel has joined #ocaml
rks_ has joined #ocaml
saml has joined #ocaml
ski has joined #ocaml
pedagand has joined #ocaml
gasche has joined #ocaml
dkg has joined #ocaml
mye has joined #ocaml
ggole has joined #ocaml
leifw has joined #ocaml
lopex has joined #ocaml
stomp has joined #ocaml
Fullma has joined #ocaml
_habnabit has joined #ocaml
gereedy has joined #ocaml
bitbckt has joined #ocaml
so has joined #ocaml
ousado has quit [Quit: --]
jwatzman|work has joined #ocaml
ousado has joined #ocaml
contempt has quit [Max SendQ exceeded]
jdoles has quit [Max SendQ exceeded]
s4muel has joined #ocaml
jdoles has joined #ocaml
rand000 has quit [Write error: Broken pipe]
contempt has joined #ocaml
dsheets has joined #ocaml
alex_nx_ is now known as alex_nx
ggherdov has joined #ocaml
amiller_ is now known as amiller
amiller has quit [Changing host]
amiller has joined #ocaml
contempt has quit [Ping timeout: 240 seconds]
contempt has joined #ocaml
mcclurmc has joined #ocaml
ollehar has joined #ocaml
nikki93 has joined #ocaml
arj has quit [Quit: Leaving.]
nikki93 has quit [Read error: Connection reset by peer]
jonludlam has quit [Remote host closed the connection]
nikki93 has joined #ocaml
Kakadu has joined #ocaml
tov has joined #ocaml
n0v has joined #ocaml
ygrek_ has joined #ocaml
thorsten` has joined #ocaml
IbnFirnas has joined #ocaml
jpdeplaix has joined #ocaml
mfp has joined #ocaml
Armael has joined #ocaml
oriba has joined #ocaml
kakadu_ has joined #ocaml
angerman has quit [Read error: Connection reset by peer]
tov_ has joined #ocaml
pango_ is now known as pango
tov has quit [Write error: Broken pipe]
Kakadu has quit [Remote host closed the connection]
angerman has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
Thooms` has joined #ocaml
Thooms has quit [Write error: Broken pipe]
AltGr has left #ocaml []
angerman has quit [Quit: Gone]
tov_ has quit [Write error: Broken pipe]
mcclurmc has joined #ocaml
tov has joined #ocaml
oriba_ has joined #ocaml
oriba has quit [Ping timeout: 240 seconds]
ikaros has quit [Quit: Ex-Chat]
<flux>
hmm, second night working on this code, haven't executed once, let's see if it works :-)
<adrien>
nah, no need to
<adrien>
it obviously works perfectly fine
<flux>
indeed
<adrien>
and remember to put it in production without testing
<adrien>
noooo!
<flux>
I have soo much code to make the compiler work for me :)
nikki93 has quit [Read error: Connection reset by peer]
<adrien>
if you test it, you break the spell!
<flux>
sadly I will eventually end up running the code
<flux>
I wish I could just view it only in the editor
<flux>
meh, looking at that I realize one thing is missing :)
mcclurmc has quit []
<oriba_>
"<flux> hmm, second night working on this code, haven't executed once" You did not even compile it?
<flux>
I did compile it, many many times
<oriba_>
aha
<flux>
that's how ocaml tells me where the bugs are!
<oriba_>
yes...
mcclurmc has joined #ocaml
<oriba_>
I heard that some people exist, who just write code for days or so, and not compile once in that time... that was, was I thought you also did ;-)
<oriba_>
There is no readme... what is OCamlGcode for?
<flux>
it's for processing G-code, which is a language used in 3d printers and CNC machines
<oriba_>
aha
<flux>
I did it once before (so there's code there to be removed), but this time I'm following the specs, not the examples (which themselves are probably based on other examples)
<flux>
which is actually quite nice, emacs macros have done great job turning specification into program code..
<flux>
(except the readme doesn't mention yet the functionality that uses that module)
csakatoku has joined #ocaml
gargawel is now known as gael
mcclurmc has quit [Remote host closed the connection]
nicoo has quit [Remote host closed the connection]
oriba_ has quit [Excess Flood]
oriba__ has joined #ocaml
<seliopou>
can you use type variables when defining a polymorphic variant?
<seliopou>
i wanna say something like
<seliopou>
type 'a m = [> `A | 'a]
<flux>
no
<seliopou>
:/
<seliopou>
why is that?
demonimin has quit [Excess Flood]
jzelinskie_ has joined #ocaml
<flux>
well, that syntax by itself wouldn't work, I mean 'a couldn't be an 'integer'
<smondet>
seliopou: type 'a m = 'a constraint 'a = [> `A ]
saarin has quit [Excess Flood]
<smondet>
does almost want you want i think
Simn has quit [Excess Flood]
<flux>
indeed, that works for this case, but doesn't generalize well
<seliopou>
smondet: that looks like it will
<seliopou>
thanks!
sagotch has joined #ocaml
csakatoku has quit [Ping timeout: 272 seconds]
tov has quit [Write error: Broken pipe]
jzelinskie has quit [Read error: Connection reset by peer]
jzelinskie_ is now known as jzelinskie
saarin has joined #ocaml
Simn has joined #ocaml
zpe has joined #ocaml
demonimin has joined #ocaml
tov has joined #ocaml
smerz_ has joined #ocaml
smerz has joined #ocaml
njcomsec has joined #ocaml
nikki93 has joined #ocaml
<flux>
nooooo, it failed! I should not have tested it :(
mcclurmc has joined #ocaml
<flux>
worked suprisingly great after fixing that :-o. and it was actually a thing I needed to make decision on, decision other than I had made earlier :)
mye has quit [Quit: mye]
wolfnn has joined #ocaml
mcclurmc has quit [Ping timeout: 244 seconds]
sagotch has quit [Quit: Page closed]
dsheets has quit [Ping timeout: 240 seconds]
nikki93 has quit [Remote host closed the connection]
yellowfish has joined #ocaml
S11001001 has joined #ocaml
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
yellowfish has quit [Changing host]
yellowfish has joined #ocaml
lostcuaz has joined #ocaml
uggwar_ has quit [Read error: Operation timed out]
mye has joined #ocaml
ggole has quit []
comacat has joined #ocaml
r0b2 has quit [Read error: Operation timed out]
r0b2 has joined #ocaml
aurynj has quit [Ping timeout: 246 seconds]
claudiuc has joined #ocaml
mye has quit [Quit: mye]
nikki93 has joined #ocaml
uggwar has joined #ocaml
ontologiae has quit [Ping timeout: 240 seconds]
yellowfish has quit [Ping timeout: 244 seconds]
oriba__ has quit [Quit: oriba__]
_andre has quit [Quit: leaving]
mehdid has quit [Remote host closed the connection]
RMacy has joined #ocaml
tautologico has joined #ocaml
boogie has joined #ocaml
mcclurmc has joined #ocaml
watermind has joined #ocaml
axiles has quit [Remote host closed the connection]
csakatoku has quit [Remote host closed the connection]
Druup is now known as Drup
Eyyub has quit [Ping timeout: 264 seconds]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
Eyyub has joined #ocaml
q66 has quit [Read error: Connection reset by peer]
q66 has joined #ocaml
adrien_oww has quit [Ping timeout: 264 seconds]
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
arjunguha has joined #ocaml
adrien_oww has joined #ocaml
SrPx has joined #ocaml
<SrPx>
Can someone explain me some things honestly? 1. Is Ocaml as fast as Haskell? 2. The ML modules that everyone talks good about. Does Ocaml have the same thing? 3. Can I write completely functional code in Ocaml without losing performance and stuff? 4. Is the compiler agressively inlining?
<SrPx>
Also, what generally are the differences between sml and ocaml
<Drup>
1) yes
<Drup>
(except for parallelism)
<Drup>
2) yes
<Drup>
probably even better in ocaml, even
shinnya has joined #ocaml
<Drup>
3) depends, sometime the functional code is actually more efficient, sometimes it's not. Depends of the problem
<Drup>
4) It does inlining, but not very agressively. People are working on it.
<Drup>
about the difference between sml and ocaml ... is sml still active ?
<bitbckt>
sml/nj is.
<seliopou>
does any special care need to be taken with asserts in async code?
<bitbckt>
"active" is a relative term, though.
<seliopou>
i got a friend that says "SML is best ML"
<seliopou>
but i think that's because it rhymes
<seliopou>
sounds good
<seliopou>
anybody know about asserts in async code?
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<SrPx>
Drup: hmm okay
<SrPx>
thanks
wwilly has quit [Quit: This computer has gone to sleep]
uggwar has joined #ocaml
<Drup>
SrPx: no problem, other questions ? :]
<Drup>
( SrPx : and by curiosity, what are the questions for ? :p)
nikki93 has quit [Remote host closed the connection]
<SrPx>
Well not now, thanks! I'm trying to install it for the first time here. Long story short, I've been for some time already implementing a very interesting structural editor but I'm stuck in the part that I don't know what language to use for it, because I want to develop web apps with that language
Eyyub has quit [Ping timeout: 244 seconds]
<SrPx>
And there is no solid functional language that compiles to JavaScript. So I made my own. Now there's that Ocaml->JS compiler so I will test it
<Drup>
the js_of_ocaml compiler is quite solid
<SrPx>
At this point my language works and compiles high level code that is as fast/faster than my hand written javascript. I love it, but it doesn't have a lot of useful things and I hate having to maintain it
<SrPx>
uh huh, I know (: lets see what it is good for
<SrPx>
if it produces code that is as fast as my language I'm sold
<Drup>
it produces code faster than the ocaml bytecode
<ousado>
it's said to be faster than the ocaml bytecode
Simn has quit [Quit: Leaving]
<Drup>
ousado: :3
<ousado>
.. which is pretty fast already
<ousado>
:)
<Drup>
for bytecode*
<Drup>
for non JIT bytecode* actually
<SrPx>
How can it be faster than ocaml bytecode?! I don't get it
<ousado>
well, JS engines are fast
<Drup>
the million of dollars poured into javascript JITs may have to do something with it :p
<smondet>
SrPx: js_of_ocaml produces code that JS engine "like" (easy to infer types / do JIT compilation)
mehdid has joined #ocaml
<SrPx>
... ? OK but it can't be faster than Ocaml itself
<ousado>
it's not as fast as the code that the native compiler produces
<Drup>
ocaml bytecode*
<Drup>
not native code :)
<SrPx>
for me those meant the same.
<ousado>
ocaml has a bytecode target and a machine code target
<Drup>
SrPx: bytecode runs in a vm
<SrPx>
Oh OK.
<SrPx>
well got ocaml working on vim, managed to compile a hello world... now the hard part will be figuring out how to use js_of_ocaml
<SrPx>
the readme is aimed at people that already use ocaml, it seems. it lists 2 reqs but doesn't say how to install them. nor does it say anything about installing/using js_of_ocaml itself. ideas guys?
<Drup>
use opam
<SrPx>
ocamlfind, opam... none is available. Hmm. I installed the default ocaml package for OSX. Do I need to install them separately?