<jao_>
sorry, non-specialisation of functors? like C++ template specialisations?
<malc>
jemfinch: yep
<jemfinch>
jao_: yeah -- functors in O'Caml are specialized at runtime (into records of functions) which makes them unnecessarily slow.
<malc>
jao_: i think we have been trough it in the past.
<jao_>
malc: yep, i remember: my work assignment!
<malc>
jao_: indeed ;)
* jao_
is not doing his homework :)
<malc>
heh ;)
<kjs3>
Does mlton support seperate compliation?
<malc>
no
<jemfinch>
mlton's biggest problem is that it doesn't run on anything but Linux/x86.
<kjs3>
If you have limited development resources, that's a reasonable choice.
<jemfinch>
it's just annoying.
<jemfinch>
because I don't use Linux.
<kjs3>
I'm sure they'd be more than happy for you to port it to your platform of choice.
<jemfinch>
for a price :)
<jemfinch>
it shouldn't be a hard port to FreeBSD...I suppose that's what's post annoying -- it's a quick and easy (for someone with the proper experience) port but no one has done it.
<kjs3>
Go for it.
<jao_>
do they use autoconf/automake? if so, it should be easy indeed
<jemfinch>
me? hah...I'm not a good or experienced programmer.
<jemfinch>
I don't think they do -- autoconf/automake probably don't lend themselves to non-C languages all that well.
<jemfinch>
and MLTon is written in SML, of course.
<jao_>
but then, one only needs to port the bootstrap; i agree with you: is surprising no one has ported it
<jemfinch>
I can understand not porting to another processor, but not porting to FreeBSD seems kind of extreme.
<malc>
time to sleep.. ciao
malc has quit ["no reason"]
<jemfinch>
and they would probably have a lot to gain from porting to another processor.
<kjs3>
With only 4 developers, I'm sure porting wasn't a priority.
<jao_>
do you know how many developers ocaml has? (just curious)
<jemfinch>
more than 4 :)
<jao_>
:)
<jemfinch>
I like O'Caml, but I think I like SML a bit better.
<jemfinch>
I like Basis, and I like the focus on fewer exceptions...and the first-class continuations provided in most good implementations.
<kjs3>
The web page lists 4 core developers.
<jao_>
what is Basis? first-class continuations are cool... i thought only scheme had them...
<jao_>
kjs3: for ocaml?
<jemfinch>
Basis is the standard library for SML.
<jao_>
better than ocaml's?
<kjs3>
jao_: for MLton
<jemfinch>
jao_: it's a bit cleaner, that's for sure.
<jao_>
hmmm... maybe i'd have a look at sml
<jao_>
going to sleep, guys... see you!
<jemfinch>
seeya.
jao_ has left #ocaml []
smklsmkl has joined #ocaml
smkl has quit [Read error: 104 (Connection reset by peer)]
kjs3 has quit []
Yurik has quit ["Client Exiting"]
tav has quit [carter.openprojects.net irc.openprojects.net]
tav has joined #ocaml
tav has quit [Excess Flood]
tav has joined #ocaml
Yurik has joined #ocaml
scipient has quit [carter.openprojects.net irc.openprojects.net]
jemfinch has quit [carter.openprojects.net irc.openprojects.net]
jemfinch has joined #ocaml
scipient has joined #ocaml
tav has quit [Excess Flood]
tav has joined #ocaml
smklsmkl has quit [carter.openprojects.net irc.openprojects.net]
Taaus has quit [carter.openprojects.net irc.openprojects.net]