<bjorkintosh>
what comes after 'ml for the working programmer'. any recommendations?
<kaustuv>
Purely Functional Data Structures by Chris Okasaki is a good next step.
<bjorkintosh>
i've got that...
<bjorkintosh>
i had to get an intro to ML to take full advantage of it though.
<kaustuv>
You're more or less set in terms of textbooks then.
<bjorkintosh>
fantastic!
<Yoric[DT]>
Well, a few bugs are fixed.
* Yoric[DT]
will now be able to concentrate again on bugs #139, #152.
* Yoric[DT]
doesn't want to work on these bugs.
Camarade_Tux has joined #ocaml
wsmith84 has quit [Read error: 60 (Operation timed out)]
thelema has joined #ocaml
chickenzilla has quit [Connection timed out]
Yoric[DT] has quit ["Ex-Chat"]
alexyk has quit []
mbana has quit [Remote closed the connection]
alexyk has joined #ocaml
m3ga has joined #ocaml
<alexyk>
anyone played with ocamlgraph? how do you change an edge's label?
<alexyk>
bjorkintosh: nothing beats Ullman's ML book IMHO
<alexyk>
Ullman == best ML book of all time, for all eternity (TM)
<bjorkintosh>
i see.
<bjorkintosh>
is that the only one?
<bjorkintosh>
btw, how's "modern compiler implementation in ML"? is it any good?
Camarade_Tux has quit ["Leaving"]
<kaustuv>
It's good if you want to know how to write a compiler in ML.
<bjorkintosh>
is ML a good language to write compilers in, vs C?
<m3ga>
bjorkintosh: oh hell yeah. compilers in C are horrible, in Ocaml/ML/haskell far, far better
<bjorkintosh>
in terms of speed too?
<kaustuv>
The combination of nested pattern matching with destructive update is a really sweet spot for compilers
<m3ga>
developer speed or compiler speed?
<bjorkintosh>
compiler
<m3ga>
ocaml/ml/haskell for many tasks are not that much slower than C. Compiler speed has much more to do with the language the compiler is targeting than it does with the language its written in.
<m3ga>
for instance, the ocaml compiler is far faster than g++
<kaustuv>
The ocaml compiler can compile itself (i.e., make world.opt) in about 3 minuts on my ancient desktop. No other compiler I know of compiles itself that quickly.
<bjorkintosh>
neat.
<bjorkintosh>
is the appel book the only one available for compiler writing in ml?
<bjorkintosh>
i'm only getting it after reading through what i've got on the language at the moment.
<kaustuv>
If you want to write an interpreter or even a simple compiler for a language, you don't need Appel's book. If you want to do a half decent job with optimizations or register allocation, Appel's book will become very useful.
delamarche has joined #ocaml
<kaustuv>
But I think getting Appel's book while you are still working through MLftWP is putting the cart well in advance of the horse.
<bjorkintosh>
heheh. i'm not getting it anytime soon.
<bjorkintosh>
amazon recommended it along with underwear.
<delamarche>
you talking about Modern Compiler Implementation in ML?
<bjorkintosh>
yeah.
<delamarche>
i have it right next to me
<delamarche>
i predict i will be ready for it
<delamarche>
in 2013
alexyk has quit []
<bjorkintosh>
why's that?
<kaustuv>
That's too late because the world ends in 2012
<delamarche>
ha
<delamarche>
well i'm about halfway through all the exercises in SICP
<delamarche>
after I do them all
<delamarche>
i'll go back to ML
<delamarche>
level up a bit there
<delamarche>
then use it to write my own compiler
<delamarche>
at least, that's the plan :)
<bjorkintosh>
is sicp necessary?
<delamarche>
it is for me
<delamarche>
i'm stupid
<bjorkintosh>
it seems to be an ardouse rite of passage.
<delamarche>
it's actually hella fun
<delamarche>
the thing i like about SICP is that the exercises are really varied
<bjorkintosh>
yeaaah. fun.
<delamarche>
but they don't drastically increase in difficulty
<bjorkintosh>
are you working through it in ml or in scheme?
<delamarche>
scheme
<delamarche>
ml was too much for me at once
<delamarche>
i was missing several important concepts
<bjorkintosh>
eg?
<delamarche>
i had no idea how to do any kind of abstraction outside of object-orientation
<bjorkintosh>
surely other books teach these ideas no?
<delamarche>
i'm sure they do
<delamarche>
SICP was the first one I hit
<bjorkintosh>
goodness.
<delamarche>
well
<delamarche>
it's the first one I hit that I lied
<delamarche>
*liked
<bjorkintosh>
i see now why it'll take until 20,013 to get to appel's book.
<delamarche>
hey, i just started 6 months ago!
<delamarche>
and i'm halfway through
<delamarche>
i think that's pretty good :)
<bjorkintosh>
isn't it meant for a semester long class?
<delamarche>
not really, they only work through chunks of it in one class
<delamarche>
and i'm doing this as a hobby
<delamarche>
like, in spare time outside of work and other projects
<bjorkintosh>
ah.
<delamarche>
it's kind of like the programming equivalent of yoga
<bjorkintosh>
i don't know if i'll ever get to scip.
<bjorkintosh>
halfway... chapter 2?
angerman has joined #ocaml
<delamarche>
i think i'm on 3.20 or something like this
delamarche has quit []
alexyk has joined #ocaml
AxleLonghorn has joined #ocaml
mishok13 has quit [calvino.freenode.net irc.freenode.net]
xevz has quit [calvino.freenode.net irc.freenode.net]
angerman has quit [calvino.freenode.net irc.freenode.net]
notdoghotdog has quit [calvino.freenode.net irc.freenode.net]
bohanlon has quit [calvino.freenode.net irc.freenode.net]
caligula__ has quit [calvino.freenode.net irc.freenode.net]
TaXules has quit [calvino.freenode.net irc.freenode.net]
svenl_ has quit [calvino.freenode.net irc.freenode.net]
gildor has quit [calvino.freenode.net irc.freenode.net]
mr_uggla has quit [calvino.freenode.net irc.freenode.net]
maxote has quit [calvino.freenode.net irc.freenode.net]
kg4qxk has quit [calvino.freenode.net irc.freenode.net]
kelaouchi has quit [calvino.freenode.net irc.freenode.net]
authentic has quit [calvino.freenode.net irc.freenode.net]
jld has quit [calvino.freenode.net irc.freenode.net]
kmkaplan has quit [calvino.freenode.net irc.freenode.net]
alexyk has quit [calvino.freenode.net irc.freenode.net]
thelema has quit [calvino.freenode.net irc.freenode.net]
jlouis_ has quit [calvino.freenode.net irc.freenode.net]
jburd has quit [calvino.freenode.net irc.freenode.net]
mal`` has quit [calvino.freenode.net irc.freenode.net]
sitaktif has quit [calvino.freenode.net irc.freenode.net]
kaustuv has quit [calvino.freenode.net irc.freenode.net]
tarbo2 has quit [calvino.freenode.net irc.freenode.net]
jeddhaberstro has quit [calvino.freenode.net irc.freenode.net]
det_ has quit [calvino.freenode.net irc.freenode.net]
hcarty has quit [calvino.freenode.net irc.freenode.net]
sbok has quit [calvino.freenode.net irc.freenode.net]
tab has quit [calvino.freenode.net irc.freenode.net]
bartiosze has quit [calvino.freenode.net irc.freenode.net]
sgnb has quit [calvino.freenode.net irc.freenode.net]
Ori_B has quit [calvino.freenode.net irc.freenode.net]
mwhitney has quit [calvino.freenode.net irc.freenode.net]
bjorkintosh has quit [calvino.freenode.net irc.freenode.net]
ched_ has quit [calvino.freenode.net irc.freenode.net]
fremo has quit [calvino.freenode.net irc.freenode.net]
shortc|desk has quit [calvino.freenode.net irc.freenode.net]
delroth has quit [calvino.freenode.net irc.freenode.net]
m3ga has quit [calvino.freenode.net irc.freenode.net]
Amorphous has quit [calvino.freenode.net irc.freenode.net]
|jedai| has quit [calvino.freenode.net irc.freenode.net]
gim has quit [calvino.freenode.net irc.freenode.net]
infoe|wk has quit [calvino.freenode.net irc.freenode.net]
patronus has quit [calvino.freenode.net irc.freenode.net]
ido has quit [calvino.freenode.net irc.freenode.net]
Asmadeus has quit [calvino.freenode.net irc.freenode.net]
Mr_Awesome has quit [calvino.freenode.net irc.freenode.net]
Hadaka has quit [calvino.freenode.net irc.freenode.net]
acatout has quit [calvino.freenode.net irc.freenode.net]
tonyIII_ has quit [calvino.freenode.net irc.freenode.net]
bacam has quit [calvino.freenode.net irc.freenode.net]
rwmjones has quit [calvino.freenode.net irc.freenode.net]
munga has quit [calvino.freenode.net irc.freenode.net]
slash_ has quit [calvino.freenode.net irc.freenode.net]
sanguinev has quit [calvino.freenode.net irc.freenode.net]
mehdid has quit [calvino.freenode.net irc.freenode.net]
xian has quit [calvino.freenode.net irc.freenode.net]
holgr has quit [calvino.freenode.net irc.freenode.net]
maskd has quit [calvino.freenode.net irc.freenode.net]
AxleLonghorn has quit [calvino.freenode.net irc.freenode.net]
jeremiah has quit [calvino.freenode.net irc.freenode.net]
mfp has quit [calvino.freenode.net irc.freenode.net]
Demitar has quit [calvino.freenode.net irc.freenode.net]
mrvn has quit [calvino.freenode.net irc.freenode.net]
l_a_m has quit [calvino.freenode.net irc.freenode.net]
r0bby has quit [calvino.freenode.net irc.freenode.net]
steg_ has quit [calvino.freenode.net irc.freenode.net]
brendan has quit [calvino.freenode.net irc.freenode.net]
mattam has quit [calvino.freenode.net irc.freenode.net]
mttobks has quit [calvino.freenode.net irc.freenode.net]
ertai_ has quit [calvino.freenode.net irc.freenode.net]
petchema_ has quit [calvino.freenode.net irc.freenode.net]
flux has quit [calvino.freenode.net irc.freenode.net]
tsuyoshi has quit [calvino.freenode.net irc.freenode.net]
mbishop has quit [calvino.freenode.net irc.freenode.net]
ski__ has quit [calvino.freenode.net irc.freenode.net]
olegfink has quit [calvino.freenode.net irc.freenode.net]
tomaw has quit [calvino.freenode.net irc.freenode.net]
ozzloy has quit [calvino.freenode.net irc.freenode.net]
pixel_ has quit [calvino.freenode.net irc.freenode.net]
pixel_ has joined #ocaml
haelix has quit [Remote closed the connection]
rodge has quit [Remote closed the connection]
rodge has joined #ocaml
pixel_ has quit [calvino.freenode.net irc.freenode.net]
jeddhaberstro has joined #ocaml
pixel_ has joined #ocaml
haelix has joined #ocaml
jonafan_ has joined #ocaml
AxleLonghorn has joined #ocaml
alexyk has joined #ocaml
angerman has joined #ocaml
m3ga has joined #ocaml
thelema has joined #ocaml
jeremiah has joined #ocaml
Asmadeus has joined #ocaml
Amorphous has joined #ocaml
mfp has joined #ocaml
slash_ has joined #ocaml
notdoghotdog has joined #ocaml
Demitar has joined #ocaml
mrvn has joined #ocaml
kmkaplan has joined #ocaml
authentic has joined #ocaml
bohanlon has joined #ocaml
ched_ has joined #ocaml
Hadaka has joined #ocaml
mishok13 has joined #ocaml
Mr_Awesome has joined #ocaml
|jedai| has joined #ocaml
xevz has joined #ocaml
sitaktif has joined #ocaml
gim has joined #ocaml
det_ has joined #ocaml
infoe|wk has joined #ocaml
kaustuv has joined #ocaml
petchema_ has joined #ocaml
hcarty has joined #ocaml
flux has joined #ocaml
acatout has joined #ocaml
l_a_m has joined #ocaml
tonyIII_ has joined #ocaml
TaXules has joined #ocaml
svenl_ has joined #ocaml
caligula__ has joined #ocaml
bacam has joined #ocaml
sbok has joined #ocaml
jlouis_ has joined #ocaml
patronus has joined #ocaml
ido has joined #ocaml
delroth has joined #ocaml
shortc|desk has joined #ocaml
mwhitney has joined #ocaml
tab has joined #ocaml
Ori_B has joined #ocaml
bartiosze has joined #ocaml
jburd has joined #ocaml
mal`` has joined #ocaml
fremo has joined #ocaml
bjorkintosh has joined #ocaml
jld has joined #ocaml
tarbo2 has joined #ocaml
mr_uggla has joined #ocaml
maxote has joined #ocaml
gildor has joined #ocaml
kg4qxk has joined #ocaml
sgnb has joined #ocaml
kelaouchi has joined #ocaml
rwmjones has joined #ocaml
sanguinev has joined #ocaml
r0bby has joined #ocaml
steg_ has joined #ocaml
olegfink has joined #ocaml
munga has joined #ocaml
brendan has joined #ocaml
mattam has joined #ocaml
ertai_ has joined #ocaml
xian has joined #ocaml
tomaw has joined #ocaml
mehdid has joined #ocaml
holgr has joined #ocaml
maskd has joined #ocaml
mbishop has joined #ocaml
ski__ has joined #ocaml
ozzloy has joined #ocaml
mttobks has joined #ocaml
tsuyoshi has joined #ocaml
ilor_ has joined #ocaml
jonafan has quit [Connection timed out]
ilor has quit [Connection timed out]
Nynix has joined #ocaml
ched_ has quit [Read error: 110 (Connection timed out)]
ched_ has joined #ocaml
totom_ has joined #ocaml
vaasu has joined #ocaml
<vaasu>
hi, default binary distribution of ocaml for windows does not provide glut related modules... where can i find theme?
<vaasu>
them*
totom has quit [Read error: 110 (Connection timed out)]
totom_ is now known as totom
seafood has joined #ocaml
alexyk has quit []
alexyk has joined #ocaml
AxleLonghorn has quit ["Leaving."]
jeddhaberstro has quit []
AxleLonghorn has joined #ocaml
tar_ has joined #ocaml
wsmith84 has joined #ocaml
tar_ has quit []
<wsmith84>
brendan: you there?
<wsmith84>
I realized today that my solution for last night's problem, though perhaps a bit elegant, does not reuse internal products.
<wsmith84>
i.e. the total number of multipliciations is the same as yours.
AxleLonghorn has quit [Read error: 110 (Connection timed out)]
AxleLonghorn has joined #ocaml
AxleLonghorn has left #ocaml []
alexyk has quit []
m3ga has quit ["disappearing into the sunset"]
olegfink has quit [Remote closed the connection]
angerman has joined #ocaml
olegfink has joined #ocaml
wsmith84 has quit [Read error: 110 (Connection timed out)]
chickenzilla has joined #ocaml
xahlee has joined #ocaml
<xahlee>
is there a reduce builtin?
<totom>
you mean a fold ?
<totom>
List.fold_left for example ?
jeremiah has quit [Read error: 110 (Connection timed out)]
chickenzilla has quit ["J'y trouve un goût d'pomme."]
notdoghotdog has quit []
palomer has joined #ocaml
<palomer>
I'd like to create a library in ocaml...what should I do?
<palomer>
I have the ml files
<xahlee>
totom: ah yes. thx.
olegfink has quit [Read error: 60 (Operation timed out)]
seafood has joined #ocaml
verte has joined #ocaml
ilor_ has quit [Read error: 104 (Connection reset by peer)]
ilor has joined #ocaml
arquebus has joined #ocaml
ilor has quit [Read error: 113 (No route to host)]
olegfink has joined #ocaml
mbishop_ has joined #ocaml
<palomer>
a findlib library is usually a single cma or cmxa library?
animist has joined #ocaml
<flux>
palomer, yes
<flux>
palomer, although it could just be a bunch of cmo/cmx-files, but cma can be more convenient
<flux>
palomer, also these days the library can be in a single .cmx, where all the modules have been 'packed' during compile time
<flux>
basically the same as having one big honkin' module with a bunch of submodules
<flux>
..which is actually a problem for batteries, as it must link all such modules in. with a .cma, only modules that get referred, get linked in
<flux>
do note that if you're doing some global initialization in a module which doesn't end up being used, it will not be linked in and thus never be run!
<flux>
if you want to do that, you can put that into its own .cmo-files (say, palomerInit.cmo) and instruct ocamlfind to use that .cmo-file in addition to the .cma you've provided
palomer has quit [Remote closed the connection]
arquebus has left #ocaml []
mbishop has quit [Read error: 113 (No route to host)]
Alpounet has joined #ocaml
s4tan has joined #ocaml
s4tan has quit [Client Quit]
s4tan has joined #ocaml
s4tan has quit [Client Quit]
s4tan has joined #ocaml
ttamttam has joined #ocaml
chicco has joined #ocaml
xahlee has quit ["banned in #emacs by johnsu01 (john sullivan)"]
s4tan has quit []
tombom has joined #ocaml
_zack has joined #ocaml
Yoric[DT] has joined #ocaml
OChameau has joined #ocaml
rwmjones_ has joined #ocaml
angerman has quit []
s4tan has joined #ocaml
filp has joined #ocaml
mbishop_ has quit [Read error: 110 (Connection timed out)]
s4tan has quit [Read error: 104 (Connection reset by peer)]
mbishop_ has joined #ocaml
th5 has joined #ocaml
s4tan has joined #ocaml
schme has joined #ocaml
hkBst has joined #ocaml
<Yoric[DT]>
thelema: ping
angerman has joined #ocaml
angerman has quit [Remote closed the connection]
holgr has quit [Connection timed out]
vaasu has quit []
<munga>
it there an ocaml library for statistical measures ?
chickenzilla has joined #ocaml
Nynix has quit [Read error: 110 (Connection timed out)]
schme has quit ["leaving"]
delroth has quit [Read error: 110 (Connection timed out)]
* Yoric[DT]
is running in circles trying to find a way to parse a .ml file from within myocamlbuild.ml .