lapinou changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | http://www.ocaml.org | OCaml 4.01.0 announce at http://bit.ly/1851A3R | Public logs at http://tunes.org/~nef/logs/ocaml/
avsm has quit [Quit: Leaving.]
inr has quit [Ping timeout: 245 seconds]
oriba_ has quit [Quit: oriba_]
oriba has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
zpe has joined #ocaml
r0b2 has quit [Ping timeout: 264 seconds]
shinnya has quit [Ping timeout: 240 seconds]
Armael has quit [Ping timeout: 240 seconds]
Armael has joined #ocaml
r0b2 has joined #ocaml
dinosaure1 has quit [Ping timeout: 264 seconds]
dinosaure1 has joined #ocaml
comacat_ has quit [Quit: Lost terminal]
ygrek_ has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
oriba has quit [Quit: oriba]
boogie has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
claudiuc has quit [Remote host closed the connection]
ollehar has quit [Ping timeout: 272 seconds]
talzeus has quit [Read error: Connection reset by peer]
S11001001 has joined #ocaml
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
ygrek_ has quit [Ping timeout: 252 seconds]
jwatzman|work has quit [Quit: jwatzman|work]
claudiuc has joined #ocaml
r0b2 has quit [Ping timeout: 240 seconds]
tlockney_away is now known as tlockney
talzeus has joined #ocaml
ygrek_ has joined #ocaml
inr has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
lostcuaz has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
tlockney is now known as tlockney_away
michael_lee has joined #ocaml
boogie has quit [Remote host closed the connection]
ollehar has joined #ocaml
skchrko has quit [Quit: Leaving]
nikki93 has quit [Remote host closed the connection]
S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
rs0 has quit [Ping timeout: 245 seconds]
rs0 has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
philtor has joined #ocaml
philtor has quit [Ping timeout: 265 seconds]
zpe has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
uggwar has quit [Ping timeout: 264 seconds]
diethyl has quit [Ping timeout: 256 seconds]
r0b2 has joined #ocaml
introom has joined #ocaml
diethyl has joined #ocaml
yacks has joined #ocaml
philtor has joined #ocaml
Gues_____ has joined #ocaml
jyeo has joined #ocaml
jao has quit [Ping timeout: 272 seconds]
ggole has joined #ocaml
bicgena has joined #ocaml
ygrek_ has quit [Ping timeout: 272 seconds]
<ggole> Sigh. Another day, another old idea unwittingly reinvented.
ollehar has quit [Ping timeout: 272 seconds]
Gues_____ has quit [Quit: Computer has gone to sleep.]
<ggole> Today it's tagless GC.
siddharthv_away is now known as siddharthv
Gues_____ has joined #ocaml
Gues_____ has quit [Client Quit]
holomorph has joined #ocaml
holomorph has left #ocaml []
philtor has quit [Ping timeout: 272 seconds]
rand000 has joined #ocaml
Gues_____ has joined #ocaml
claudiuc has quit [Remote host closed the connection]
siddharthv is now known as siddharthv_away
siddharthv_away is now known as siddharthv
Vinnipeg has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
axiles has joined #ocaml
Gues_____ has quit [Quit: Computer has gone to sleep.]
Gues_____ has joined #ocaml
rand000 has quit [Ping timeout: 240 seconds]
Vinnipeg has quit [Quit: Leaving.]
Gues_____ has quit [Quit: Computer has gone to sleep.]
ulfdoz has joined #ocaml
Gues_____ has joined #ocaml
Gues_____ has quit [Quit: Computer has gone to sleep.]
ulfdoz has quit [Ping timeout: 240 seconds]
Gue______ has joined #ocaml
xaimus has joined #ocaml
angerman has joined #ocaml
angerman has quit [Client Quit]
ygrek_ has joined #ocaml
angerman has joined #ocaml
arj has joined #ocaml
angerman has quit [Read error: Connection reset by peer]
angerman has joined #ocaml
uggwar has joined #ocaml
skchrko has joined #ocaml
Gue______ has quit [Quit: Computer has gone to sleep.]
rand000 has joined #ocaml
G________ has joined #ocaml
Kakadu has joined #ocaml
introom has quit [Ping timeout: 252 seconds]
introom has joined #ocaml
ddosia has joined #ocaml
rand000 has quit [Ping timeout: 265 seconds]
rand000 has joined #ocaml
diethyl has quit [Ping timeout: 256 seconds]
nikki93 has joined #ocaml
diethyl has joined #ocaml
Dongyancai has quit [Read error: Connection reset by peer]
ddosia has quit [Quit: Leaving.]
Dongyancai has joined #ocaml
ddosia has joined #ocaml
nikki93 has quit [Remote host closed the connection]
Dongyancai has quit [Read error: Connection reset by peer]
AltGr has joined #ocaml
Dongyancai has joined #ocaml
yacks has quit [Ping timeout: 240 seconds]
hyperboreean has quit [Quit: leaving]
hyperboreean has joined #ocaml
hyperboreean has quit [Client Quit]
hyperboreean has joined #ocaml
zpe has joined #ocaml
nikki93 has joined #ocaml
cago has joined #ocaml
yacks has joined #ocaml
adrien_o1w is now known as adrien_oww
Simn has joined #ocaml
<companion_cube> o/
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
<bernardofpc> \o
<companion_cube> hi bernardofpc !
albe has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
<albe> Hi, good morning!
<albe> I have some problem with caml light, could you help me? My question is here; http://stackoverflow.com/questions/22028063/structure-automata-caml
<flux> I think you're not going to get much help from that starting point. I mean, you're not even trying to implement a DFA there.
mika1 has joined #ocaml
<flux> so the problem probably is that you first need to create an algorithm that generates DFAs for three-letter-sequences and then another part that takes the DFA and input string and evaluates it
rand000 has quit [Ping timeout: 264 seconds]
<flux> given the limit of three letters it's probably OK to just enumate the different cases, once you've figured out how to make the DFAs for different cases in paper
<flux> of particular interest you may find sequences that have duplicate letter in them, ie. AAB
<flux> for example the DFA matcher might be of form: match (first = second), (first = third), (second = third) with false, false, false -> (* hand-written DFA with values filled in from first, third and second *) | ..etc..
<flux> the form of DFAs you've been taught at class should probably translate pretty easily to caml, just using lists in place of sets..
ikaros has joined #ocaml
<flux> yes
tautologico has quit [Quit: Connection closed for inactivity]
<albe> ok thanks, I'll try!
<flux> good luck
arjunguha has joined #ocaml
introom has quit [Ping timeout: 265 seconds]
rand000 has joined #ocaml
<albe> The DFA model linked in stackoverflow works in caml light or just in ocaml?
<flux> I don't know, I've never used CAML light
<flux> ..maybe you can try?
<albe> good for you
<flux> it doesn't seem to use any exotic features
<flux> well
<flux> it does use polymorphic variants
<flux> I don't think CAML Light has them
<flux> but you can simply use regular sum types in their place, if it doesn't have them
jyeo has quit [Ping timeout: 245 seconds]
jyeo has joined #ocaml
angerman has quit [Read error: Connection reset by peer]
angerman has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<albe> thanks @flux! see you again in next days! :)
albe has quit [Quit: Page closed]
root_empire has joined #ocaml
rand000 has quit [Ping timeout: 265 seconds]
michael_lee has quit [Ping timeout: 240 seconds]
arjunguha has joined #ocaml
arjunguha has quit [Client Quit]
ggole has quit [Ping timeout: 265 seconds]
ontologiae has joined #ocaml
angerman has quit [Read error: Connection reset by peer]
angerman has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
arj1 has joined #ocaml
ggole has joined #ocaml
acieroid has quit [Read error: Connection reset by peer]
NoNNaN has joined #ocaml
AltGr has left #ocaml []
acieroid has joined #ocaml
AltGr has joined #ocaml
arj1 has quit [Remote host closed the connection]
arj1 has joined #ocaml
arj has quit [Ping timeout: 240 seconds]
Valdo has quit [Quit: ZNC - http://znc.sourceforge.net]
Valdo has joined #ocaml
bicgena has quit [Quit: Connection closed for inactivity]
rand000 has joined #ocaml
zpe has joined #ocaml
johnelse_away is now known as johnelse
zpe has quit [Ping timeout: 240 seconds]
avsm has joined #ocaml
Vinnipeg has joined #ocaml
Fullma has joined #ocaml
segmond has joined #ocaml
dsheets has quit [Ping timeout: 245 seconds]
nikki93 has quit [Remote host closed the connection]
siddhart1 has joined #ocaml
Thooms has joined #ocaml
siddhart1 has quit [Quit: siddhart1]
avsm has quit [Quit: Leaving.]
segmond has quit [Quit: Leaving]
avsm has joined #ocaml
introom has joined #ocaml
ollehar has joined #ocaml
jyeo has quit [Quit: Connection closed for inactivity]
avsm has quit [Quit: Leaving.]
rand000 has quit [Ping timeout: 272 seconds]
G________ has quit [Quit: Computer has gone to sleep.]
nikki93 has joined #ocaml
angerman has quit [Read error: Connection reset by peer]
angerman has joined #ocaml
nikki93 has quit [Ping timeout: 240 seconds]
_andre has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
avsm has joined #ocaml
<kerneis> is it just me, or does Merlin's omni-completion not support Module.(foo + bar) syntax?
<rks_> kerneis: it does... sometimes.
<rks_> it's really unreliable
<rks_> (but it'll be *way* better with merlin 2)
<rks_> but for the moment, it's not easy to know the precise context of such an expression (which often won't even parse, since you're still typing it)
<kerneis> ok
jyeo has joined #ocaml
Gu_______ has joined #ocaml
Thooms has quit [Quit: WeeChat 0.3.8]
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
<orbitz> autocompletion is for the weak!
<flux> mostly it's annoying
<flux> I set up merlin as per instructions and ended up with autocomplete mode, should figure out how to disable it but keep rest of the functionality :)
<orbitz> I try to make programming as hard as possible so I write as little code as possible
dsheets has joined #ocaml
* ggole is usually happy mashing M-/
<flux> yeah, dynamic completion rocks, but no if it's automatic :)
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
Gu_______ has quit [Quit: Computer has gone to sleep.]
NoNNaN has quit [Ping timeout: 240 seconds]
Gu_______ has joined #ocaml
NoNNaN has joined #ocaml
<uggwar> rks_: how is merlin 2 getting along?
<kerneis> I never mentioned automatic completion - Merlin only acts upon ^x^p
siddharthv is now known as siddharthv_away
wwilly has joined #ocaml
<uggwar> someone else using vim and ocp-indent? can't get it to indent correctly
<wwilly> bonjour
avsm has quit [Quit: Leaving.]
arjunguha has joined #ocaml
<Drup> flux: just tune the auto-complete mode
<Drup> flux: it's not automatic with the right options
<Drup> flux: you can even make it so it doesn't even show a popup, but is still available with the right shortcut
<flux> yes, I should do that. when I find the annoyance/effort to find out how to fix it -ratio too high :)
<flux> most of the time I find it completing in to IN or something stupid
<Drup> flux: auto-complete is very customisable, but the default options are crappy
<Drup> yeah, that's auto-complete using one of the stupid dictionnary on top of merlin's one
<flux> another issue is that current-word (which iedit-mode uses) doesn't know ocaml grammar.. I though I fixed it once but apparently not.
yacks has quit [Quit: Leaving]
ygrek_ has quit [Ping timeout: 264 seconds]
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jonludlam has joined #ocaml
Vinnipeg has quit [Quit: Leaving.]
root_empire has quit [Quit: Ex-Chat]
yacks has joined #ocaml
mk270_ is now known as mk270
rand000 has joined #ocaml
<mk270> gday - ocamlbuild routinely spams me with warnings saying "W: Cannot get variable ext_objW: Cannot get variable ext_libW: Cannot get variable ext_dllW: Cannot get variable ocamlfind"
shinnya has joined #ocaml
<mk270> these visually obscure other things that might be important - does anyone else get this, and is there anything i can do about it?
<companion_cube> I don't have this, no idea where it comes from
<adrien_oww> oasis
<mk270> ah ok
<mk270> oasis is confusing ocamlbuild?
<mk270> i think even just putting a newline on the end of the messages would make them more bearable :)
<adrien_oww> this definitely looks like something from oasis
<adrien_oww> can you pastebin a full output?
<mk270> oasis is correct - i've found it in the soure
<mk270> ce
Thooms has joined #ocaml
<jpdeplaix> mk270: did you try to do: « make distclean » ?
<mk270> jdeplaix: i don't have a makefile, so no
<mk270> jdeplaix: and that might get rid of the messages, but one of the problems it the messages are misformatted
<mk270> ^it^is
<jpdeplaix> try to do « ocaml setup.ml -distclean » then
<mk270> jdeplaix: still have the problem
<mk270> problem(s)
<jpdeplaix> mmmmh one thing trouble me: why do you execute ocamlbuild directly ?
<jpdeplaix> you should always pass though oasis by doing « ocaml setup.ml -build »
<mk270> ok, well, i didn't know that
<mk270> and my attempts to assist with documenting this stuff generally disappear into the void of underreviewed pull requests
<mk270> though your solution seems to mean i need to learn a new language for passing arguments to ocamlbuild
<mk270> 00:00:00 0 (0 ) STARTING -------- |mk270@cornford ~/Src/iati-test> ocaml setup.ml -build
<mk270> E: Failure("Unable to load environment, the file '/home/mk270/Src/iati-test/setup.data' doesn't exist.")
<mk270> ocaml setup.ml -build doesn't seem to work for me
<jpdeplaix> « ocaml setup.ml -configure » before, then
<mk270> but ocamlbuild src/driver.byte does
<mk270> cheer
<mk270> cheers
<jpdeplaix> the makefile generated by oasis really helps here :)
<mk270> it's also got rid of the ocamlbuild warnings when i run ocamlbulid directly
<mk270> thanks very much
nikki93 has joined #ocaml
<jpdeplaix> 14:27:37 mk270 | though your solution seems to mean i need to learn a new language for passing arguments to ocamlbuild // what do you mean by that ?
<jpdeplaix> which new language ?
<mk270> i mean these configuration languages like the _tags format and the _oasis format
<hcarty> flux: If you are still looking at bringing in/binding a single C function, ctypes is a wonderful way to go.
<jpdeplaix> if you want to pass extra arguments to OASIS, I've integrated the new construct (available in oasis >= 0.4): « XOCamlbuildExtraArgs: -yourargs »
<mk270> ok
<mk270> but last time i wanted an unsupported licence in oasis, i had to send a pull request, wait for it to be merged, wait for new version to get into opam, etc, rather than just editing a file
<mk270> because it wouldn't just pass the string through
nikki93 has quit [Ping timeout: 240 seconds]
Gu_______ has quit [Quit: Computer has gone to sleep.]
<flux> hcarty, ok.. I've been thinking of taking a look at it..
talzeus has quit [Remote host closed the connection]
<jpdeplaix> mk270: but at least it checks that everyone has the same naming conventions for the license names
<mk270> thank god for that
<jpdeplaix> :D
<mk270> at the cost of centralising licence namespace administration onto an institution ill-equipped for that lofty task
<jpdeplaix> mk270: note also that opam allow you to have local dev packages
<jpdeplaix> allows*
<mk270> i'm just grateful opam doesn't display popups, frankly
ollehar has quit [Ping timeout: 272 seconds]
<mk270> anyway, thanks for these tips
<mk270> are they documented anywhere?
<jpdeplaix> which one ?
<mk270> the ocaml setup.ml -build stuff
arjunguha has joined #ocaml
<mk270> ocaml.org seems to have *less* documentation on this topic than last year
avsm has joined #ocaml
<mk270> what's the copyright licence on those docs?
<jpdeplaix> this is the official documentation of OASIS
<jpdeplaix> mmmh I don't know
<mk270> it's basically a huge wall of text that makes the eyes glaze over
<mk270> my problem is, if someone wants to produce the "getting started with non-trivial development in ocaml" guide, saying "use oasis, opam, etc, in this way"
<jpdeplaix> Feel free to suggest improvements
<mk270> then the chances are either it will never make it onto ocaml.org, or will get edited into a skyscraper of densely-typed special case, or just unlinked
<Drup> I agree with you on this point mk270, a nice starting guide for oasis is necessary
<mk270> yes
<jpdeplaix> yes I also agree
<mk270> any chance of getting such a thing onto ocaml.org?
<jpdeplaix> you can ask avsm for this I think
<Drup> sure, as soon as someone write one for it ... :/
<mk270> maybe i'll try again
r0b2 has quit [Ping timeout: 265 seconds]
darkf has quit [Quit: Leaving]
venk has quit [Ping timeout: 252 seconds]
angerman has quit [Read error: Connection reset by peer]
angerman has joined #ocaml
ygrek_ has joined #ocaml
jyeo has quit [Quit: Connection closed for inactivity]
<jpdeplaix> mk270: you see. Quick it isn't ?
ikaros has joined #ocaml
mort___ has joined #ocaml
<hcarty> flux: It's easy to play with, even from the toplevel.
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<mk270> jdeplaix: it has certainly lowered the average response time
<avsm> i've always had trouble writing the 'brief guide to getting started with oasis'
<avsm> just ends up rationalising a lot of steps that aren't quite fitted together right at the moment
nikki93 has joined #ocaml
nikki93 has quit [Ping timeout: 240 seconds]
sw1nn has joined #ocaml
sw1nn has quit [Remote host closed the connection]
<hcarty> avsm: Having those steps in writing would help identify the broken/extraneous bits
<hcarty> (says one of the many people who hasn't written out these steps...)
<avsm> yeah, agreed
sw1nn has joined #ocaml
talzeus has joined #ocaml
<flux> hcarty, ..I suppose enumeration symbols won't work with ctypes?
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
<hcarty> flux: No, I think those need to be mapped by hand or generated with a program in C.
diethyl has quit [Remote host closed the connection]
<hcarty> flux: The matching integer values should be used from the OCaml side. You can use a ctypes view to partially automate mapping between an OCaml variant and a C enum/int value.
<flux> how do I convert PosixTypes.time_t to double? use difftime as in the tutorial?
<flux> or lie about the struct contents in the first place.. a bit risky I think
<flux> hcarty, I suppose I can write a C oneliner that spits out the value for the enumeration. or I could just implement the whole function in C, without using ctypes :)
<hcarty> flux: All viable options
mgodshall has joined #ocaml
<flux> hngh, if I use difftime I only change the problem for getting time_t values to making them :)
sw1nn has quit [Ping timeout: 264 seconds]
sw1nn`` has joined #ocaml
sw1nn`` has left #ocaml []
ikaros has quit [Quit: Ex-Chat]
ddosia has quit [Read error: Operation timed out]
<flux> well, at least I now see what it can do. I'll be sure to consider if the next time I need to bind something :)
ikaros has joined #ocaml
lostcuaz has joined #ocaml
lostcuaz has quit [Read error: Connection reset by peer]
lostcuaz has joined #ocaml
diethyl has joined #ocaml
tobiasBora has joined #ocaml
contempt has quit [Disconnected by services]
Derander_ has joined #ocaml
contempt has joined #ocaml
maurer_ has joined #ocaml
lostcuaz_ has joined #ocaml
tlockneyz has joined #ocaml
tlockneyz is now known as tlockney
lostcuaz has quit [*.net *.split]
ikaros has quit [*.net *.split]
Armael has quit [*.net *.split]
tlockney_away has quit [*.net *.split]
maurer has quit [*.net *.split]
Derander has quit [*.net *.split]
zarul has quit [*.net *.split]
Derander_ is now known as Derander
<mk270> avsm: i've tried writing out the steps. i'll try again
mmachenry has joined #ocaml
Armael has joined #ocaml
zarul has joined #ocaml
cago has left #ocaml []
ikaros has joined #ocaml
arj1 has quit [Quit: Leaving.]
Guest___ has joined #ocaml
nikki93 has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
r0b2 has joined #ocaml
mika1 has quit [Quit: Leaving.]
nikki93 has quit [Ping timeout: 272 seconds]
Guest___ has quit [Quit: Textual IRC Client: www.textualapp.com]
mort___ has quit [Quit: Leaving.]
arjunguha has joined #ocaml
mmachenry has quit [Quit: Leaving.]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
ontologiae has quit [Ping timeout: 240 seconds]
mmachenry has joined #ocaml
Snark has joined #ocaml
mgodshall has quit [Read error: Connection reset by peer]
mort___ has joined #ocaml
<seliopou> if anybody from jane street is in here, the docs you're hosting are broken. Everybody but the index is empty.
<seliopou> everything*
<avsm> seliopou: told them last night, they're fixing
<seliopou> cool
rand000 has quit [Ping timeout: 265 seconds]
<seliopou> in the mean time, anybody know where the Time module's defined?
introom has quit [Ping timeout: 240 seconds]
ollehar has joined #ocaml
nikki93 has joined #ocaml
nikki93 has quit [Ping timeout: 240 seconds]
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
philtor has joined #ocaml
avsm has quit [Quit: Leaving.]
ollehar has quit [Ping timeout: 272 seconds]
ontologiae has joined #ocaml
Kakadu has quit [Ping timeout: 245 seconds]
mmachenry has quit [Quit: Leaving.]
lostcuaz_ has quit [Ping timeout: 264 seconds]
arjunguha has joined #ocaml
lostcuaz has joined #ocaml
lostcuaz has quit [Read error: Connection reset by peer]
lostcuaz has joined #ocaml
lostcuaz has quit [Read error: Connection reset by peer]
arjunguha has quit [Client Quit]
lostcuaz has joined #ocaml
zpe has joined #ocaml
jwatzman|work has joined #ocaml
ollehar has joined #ocaml
sw1nn has joined #ocaml
pminten has joined #ocaml
nikki93 has joined #ocaml
tnguyen_ has quit [Quit: Leaving]
Kakadu has joined #ocaml
nikki93 has quit [Ping timeout: 240 seconds]
sw1nn has quit [Remote host closed the connection]
jonludlam has quit [Remote host closed the connection]
mmachenry has joined #ocaml
arjunguha has joined #ocaml
angerman has quit [Quit: Gone]
mreca has joined #ocaml
via has quit [Ping timeout: 264 seconds]
boogie has joined #ocaml
pminten has quit [Remote host closed the connection]
<def-lkb> uggwar: did you try ocp-indent-vim unofficial plugin ?
mort___ has quit [Ping timeout: 272 seconds]
pyon has joined #ocaml
Anarchos has joined #ocaml
rand000 has joined #ocaml
<uggwar> def-lkb: yes, i have it installed. but somehow it seems that the default indenting is used
tnguyen has quit [Ping timeout: 264 seconds]
yacks has quit [Quit: Leaving]
<uggwar> if i write a 'let...' after a module definition it gets indented, but if i feed the buffer through ocp-indent manually it will be correct
wolfnn has joined #ocaml
ygrek_ has quit [Ping timeout: 240 seconds]
ggole_ has joined #ocaml
nikki93 has joined #ocaml
ggole has quit [Ping timeout: 240 seconds]
ggole_ is now known as ggole
ikaros has quit [Quit: Ex-Chat]
nikki93 has quit [Remote host closed the connection]
wwilly has quit [Remote host closed the connection]
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
johnelse is now known as johnelse_away
dsheets has quit [Ping timeout: 240 seconds]
milosn_ is now known as milosn
ontologiae has quit [Ping timeout: 240 seconds]
arjunguha has joined #ocaml
mreca has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Trixboxer has joined #ocaml
tobiasBora has quit [Ping timeout: 240 seconds]
<Trixboxer> Hi, I want to assign value of one variable to another one but getting syntax error, my code is http://pastebin.com/88RvaW07
<Drup> variables are immutable in ocaml
<Drup> what you want to do is not possible like that
<Trixboxer> oh
<Drup> if you want mutable stuff, use references
<Drup> "let x = ref 3 in x := !x + 1"
<Drup> ":=" is the update operator, "!" is the access one.
<Drup> (but you shouldn't get a *syntax* error with your code)
<Trixboxer> so b := a should work ?
<Drup> no, because a and b are not references here
<mk270> you would have had to have done something like "let b = ref 0"
<mk270> for "b := ..." to be ok
<Trixboxer> oh
<Trixboxer> so its pointers instead of direct assignment
<mk270> effectively, ocaml lets you use variables, but you have to ask for it; values are constant by default
<mk270> i wouldn't know the right terminology :)
<mk270> but it's analogous to pointers
<mk270> broadly, a lot of the style in ocaml involves using alternatives to variables (a lot of which are better, some of which are a pain in the arse)
<Drup> Trixboxer: references are poitners under the hood, yes
<mk270> but you can get mutable data with these references
<Trixboxer> thank
<Trixboxer> thank you guys
<mk270> and write your programme like it was python (moreso than C++)
<Drup> Trixboxer: but safer, since you can't mess them up with normal references (and you can't use them as ints X_x)
<mk270> you won't ever get a real memory location from this stuff
<Drup> normal variables*
<mk270> trixboxer: if you're using the REPL, its output explains the types of the values you're using, so it'll tell you what the syntax is doing under the hood
<mk270> trixboxer: hang on, are you one of these #dilos people?!
<Trixboxer> mk270: ohh hi o/
rand000 has quit [Quit: leaving]
mgodshall has joined #ocaml
comacat has joined #ocaml
S11001001 has joined #ocaml
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
smerz_ has joined #ocaml
smerz has joined #ocaml
mmachenry has quit [Quit: Leaving.]
mmachenry has joined #ocaml
mmachenry has quit [Quit: Leaving.]
ollehar1 has joined #ocaml
angerman has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
arjunguha has joined #ocaml
dsheets has joined #ocaml
claudiuc has joined #ocaml
boogie has quit [Remote host closed the connection]
manud has joined #ocaml
jonludlam has joined #ocaml
mmachenry has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
arjunguha has joined #ocaml
arjunguha has quit [Client Quit]
Anarchos has quit [Quit: Vision[0.9.7-H-20131020]: i've been blurred!]
arjunguha has joined #ocaml
Anarchos has joined #ocaml
angerman has quit [Quit: Gone]
_andre has quit [Quit: leaving]
zxqdms has joined #ocaml
<flux> ooh, I'm using 'nan' instead of 'float option'
<flux> too much pain to thread the handling of 'option' everywhere otherwise :)
axiles has quit [Remote host closed the connection]
nikki93 has joined #ocaml
ggole has quit []
tnguyen has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
venk has joined #ocaml
arjunguha has joined #ocaml
arjunguha has quit [Client Quit]
AltGr has left #ocaml []
rz has joined #ocaml
angerman has joined #ocaml
ikaros has joined #ocaml
mmachenry has quit [Quit: Leaving.]
ikaros has quit [Client Quit]
axiles has joined #ocaml
mmachenry has joined #ocaml
<mmachenry> flux: Will a monad help you? OCaml has an option Monad, right?
<pippijn> flux: also much faster ;)
<pippijn> flux: (nan as None)
<pippijn> ocaml optional arguments could be better
Trixboxer has left #ocaml []
<pippijn> ?name:'a -> 'b -> 'c is not a subtype of 'b -> 'c
angerman has quit [Quit: Gone]
<companion_cube> f ?name:None is
<pippijn> yes
<pippijn> ~name
cago has joined #ocaml
ollehar1 has quit [Quit: ollehar1]
boogie has joined #ocaml
ollehar has quit [Ping timeout: 269 seconds]
tautologico has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
jwatzman|work has joined #ocaml
arjunguha has joined #ocaml
mgodshall has quit [Quit: mgodshall]
arjunguha has quit [Client Quit]
milosn_ has joined #ocaml
milosn has quit [Read error: No route to host]
mreca has joined #ocaml
arjunguha has joined #ocaml
arjunguha has quit [Client Quit]
wwilly has joined #ocaml
smerz_ has quit [Remote host closed the connection]
smerz has quit [Remote host closed the connection]
arjunguha has joined #ocaml
arjunguha has quit [Client Quit]
nickmeharry has joined #ocaml
ontologiae has joined #ocaml
mmachenry has quit [Quit: Leaving.]
Kakadu has quit [Quit: Konversation terminated!]
ulfdoz has joined #ocaml
mreca has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jao has quit [Ping timeout: 240 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-20131020]: i've been blurred!]
comacat has quit [Ping timeout: 240 seconds]
wwilly has quit [Remote host closed the connection]
Thooms has quit [Quit: WeeChat 0.3.8]
avsm has joined #ocaml
nlucaroni has quit [Quit: leaving]
comacat has joined #ocaml
ulfdoz has quit [Ping timeout: 264 seconds]
dinosaure2 has joined #ocaml
shinnya has joined #ocaml
Derander_ has joined #ocaml
xaimus_ has joined #ocaml
tlockney_ has joined #ocaml
dinosaure1 has quit [Ping timeout: 272 seconds]
Derander has quit [Read error: Connection reset by peer]
manud has quit [Ping timeout: 272 seconds]
Drup has quit [Ping timeout: 272 seconds]
r0b2 has quit [Ping timeout: 272 seconds]
xaimus has quit [Ping timeout: 272 seconds]
tlockney has quit [Ping timeout: 272 seconds]
NoNNaN has quit [Ping timeout: 240 seconds]
milosn_ has quit [Ping timeout: 272 seconds]
Derander_ is now known as Derander
tlockney_ is now known as tlockney
Druup has joined #ocaml
milosn has joined #ocaml
manud has joined #ocaml
tov has quit [Excess Flood]
tov has joined #ocaml
Druup is now known as Drup
tlockney has left #ocaml []
r0b1 has joined #ocaml
manud has quit [Quit: Leaving]
darkf has joined #ocaml
S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
axiles has quit [Quit: Quitte]
bicgena has joined #ocaml
madroach has quit [Ping timeout: 252 seconds]
madroach has joined #ocaml
venk` has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
avsm has quit [Quit: Leaving.]
ousado_ has joined #ocaml
venk has quit [Ping timeout: 240 seconds]
ousado has quit [Ping timeout: 240 seconds]
metasyntax has quit [Ping timeout: 240 seconds]
gael has quit [Ping timeout: 240 seconds]
gael has joined #ocaml
contempt has quit [Ping timeout: 240 seconds]
cross has quit [Ping timeout: 240 seconds]
pippijn has quit [Ping timeout: 240 seconds]
contempt has joined #ocaml
pippijn has joined #ocaml
maufred has joined #ocaml
tobiasBora has joined #ocaml
aggelos has joined #ocaml
tov has quit [Excess Flood]
jzelinskie has quit [Ping timeout: 240 seconds]
maufred_ has quit [Ping timeout: 240 seconds]
rixed has quit [Ping timeout: 240 seconds]
rs0 has quit [Ping timeout: 240 seconds]
rs0 has joined #ocaml
hyperboreean has quit [Ping timeout: 240 seconds]
ski has quit [Ping timeout: 240 seconds]
hj_18 has joined #ocaml
nikki93_ has joined #ocaml
jzelinskie has joined #ocaml
uggwar has quit [Write error: Broken pipe]
teiresias has quit [Ping timeout: 240 seconds]
rks_ has quit [Ping timeout: 240 seconds]
hyperboreean has joined #ocaml
metasyntax has joined #ocaml
ski has joined #ocaml
comacat has quit [Quit: Lost terminal]
nikki93 has quit [Ping timeout: 240 seconds]
teiresias has joined #ocaml
rixed has joined #ocaml
pyon` has joined #ocaml
talzeus_ has joined #ocaml
xaimus has joined #ocaml
zpe_ has joined #ocaml
patojo has joined #ocaml
zxqdms_ has joined #ocaml
Valda has joined #ocaml
rks_ has joined #ocaml
r0b1 has quit [*.net *.split]
talzeus has quit [*.net *.split]
jdoles has quit [*.net *.split]
aggelos_ has quit [*.net *.split]
ontologiae has quit [Ping timeout: 257 seconds]
Valdo has quit [Write error: Connection reset by peer]
boogie has quit [Write error: Connection reset by peer]
xaimus_ has quit [Remote host closed the connection]
hj_18 has quit [Read error: Connection reset by peer]
zpe has quit [Write error: Connection reset by peer]
ousado_ is now known as ousado
ousado has quit [Changing host]
ousado has joined #ocaml