adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.3 announced http://ocaml.org/releases/4.02.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
emaphis` has joined #ocaml
emaphis has quit [Ping timeout: 272 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
jonludlam has quit [Ping timeout: 250 seconds]
madroach has quit [Ping timeout: 260 seconds]
madroach has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
netrobyatmobile has joined #ocaml
tautologico has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
jeffmo has quit [Quit: jeffmo]
swgillespie has joined #ocaml
swgillespie has quit [Client Quit]
ygrek_ has joined #ocaml
rgrinberg has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
rgrinberg has quit [Ping timeout: 250 seconds]
manizzle has quit [Ping timeout: 265 seconds]
swgillespie has joined #ocaml
pkrnj has joined #ocaml
manizzle has joined #ocaml
BitPuffin|osx has joined #ocaml
pkrnj has quit [Quit: Computer has gone to sleep.]
FreeBirdLjj has joined #ocaml
ousado has quit [Ping timeout: 252 seconds]
ousado has joined #ocaml
ril has joined #ocaml
echo-area has joined #ocaml
rgrinberg has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
nchambers is now known as nchambers\dead
rgrinberg has quit [Ping timeout: 272 seconds]
f[x] has joined #ocaml
ygrek_ has quit [Ping timeout: 240 seconds]
HollowMan has joined #ocaml
Guest58 has quit [Quit: leaving]
Denommus has joined #ocaml
pkrnj has joined #ocaml
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
HollowMan has quit [Quit: Leaving]
Denommus has quit [Quit: Bye]
ceryo has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Denommus has joined #ocaml
ncthom91 has joined #ocaml
manizzle has quit [Ping timeout: 240 seconds]
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
Guest12465 has joined #ocaml
Guest12465 is now known as wolfcore
f[x] has quit [Ping timeout: 260 seconds]
rgrinberg has quit [Ping timeout: 272 seconds]
rgrinberg has joined #ocaml
pierpa has quit [Ping timeout: 264 seconds]
igoroliveira has quit [Quit: Connection closed for inactivity]
f[x] has joined #ocaml
govg has joined #ocaml
rgrinberg has quit [Ping timeout: 276 seconds]
damason has quit [Remote host closed the connection]
swgillespie has joined #ocaml
darkf has joined #ocaml
contempt has quit [Ping timeout: 265 seconds]
contempt has joined #ocaml
netrobyatmobile has quit [Quit: Connection closed for inactivity]
raphaelss has joined #ocaml
mac10688 has quit [Ping timeout: 250 seconds]
BitPuffin|osx has quit [Ping timeout: 252 seconds]
kushal has joined #ocaml
damason has joined #ocaml
MercurialAlchemi has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Read error: Connection reset by peer]
emaphis` has quit [Ping timeout: 250 seconds]
ljs has joined #ocaml
ljs has quit [Remote host closed the connection]
ljs has joined #ocaml
<ljs> It seems ocp-indent does not support mll and mly files.
<ljs> I didn't find resources for supporting editing mll and mly files.
<ljs> well, in Emacs.
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
tmtwd has quit [Ping timeout: 240 seconds]
AlexRussia has quit [Ping timeout: 240 seconds]
swgillespie has joined #ocaml
python476 has joined #ocaml
emaphis` has joined #ocaml
Denommus has quit [Quit: gois to sleep]
ygrek_ has joined #ocaml
f[x] has quit [Ping timeout: 250 seconds]
MercurialAlchemi has joined #ocaml
govg has quit [Ping timeout: 244 seconds]
AltGr has joined #ocaml
nchambers\dead is now known as nchambers
emaphis` has quit [Remote host closed the connection]
psy_ has quit [Quit: Leaving]
pkrnj has quit [Quit: Textual IRC Client: www.textualapp.com]
ljs has quit [Quit: None]
kushal has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
kushal has joined #ocaml
rgrinberg has quit [Ping timeout: 252 seconds]
darkf has quit [Quit: Leaving]
zpe has quit [Remote host closed the connection]
Haudegen has quit [Ping timeout: 260 seconds]
darkf has joined #ocaml
Simn has joined #ocaml
Mike57_ has joined #ocaml
ely-se has joined #ocaml
orbifx2 has joined #ocaml
orbifx has quit [Ping timeout: 250 seconds]
Haudegen has joined #ocaml
ygrek_ has quit [Ping timeout: 240 seconds]
fluter has quit [Ping timeout: 252 seconds]
jimt has quit [Ping timeout: 250 seconds]
fluter has joined #ocaml
zpe has joined #ocaml
orbifx has joined #ocaml
orbifx2 has quit [Ping timeout: 260 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
orbifx has quit [Quit: AtomicIRC: The nuclear option.]
govg has joined #ocaml
jimt has joined #ocaml
govg has quit [Client Quit]
govg has joined #ocaml
superboum_ has joined #ocaml
ollehar has joined #ocaml
mort___ has joined #ocaml
freehck has joined #ocaml
manizzle has joined #ocaml
_andre has joined #ocaml
FreeBird_ has joined #ocaml
AltGr has left #ocaml [#ocaml]
FreeBirdLjj has quit [Ping timeout: 252 seconds]
FreeBird_ has quit [Ping timeout: 250 seconds]
infinity0 has quit [Ping timeout: 252 seconds]
sepp2k has joined #ocaml
rgrinberg has joined #ocaml
echo-area has quit [Remote host closed the connection]
rgrinberg has quit [Ping timeout: 246 seconds]
rgrinberg has joined #ocaml
zozozo has quit [Quit: WeeChat 1.2]
Kakadu has joined #ocaml
ceryo has joined #ocaml
infinity0 has joined #ocaml
rgrinberg has quit [Ping timeout: 250 seconds]
mort___ has quit [Quit: Leaving.]
zozozo has joined #ocaml
rand has joined #ocaml
martintrojer has quit [Ping timeout: 250 seconds]
<freehck> people, could you advice me: I start another process with "let (pout,_,perr) = Unix.open_process_full ..." and the programm executed is writing to both pout and perr simultaneously. I was reading it with "input_line <channel>" but iirc pout and perr are just unix pipes... So when one of pipe buffers is full the program executed is locked until I read buffer.
<freehck> What is the correct way to read them simultaneously?
mort___ has joined #ocaml
<freehck> Does Pervasives.input_line locks my ocaml process until the string is read?
<freehck> And if does, what the correct way to read strings is?
<companion_cube> you need some form of concurrency to do this kind of things
<companion_cube> so either you can use threading, or a lib such as Lwt
martintrojer has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
<freehck> companion_cube: can't I so some easier?
<freehck> companion_cube: can't I do it some easier?
govg has quit [Ping timeout: 240 seconds]
<freehck> What I'm really looking for is the way to read channels non-blocking with an exception like End_of_file.
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
ely-se has quit [Quit: leaving]
martintrojer has quit [Max SendQ exceeded]
demonimin has quit [Ping timeout: 250 seconds]
martintrojer has joined #ocaml
ceryo has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ely-se has joined #ocaml
octachron has joined #ocaml
<freehck> I got. I can use Unix.select to find ready processes and if I read from them 0 bytes so it's like End_of_file exception.
<freehck> companion_cube: I think it's less dangerous than concurency. :)
govg has joined #ocaml
govg is now known as Guest28473
BitPuffin has joined #ocaml
Haudegen has quit [Ping timeout: 244 seconds]
ceryo has joined #ocaml
Haudegen has joined #ocaml
AltGr has joined #ocaml
netrobyatmobile has joined #ocaml
blik71 has joined #ocaml
<blik71> how do you check if a variable is an integer with pattern matching?
<lyxia> blik71: it's in the type
<octachron> you don't need to check anything, type are statistically known
<blik71> im trying to write the number? function so ihave to check wheter the type is an int or not and return true or false, i was able to do it with boolean? by matching true or false
Snark has quit [Ping timeout: 265 seconds]
Snark has joined #ocaml
BitPuffin has quit [Ping timeout: 255 seconds]
<octachron> so your boolean function was: "let boolean x = match x false | true -> true" ?
<blik71> yeah and _ -> false otherwise
<companion_cube> freehck: I'd use Lwt, honestly, if you can afford a dependency
<companion_cube> it is similar to Unix.select but much higher-level
<octachron> blik71, this _ branch is never reached
<lyxia> I don't understand what you are trying to do
<octachron> your function can be rewritten as let boolean (x:bool) = true
<blik71> but the type is unknown when to the function
<blik71> *unknown to
<octachron> No types are always known at compile time.
<octachron> as a test, have you tried to apply your boolean function to an integer?
<blik71> so if i needed the function to check the type of an argument and return true or false i just have to use (x:int) -> true and false otherwise for the number? function case)
<flux> blik71, you cannot write ocaml programs that depend on the type
<blik71> so then how would one right a boolean? or number? function if your not able to check for types?
<blik71> *write
<zozozo> blik71: you cannot
BitPuffin has joined #ocaml
<ely-se> types are properties of expressions, not of values
<flux> turns out, you don't need to write that kind of code to make stuff happen.. :)
<ely-se> so they're not available at runtime
<zozozo> blik71: types are actually only used for compilation, they are erased during compilation, and so the program running has no notion of types
<ely-se> and it's a blessing, not a curse. it keeps you from designing terrible APIs such as ones that check whether given arguments are numbers
Guest28473 has quit [Ping timeout: 240 seconds]
<blik71> ah okay, that makes sense
<ely-se> you already know that at compile-time. there's no need to check it at runtime.
jonludlam has joined #ocaml
<flux> I'm sort of generally wary of the "you don't need them, and it's even better you don't have them, because that way your code is better" kind of claims, but I think this time I can agree ;-).
Kakadu has quit [Ping timeout: 246 seconds]
BitPuffin has quit [Ping timeout: 246 seconds]
Kakadu has joined #ocaml
python476 has quit [Ping timeout: 246 seconds]
python476 has joined #ocaml
troydm has joined #ocaml
abbe has quit [Ping timeout: 240 seconds]
abbe has joined #ocaml
Kakadu has quit [Ping timeout: 246 seconds]
mort___ has quit [Ping timeout: 246 seconds]
ollehar has left #ocaml [#ocaml]
mort___ has joined #ocaml
govg has joined #ocaml
AlexRussia has joined #ocaml
rand has quit [Ping timeout: 246 seconds]
mort___ has quit [Quit: Leaving.]
Kakadu has joined #ocaml
bugabinga has quit [Remote host closed the connection]
igoroliveira has joined #ocaml
mort___ has joined #ocaml
bugabinga has joined #ocaml
superboum_ has quit [Read error: Connection reset by peer]
superboum_ has joined #ocaml
ryanartecona has joined #ocaml
kushal has quit [Quit: Leaving]
rand has joined #ocaml
abbe has quit [Ping timeout: 264 seconds]
emaphis has joined #ocaml
abbe has joined #ocaml
sepp2k has quit [Ping timeout: 240 seconds]
ryanartecona has quit [Ping timeout: 240 seconds]
ryanartecona has joined #ocaml
ryanartecona has quit [Client Quit]
BitPuffin has joined #ocaml
sepp2k has joined #ocaml
S11001001 has quit [Ping timeout: 264 seconds]
S11001001 has joined #ocaml
ncthom91 has joined #ocaml
AltGr has left #ocaml [#ocaml]
kushal has joined #ocaml
MercurialAlchemi has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
octachron has quit [Quit: Leaving]
rgrinberg has quit [Ping timeout: 244 seconds]
govg has quit [Quit: leaving]
AltGr has joined #ocaml
ryanartecona has joined #ocaml
jeffmo has joined #ocaml
AltGr has left #ocaml [#ocaml]
mort___ has quit [Ping timeout: 246 seconds]
AlexRussia has quit [Quit: WeeChat 1.4-dev]
AlexRussia has joined #ocaml
blik71 has quit [Ping timeout: 265 seconds]
kushal has quit [Ping timeout: 272 seconds]
python476 has quit [Ping timeout: 246 seconds]
sgnb has quit [Read error: Connection reset by peer]
Guest52186 is now known as micro_
zpe has quit [Remote host closed the connection]
slash^ has joined #ocaml
ely-se has quit [Quit: leaving]
python476 has joined #ocaml
Denommus has joined #ocaml
psy has joined #ocaml
psy has quit [Max SendQ exceeded]
psy has joined #ocaml
MercurialAlchemi has joined #ocaml
^elyse^ has joined #ocaml
psy has quit [Disconnected by services]
psy_ has joined #ocaml
^elyse^ has quit [Client Quit]
mort___ has joined #ocaml
orbifx has joined #ocaml
superboum_ has quit [Ping timeout: 244 seconds]
contempt has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
contempt has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
mcc has joined #ocaml
mcc has quit [Client Quit]
^elyse^ has joined #ocaml
srcerer has quit [Quit: ChatZilla 0.9.92 [Firefox 41.0.2/20151014143721]]
mort___ has quit [Quit: Leaving.]
jonludlam has quit [Ping timeout: 260 seconds]
orbifx2 has joined #ocaml
srcerer has joined #ocaml
orbifx has quit [Ping timeout: 264 seconds]
netrobyatmobile has quit [Quit: Connection closed for inactivity]
blik71 has joined #ocaml
chris2 has quit [Ping timeout: 252 seconds]
emaphis has quit [Ping timeout: 255 seconds]
<MercurialAlchemi> companion_cube: I'm all for labels
<MercurialAlchemi> (re: mailing list)
<companion_cube> :)
<companion_cube> there's a branch WIP
<companion_cube> as an experiment
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
chris2 has joined #ocaml
jonludlam has joined #ocaml
ygrek_ has joined #ocaml
mort___ has joined #ocaml
BitPuffin has quit [Ping timeout: 265 seconds]
emaphis has joined #ocaml
<^elyse^> meh, labels. I much prefer labels as in C. and goto statements
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
chris2 has quit [Ping timeout: 264 seconds]
Haudegen has quit [Ping timeout: 272 seconds]
ryanartecona has joined #ocaml
ryanartecona has quit [Client Quit]
infinity0 has quit [Remote host closed the connection]
jwatzman|work has joined #ocaml
ryanartecona has joined #ocaml
ryanartecona has quit [Client Quit]
darkf has quit [Quit: Leaving]
swgillespie has joined #ocaml
Kakadu has quit [Quit: Page closed]
orbifx has joined #ocaml
ryanartecona has joined #ocaml
infinity0 has joined #ocaml
ryanartecona has quit [Client Quit]
orbifx2 has quit [Ping timeout: 250 seconds]
ryanartecona has joined #ocaml
ryanartecona has quit [Client Quit]
ryanartecona has joined #ocaml
Haudegen has joined #ocaml
infinity0 has quit [Ping timeout: 250 seconds]
orbifx2 has joined #ocaml
mort___ has quit [Quit: Leaving.]
chris2 has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
tautologico has quit [Quit: Connection closed for inactivity]
orbifx has quit [Ping timeout: 250 seconds]
<flux> yes. when do we get a goto for ocaml?
blik71 has quit [Ping timeout: 250 seconds]
kushal has joined #ocaml
<^elyse^> gotocaml
<flux> you could write code like let a = 5 + goto g in .. and the code would just continue from g
<flux> so I guess val goto : label -> 'a
kushal has quit [Read error: Connection reset by peer]
kushal has joined #ocaml
moei has quit [Ping timeout: 272 seconds]
manizzle has quit [Ping timeout: 246 seconds]
hubertus21 has joined #ocaml
mort___ has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
moei has joined #ocaml
ril has joined #ocaml
ncthom91 has joined #ocaml
hath has joined #ocaml
swgillespie has joined #ocaml
chris2 has quit [Ping timeout: 264 seconds]
Mercuria1Alchemi has joined #ocaml
Kakadu has joined #ocaml
raphaelss has quit [Remote host closed the connection]
^elyse^ has quit [Quit: Leaving]
chris2 has joined #ocaml
divyanshu has joined #ocaml
divyanshu has quit [Read error: No route to host]
kushal has quit [Ping timeout: 240 seconds]
_andre has quit [Quit: leaving]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Mercuria1Alchemi has quit [Ping timeout: 240 seconds]
freehck has quit [Remote host closed the connection]
divyanshu has joined #ocaml
divyanshu has quit [Client Quit]
slash^ has quit [Read error: Connection reset by peer]
pierpa has joined #ocaml
superboum_ has joined #ocaml
yaewa has joined #ocaml
moei has quit [Ping timeout: 252 seconds]
manizzle has joined #ocaml
rgrinberg has joined #ocaml
yaewa has quit [Client Quit]
moei has joined #ocaml
rgrinberg has quit [Ping timeout: 260 seconds]
^elyse^ has joined #ocaml
^elyse^ has quit [Client Quit]
^elyse^ has joined #ocaml
rgrinberg has joined #ocaml
superboum_ has quit [Ping timeout: 250 seconds]
raphaelss has joined #ocaml
swgillespie has joined #ocaml
superboum_ has joined #ocaml
nchambers is now known as nchambers\dead
superboum_ has quit [Client Quit]
ollehar has joined #ocaml
ril is now known as ril[away]
libertas has quit [Ping timeout: 252 seconds]
ril[away] is now known as ril
ncthom91 has quit [Ping timeout: 240 seconds]
ncthom91 has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
jonludlam has quit [Ping timeout: 240 seconds]
superboum_ has joined #ocaml
ryanartecona has joined #ocaml
nchambers\dead is now known as nchambers\undead
nchambers\undead is now known as nchambers\fsckin
nchambers\fsckin is now known as nchambers
MercurialAlchemi has quit [Ping timeout: 244 seconds]
lobo has joined #ocaml
ygrek_ has quit [Ping timeout: 240 seconds]
hath has quit [Ping timeout: 246 seconds]
Haudegen has quit [Ping timeout: 260 seconds]
ollehar has quit [Ping timeout: 276 seconds]
troydm has quit [Ping timeout: 260 seconds]
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
python476 has quit [Ping timeout: 246 seconds]
nchambers is now known as {0xc6}
{0xc6} is now known as nchambers
Haudegen has joined #ocaml
sepp2k has quit [Quit: Leaving.]
mac10688 has joined #ocaml
orbifx has joined #ocaml
orbifx2 has quit [Ping timeout: 250 seconds]
ygrek_ has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
orbifx2 has joined #ocaml
orbifx has quit [Ping timeout: 250 seconds]
ceryo has quit [Quit: Textual IRC Client: www.textualapp.com]
orbifx has joined #ocaml
orbifx2 has quit [Ping timeout: 276 seconds]
^elyse^ has quit [Quit: Leaving...]
<jwatzman|work> can you emulate that with callcc? (does ocaml have callcc?)
nicoo has quit [Ping timeout: 260 seconds]
nicoo has joined #ocaml
emaphis has quit [Ping timeout: 240 seconds]
blik71 has joined #ocaml
lobo has quit [Quit: zleep]
Simn has quit [Quit: Leaving]
rand has quit [Quit: leaving]
mfp has quit [Remote host closed the connection]
emaphis has joined #ocaml
Kakadu has quit [Remote host closed the connection]
mfp has joined #ocaml
mthom has joined #ocaml