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…]