jonludlam has quit [Remote host closed the connection]
zpe has joined #ocaml
rand000 has quit [Quit: leaving]
ontologiae has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
patojo has quit [Remote host closed the connection]
<bernardofpc>
is there any way to trace a function in a file ?
<bernardofpc>
I did #directory, #load even open, still #trace Module_name.function spits me " Error: Reference to undefined global `Module_name' "
csakatoku has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jwatzman|work has quit [Quit: jwatzman|work]
knz_ has quit [Read error: Connection reset by peer]
knz has joined #ocaml
flx has joined #ocaml
flx is now known as Guest16309
flux has quit [Ping timeout: 265 seconds]
Guest16309 is now known as flux
talzeus has quit [Read error: Connection reset by peer]
jzelinskie_ has joined #ocaml
rossberg_ has joined #ocaml
Leonidas_ has joined #ocaml
sgnb` has joined #ocaml
WraithM_ has joined #ocaml
jzelinskie has quit [Ping timeout: 240 seconds]
thorsten` has quit [Ping timeout: 240 seconds]
ggherdov_ has quit [Ping timeout: 240 seconds]
rossberg has quit [Ping timeout: 240 seconds]
cdidd has quit [Ping timeout: 240 seconds]
Leonidas has quit [Ping timeout: 240 seconds]
WraithM has quit [Ping timeout: 240 seconds]
jzelinskie_ is now known as jzelinskie
cdidd has joined #ocaml
travisbrady has joined #ocaml
alex_nx_ has joined #ocaml
sgnb has quit [Ping timeout: 240 seconds]
alex_nx has quit [Ping timeout: 240 seconds]
ontologiae has quit [Ping timeout: 246 seconds]
dinosaure1 has joined #ocaml
esden has quit [Ping timeout: 240 seconds]
dant3 has quit [Ping timeout: 240 seconds]
segmond has quit [Ping timeout: 240 seconds]
dinosaure` has quit [Ping timeout: 240 seconds]
lopho has quit [Ping timeout: 240 seconds]
lopho has joined #ocaml
thorsten` has joined #ocaml
igitoor has quit [Ping timeout: 240 seconds]
igitoor has joined #ocaml
segmond has joined #ocaml
esden has joined #ocaml
dant3 has joined #ocaml
ggherdov_ has joined #ocaml
ygrek has joined #ocaml
igitoor has quit [Changing host]
igitoor has joined #ocaml
manizzle has quit [Ping timeout: 246 seconds]
IbnFirnas_ has joined #ocaml
n0v has joined #ocaml
engil has joined #ocaml
talzeus has joined #ocaml
travisbrady has quit [Quit: travisbrady]
zpe has joined #ocaml
RMacy has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
divyanshu has joined #ocaml
arjunguha has joined #ocaml
introom has joined #ocaml
pyon has quit [Quit: restart]
ollehar has joined #ocaml
Muzer has quit [Ping timeout: 252 seconds]
ygrek has quit [Ping timeout: 246 seconds]
dant3 has quit [Quit: I'm using a Free IRC Bouncer from BNC4FREE - http://bnc4free.com/]
dant3 has joined #ocaml
nikki93 has joined #ocaml
nikki93 has quit [Ping timeout: 252 seconds]
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Muzer has joined #ocaml
ygrek has joined #ocaml
yacks has joined #ocaml
Muzer has quit [Ping timeout: 252 seconds]
zpe has joined #ocaml
claudiuc_ has quit [Read error: Connection reset by peer]
lostcuaz has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
ollehar has quit [Ping timeout: 245 seconds]
__marius__ has joined #ocaml
nikki93 has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
nikki93 has quit [Remote host closed the connection]
divyanshu has quit [Quit: Computer has gone to sleep.]
nikki93 has joined #ocaml
claudiuc has joined #ocaml
nikki93 has quit [Read error: Connection reset by peer]
nikki93_ has joined #ocaml
paracetamolo has joined #ocaml
tlockney_away is now known as tlockney
introom has quit [Ping timeout: 264 seconds]
claudiuc has quit [Remote host closed the connection]
claudiuc_ has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
nikki93_ has quit [Remote host closed the connection]
paracetamolo has quit [Ping timeout: 245 seconds]
nikki93 has joined #ocaml
q66 has quit [Quit: Leaving]
michael_lee has joined #ocaml
RMacy has quit []
claudiuc_ has quit [Read error: Connection reset by peer]
claudiuc has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
_5kg has quit [Ping timeout: 264 seconds]
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
nikki93 has quit [Ping timeout: 245 seconds]
nikki93 has joined #ocaml
nikki93 has quit [Ping timeout: 264 seconds]
nikki93 has joined #ocaml
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
siddharthv_away is now known as siddharthv
csakatoku has quit [Remote host closed the connection]
_5kg has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
claudiuc has quit [Remote host closed the connection]
divyanshu has joined #ocaml
zpe has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
ggole has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
divyanshu has joined #ocaml
__marius__ has quit [Quit: Connection closed for inactivity]
csakatoku has joined #ocaml
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
tlockney is now known as tlockney_away
claudiuc has joined #ocaml
<Dongyanc1i>
Hello, I'm trying to use cryptokit, but found something strange. the output differs, I think they should give the same output. http://pastebin.com/10kghW9g
claudiuc_ has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
claudiuc has quit [Ping timeout: 252 seconds]
<ggole>
Might be some internal state stashed somewhere
zpe has joined #ocaml
divyanshu has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
pyon has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
divyanshu has joined #ocaml
axiles has joined #ocaml
struktured has joined #ocaml
ygrek has quit [Ping timeout: 246 seconds]
jao has quit [Ping timeout: 252 seconds]
yacks has quit [Ping timeout: 264 seconds]
struktured has quit [Ping timeout: 246 seconds]
aurynj has joined #ocaml
zpe has joined #ocaml
ulfdoz has joined #ocaml
zpe has quit [Ping timeout: 246 seconds]
aurynj has quit [Ping timeout: 246 seconds]
ygrek has joined #ocaml
angerman has joined #ocaml
<adrien_>
Dongyanc1i: still waking up but: cipher mode? maybe you need to "flush" the data first
<adrien_>
Dongyanc1i: if you define "encrypt" and "decrypt" a second time, you'll get the same result again
aurynj has joined #ocaml
nikki93 has quit [Remote host closed the connection]
ulfdoz has quit [Ping timeout: 245 seconds]
maattdd has joined #ocaml
ontologiae has joined #ocaml
nikki93 has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 246 seconds]
michael_lee has quit [Remote host closed the connection]
nikki93 has quit [Ping timeout: 264 seconds]
ontologiae has quit [Ping timeout: 252 seconds]
hyperboreean has quit [Read error: Operation timed out]
yacks has joined #ocaml
Hannibal_Smith has joined #ocaml
ddosia has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
divyanshu has quit [Quit: Computer has gone to sleep.]
wombat1 has joined #ocaml
cago has joined #ocaml
hyperboreean has joined #ocaml
divyanshu has joined #ocaml
Thooms has joined #ocaml
Simn has joined #ocaml
<adrien_oww>
\o
<companion_cube>
o/
wombat1 has quit [Ping timeout: 252 seconds]
Kakadu has joined #ocaml
mika2 has joined #ocaml
Axord has joined #ocaml
Axord has left #ocaml []
Thooms has quit [Ping timeout: 246 seconds]
sw1nn has joined #ocaml
Thooms has joined #ocaml
ikaros has joined #ocaml
zpe has joined #ocaml
rand000 has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
mort___ has joined #ocaml
wombat1 has joined #ocaml
eni has joined #ocaml
lordkryss has joined #ocaml
<lordkryss>
hello
cago has quit [Ping timeout: 245 seconds]
<troydm>
hey
aurynj has quit [Ping timeout: 245 seconds]
AltGr has joined #ocaml
Thooms has quit [Quit: WeeChat 0.3.8]
<lordkryss>
i'm starting out with ocaml and having some problems... i'm trying to use local functions and also using a partial application but i'm not sure about what syntax to use for that
<ggole>
(...and add the thereby necessary in after the first one.)
<lordkryss>
oh, it was easier that what i expected
<lordkryss>
thanks ggole :)
<ggole>
Er, I guess that should be 'let rec'
<ggole>
By the way, you don't need () around things like if(mydiv 2)
<lordkryss>
oh right, too used to c-like languages :)
<Enjolras>
lordkryss: be carful, == does not do what you expect it to do
<axiles>
you should use = instead of == (for integers it does not make any difference but for other types it does)
<Enjolras>
in this case, it will work since it's integers
<Dongyanc1i>
adrien_, I'm using the 3rd part of http://pastebin.com/BU0gsJ1K, but still makes different output. change to finish gives a different output.
<Enjolras>
but == is equality by reference and = is equality by value
<lordkryss>
:O
<lordkryss>
== compares addresses if i compare 2 objs?
<Enjolras>
lordkryss: yes. You can try something like that for instance : let s1 = "foo" and s2 = "foo" in s1 == s2
<Enjolras>
it will return false
<lordkryss>
oh, now i wonder why it worked in my code
Leonidas_ is now known as Leonidas
<ggole>
As axiles points out, they work the same for ints
<lordkryss>
and it is "by design"? or is it a side-effect of comparing addresses on an primitive type?
<axiles>
it's from how values are stored in memory
<axiles>
a ocaml value is either a 31 bits integer or a pointer
<lordkryss>
floats are used by reference?
<axiles>
yes: 1. == 1. returns false
<Enjolras>
It also works for unit obviously. () == () returns true.
<ggole>
They are used directly in some situations.
<axiles>
ggole: yes for example an array of floats
cago has joined #ocaml
<lordkryss>
so in ocaml, a unique value is stored only once in memory?
talzeus has quit [Remote host closed the connection]
nikki93 has joined #ocaml
Thooms has quit [Ping timeout: 264 seconds]
nikki93 has quit [Ping timeout: 240 seconds]
pyon has quit [Quit: restart]
mika2 has quit [Quit: Leaving.]
mika1 has joined #ocaml
darkf has quit [Quit: Leaving]
q66 has quit [Quit: Leaving]
<companion_cube>
\o
shinnya has joined #ocaml
<companion_cube>
Drup: with implicit (functional) arguments you get easily to implicit coercions
ddosia has quit [Quit: Leaving.]
q66 has joined #ocaml
<Drup>
you do realize that typeclasses are built on implicit arguments, right ?
<companion_cube>
on a very specific kind of implicit arguments, controlled by the compiler
<companion_cube>
you can have typeclasses without full implicit arguments
<Drup>
not that specific, since you can put a lot of stuff in a typeclass
<Drup>
(and I would argue that you already have implicit coercions in haskell and that it's very heavily used)
<companion_cube>
well, typeclasses are static, you can't just add an implicit parameter in the middle of a class/method like in scala
<companion_cube>
(cf my example about the connection to DB as an implicit parameter)
<Drup>
maybe that's an issue with the scala implementation, not the concept :)
<companion_cube>
or it means that scala's implicits are even more powerful than what you mean by implicits arguments
<Drup>
I don't know scala, can't answer
Axord has joined #ocaml
nlucaroni has joined #ocaml
Sim_n has joined #ocaml
<companion_cube>
anyway, I agree that with implicit arguments one can write typeclasses
<Drup>
but I think it would play better with name resolution in presence of modules
<Drup>
that's just a though, it's not well studied/defined
Simn has quit [Ping timeout: 246 seconds]
* companion_cube
wonders how to deal with the scope in which values are eligible for implicit arguments
<companion_cube>
for instance, if Int : sig val add : t -> t -> t ..... end
<companion_cube>
and + takes a "add" function as implicit argument
<companion_cube>
would you have to write Int.(1 + 2) ?
lordkryss has quit [Quit: Connection closed for inactivity]
q66 has quit [Ping timeout: 252 seconds]
q66 has joined #ocaml
rom1504_ is now known as rom1504
maufred has quit [Remote host closed the connection]
maufred has joined #ocaml
ianh has quit [Quit: Page closed]
wombat1 has joined #ocaml
hegemoOn has joined #ocaml
tlockney_away is now known as tlockney
<hegemoOn>
hello
<hegemoOn>
any people working with cduce here ?
<companion_cube>
not me
<Drup>
I never worked directly with it, but I may able to help
<Drup>
+be
<hegemoOn>
drup ok
<hegemoOn>
im trying to play with xsd
<hegemoOn>
file
<hegemoOn>
and im following the cduce documentation with the 0.5.0 for windows!
<Drup>
huh, ok, maybe not then x)
divyanshu has joined #ocaml
cago has left #ocaml []
tlockney is now known as tlockney_away
divyanshu has quit [Ping timeout: 264 seconds]
travisbrady has joined #ocaml
mika1 has quit [Quit: Leaving.]
Sim_n is now known as Simn
amirmc has quit [Quit: Leaving.]
divyanshu has joined #ocaml
madroach has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
__marius__ has joined #ocaml
dlat_ is now known as dlat
shinnya has quit [Ping timeout: 252 seconds]
sw1nn has quit [Remote host closed the connection]
nikki93 has joined #ocaml
amirmc has joined #ocaml
amirmc has quit [Client Quit]
wombat1 has quit [Ping timeout: 246 seconds]
<hegemoOn>
in fact
<hegemoOn>
my xsd file contains field with xs: while in the cduce documentation it is xsd:
<hegemoOn>
and my try to get the type of a item doesnt work with cduce even when i follow the documentation
<Drup>
I really don't know about xsd. I could have helped you it if was related more closely to stuff done in tyxml ^^
q66 has quit [Ping timeout: 264 seconds]
<hegemoOn>
thank you :)
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
q66 has joined #ocaml
travisbrady has quit [Quit: travisbrady]
tlockney_away is now known as tlockney
xyh has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
jwatzman|work has joined #ocaml
travisbrady has joined #ocaml
q66 has quit [Ping timeout: 252 seconds]
Guest60890 has joined #ocaml
tnguyen_ has quit [Read error: Connection reset by peer]
wombat1 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
divyanshu has joined #ocaml
kerneis_ is now known as kerneis
boogie has joined #ocaml
q66 has joined #ocaml
nikki93 has quit [Ping timeout: 246 seconds]
Kakadu has quit [Ping timeout: 245 seconds]
Thooms has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
tlockney is now known as tlockney_away
zpe_ has quit [Remote host closed the connection]
zpe has joined #ocaml
<Dongyanc1i>
Read the test.ml from cryptokit and finally got it run correctly. and still not know why my initial tries not working.
zpe has quit [Ping timeout: 240 seconds]
tulloch has joined #ocaml
tlockney_away is now known as tlockney
AltGr has left #ocaml []
lostcuaz has joined #ocaml
divyanshu has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
Kakadu has joined #ocaml
nikki93 has joined #ocaml
angerman has quit [Quit: Gone]
S11001001 has joined #ocaml
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
Hannibal_Smith has joined #ocaml
tulloch has quit [Ping timeout: 240 seconds]
tlockney is now known as tlockney_away
Muzer has quit [Excess Flood]
jonludlam has quit [Quit: Leaving]
ggole has quit []
oriba has joined #ocaml
nikki93 has quit [Remote host closed the connection]
Muzer has joined #ocaml
nikki93 has joined #ocaml
zpe has joined #ocaml
Guest60890 is now known as sw1nn
mort___ has quit [Ping timeout: 264 seconds]
zpe has quit [Ping timeout: 246 seconds]
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
nikki93 has quit [Ping timeout: 240 seconds]
wombat1 has quit [Ping timeout: 252 seconds]
nikki93 has joined #ocaml
tulloch has joined #ocaml
lostcuaz has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
avsm has joined #ocaml
avsm has quit [Client Quit]
avsm has joined #ocaml
wombat1 has joined #ocaml
angerman has joined #ocaml
tlockney_away is now known as tlockney
tane has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dsheets has quit [Ping timeout: 264 seconds]
angerman has quit [Quit: Gone]
zpe has joined #ocaml
<knz>
def-lkb: thx
<def-lkb>
np
S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
<knz>
def-lkb: the implicits paper is nice
<knz>
a bit unfortunate noone implements this yet
rand000 has quit [Ping timeout: 252 seconds]
rand000 has joined #ocaml
tulloch has quit [Ping timeout: 240 seconds]
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
jao has quit [Ping timeout: 264 seconds]
avsm has quit [Ping timeout: 246 seconds]
paracetamolo has joined #ocaml
sw1nn has quit [Ping timeout: 264 seconds]
<paracetamolo>
hello, I'm trying to write a vector module for a numerical type, that would be instantiated to Num and Float.
<paracetamolo>
When I try to extend this vector to make a proability distribution, I include vector and add a is_stocastic function that checks if the elements sum up to 1, but I get a type mismatch.
<companion_cube>
well, it's still too experimental :(
<paracetamolo>
smondet: another error, I posted it as a comment in the gist
<pippijn>
what's ocaml-implicit?
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
<smondet>
paracetamolo: ah yes put the with type n = N.t on line 34
<smondet>
odule Make_vector(N : Number_) : Vector with type n = N.t = struct
<knz>
jpdeplaix: not sure what good is a ocaml clone where I can't even see at first glance what the difference is with the official branch
zpe has quit [Ping timeout: 240 seconds]
<adrien_>
simple
<adrien_>
look at the new commiter(s)
<paracetamolo>
smondet: it's working, I think I get it more or less, could you explain in two words what is going on and why := was wrong?
<smondet>
paracetamolo: the way I see it is that on line 34 ": Vector" was putting too much constraint on the signature that you cannot escape later when applying the functor
<smondet>
the `:=` kind of means "rewrite with"
<mk270>
what is ocaml-implicit? is it ocaml with suggested nudity?
<jpdeplaix>
knz: you can have it with a simple search on the web
<paracetamolo>
smondet: is there a good place where to find documentation on this topic? Or even a well structured code base I could look at? I tried Batteries but it is too complex for me right now.
<paracetamolo>
smondet: thanks a lot for your time, you've been very helpful
wombat1 has quit [Ping timeout: 246 seconds]
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
tulloch has joined #ocaml
tulloch has quit [Ping timeout: 240 seconds]
<knz>
jpdeplaix: yes I found it earlier, thanks
oriba has quit [Quit: oriba]
ikaros has joined #ocaml
wombat1 has joined #ocaml
talzeus has joined #ocaml
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
nikki93 has quit [Ping timeout: 246 seconds]
<cdruzac>
hmmm.. so if you define a module type in an mli file, you need to copy that module type into your ml file verbatim?
Hannibal_Smith has quit [Quit: Sto andando via]
<def-lkb>
cdruzac: yes
venk has joined #ocaml
angerman has quit [Quit: Gone]
_andre has quit [Quit: leaving]
jwatzman|work has quit [Quit: jwatzman|work]
jwatzman|work has joined #ocaml
S11001001 has joined #ocaml
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
<ousado>
anyone aware of a size limit for Buffer?
<companion_cube>
must be the max size of strings
<def-lkb>
ousado: on 32 bits?
<def-lkb>
yes… 16Mio.
<ousado>
ok, thanks
<ousado>
yes, he's using a 32bit system
nikki93 has joined #ocaml
q66 has quit [Ping timeout: 264 seconds]
adrien_ has quit [Ping timeout: 246 seconds]
adrien_ has joined #ocaml
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
axiles has quit [Remote host closed the connection]
nikki93 has quit [Ping timeout: 246 seconds]
q66 has joined #ocaml
ollehar has joined #ocaml
ollehar has quit [Ping timeout: 240 seconds]
tane has quit [Quit: Verlassend]
Thooms has quit [Quit: WeeChat 0.3.8]
<cdruzac>
if I want to choose the parameter for a functor at runtime, do I need to use first-class modules?
<Drup>
yes
mrvn_ is now known as mrvn
nlucaroni has quit [Quit: leaving]
travisbrady has quit [Quit: travisbrady]
q66_ has joined #ocaml
q66_ has quit [Changing host]
q66_ has joined #ocaml
q66 has quit [Disconnected by services]
q66_ is now known as q66
<companion_cube>
no! not if you use the functor only in one scope
<companion_cube>
let module Foo = if !yolo then Bar.Make(A) else Bar.Make(B) in ....
<companion_cube>
(well I /think/ it should work, but Drup may still be right)
claudiuc has joined #ocaml
<cdruzac>
well wouldn't the return type of that if expression be a ... module?
jwatzman|work has quit [Read error: Connection reset by peer]
claudiuc_ has quit [Read error: Connection reset by peer]
basus1 has joined #ocaml
<companion_cube>
but it's a local module
<companion_cube>
no need to wrap
jwatzman|work has joined #ocaml
<companion_cube>
(I'm not sure it works though, with the if)
<basus1>
is anyone else having trouble with the latest XCode release and compiling C code via ocamlc?
jonludlam has joined #ocaml
<basus1>
it looks like ocamlc uses the -fno-defer-pop option which Clang upgraded to an error from a warning
<cdruzac>
yeaah I'm getting syntax errors. The if doesn't work
<Drup>
companion_cube: the return value is a first class module
<companion_cube>
ah, and it's unpacked immediately?
<Drup>
you are using the term syntax
<Drup>
and terms can only manipulated packed modules
<Drup>
manipulate*
<Drup>
what you can do, however
<Drup>
is "if b then let open Make(A) in ... else let open Make(B) in ..."
<Drup>
but there is nothing runtime here
<Drup>
the functor is going to be resolve at compile time
Kakadu has quit [Quit: Konversation terminated!]
<cdruzac>
is there a heavy run-time penalty for first-class modules? if there is just an initial cost that's ok, but the associated functions are going to be heavily used in tight loops
adrien_oww has quit [Ping timeout: 264 seconds]
wombat1 has quit [Ping timeout: 240 seconds]
<Drup>
the cost is not heavy, but there is a cost
<Drup>
it's basically equivalent as a record
zpe has quit [Remote host closed the connection]
* Armael
asking for a benchmark
<Armael>
;)
zpe has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
<Drup>
Armael: go on, do one :p
zpe has joined #ocaml
<Armael>
:»
<Armael>
:> *
<bitbckt>
as long as you aren't repeatedly instantiating the functor in that loop, it should be fine.
<cdruzac>
ok, maybe I was unclear then. the functions in the module that the functor is building are getting heavily used in a loop
<cdruzac>
but the functor instantiation happens before the loop
<bitbckt>
yes, that's fine.
<Drup>
the cost is going to be small, yeah
<Drup>
cdruzac: do you really need to choose at runtime, though ?
<cdruzac>
that's a good question... the code is a port of a python program. So modules + functors were used to simulate object composition
<Drup>
ugh
<cdruzac>
basically the user gives a file and an algorithm name, and the program runs the algorithm on the file. different algorithms have different behaviour, but there is heavy overlap
<Drup>
I can't really say by advance, but I don't thing it's the nicest way to go
<Drup>
hum, I see
<Drup>
and a file with an algorithme is abstract under a module, ok
<cdruzac>
I suppose I could do everything with closures, but that seems messier
<Drup>
indeed
<Drup>
in this case, I think it's a nice way to go
adrien_oww has joined #ocaml
jonludlam has quit [Remote host closed the connection]
jonludlam has joined #ocaml
manizzle has joined #ocaml
Tamae has joined #ocaml
q66 has quit [Ping timeout: 246 seconds]
rand000 has quit [Quit: leaving]
jao has quit [Ping timeout: 240 seconds]
travisbrady has joined #ocaml
Thooms has joined #ocaml
paracetamolo has quit [Ping timeout: 245 seconds]
zpe has quit [Remote host closed the connection]
q66 has joined #ocaml
zpe has joined #ocaml
zpe has quit [Read error: Connection reset by peer]