adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
KeyJoo has quit [Read error: Connection reset by peer]
pierpq has joined #ocaml
kakadu has quit [Remote host closed the connection]
jao has quit [Ping timeout: 256 seconds]
cbot has joined #ocaml
navaja has quit [Ping timeout: 264 seconds]
spew has quit [Quit: Connection closed for inactivity]
infinity0 has quit [Ping timeout: 240 seconds]
infinity0 has joined #ocaml
cbot has quit [Ping timeout: 240 seconds]
cbot has joined #ocaml
malina has joined #ocaml
kerrhau has joined #ocaml
kerrhau has quit [Changing host]
kerrhau has joined #ocaml
ousado has quit [Ping timeout: 260 seconds]
ousado has joined #ocaml
ygrek has quit [Ping timeout: 272 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
seangrove has joined #ocaml
sh0t has quit [Remote host closed the connection]
bobbypriambodo_ has quit [Quit: This computer has gone to sleep]
silver has quit [Read error: Connection reset by peer]
nahra has quit [Remote host closed the connection]
nahra has joined #ocaml
navaja has joined #ocaml
navaja is now known as spew
spew has quit [*.net *.split]
seangrove has quit [*.net *.split]
ousado has quit [*.net *.split]
infinity0 has quit [*.net *.split]
malina has quit [*.net *.split]
ahf has quit [*.net *.split]
h11 has quit [*.net *.split]
leah2 has quit [*.net *.split]
micro has quit [*.net *.split]
ocabot_ has quit [Ping timeout: 260 seconds]
infinity0 has joined #ocaml
malina has joined #ocaml
leah2 has joined #ocaml
ahf has joined #ocaml
ousado has joined #ocaml
seangrove has joined #ocaml
micro has joined #ocaml
h11 has joined #ocaml
spew has joined #ocaml
leah2 has quit [Max SendQ exceeded]
ocabot_ has joined #ocaml
leah2 has joined #ocaml
mfp has quit [Ping timeout: 260 seconds]
nullifidian_ has joined #ocaml
nullifidian has quit [Read error: Connection reset by peer]
rostero has joined #ocaml
enterprisey has joined #ocaml
axesd9 has joined #ocaml
sh0t has joined #ocaml
seangrove has quit [Ping timeout: 263 seconds]
spew has quit [Read error: Connection reset by peer]
axesd9 has quit [Ping timeout: 272 seconds]
mbuf has joined #ocaml
axesd9 has joined #ocaml
yaewa has joined #ocaml
moei has quit [Ping timeout: 248 seconds]
malina has quit [Quit: Throwing apples of Montserrat]
pierpq has quit [Quit: Page closed]
sh0t has quit [Remote host closed the connection]
jimt has quit [Quit: leaving]
jimt has joined #ocaml
govg has joined #ocaml
wagle has quit [Remote host closed the connection]
wagle has joined #ocaml
kerrhau has quit [Ping timeout: 248 seconds]
axesd9 has quit [Ping timeout: 248 seconds]
_whitelogger has joined #ocaml
zmt00 has quit [Quit: Leaving]
KeyJoo has joined #ocaml
raphaelss has quit [Remote host closed the connection]
yaewa has quit [Quit: Leaving...]
moei has joined #ocaml
MercurialAlchemi has joined #ocaml
axesd9 has joined #ocaml
axesd9 has quit [Ping timeout: 248 seconds]
raduom has joined #ocaml
raduom has quit [Client Quit]
raduom has joined #ocaml
axesd9 has joined #ocaml
argent_smith has joined #ocaml
sigjuice has quit [Quit: ZNC - http://znc.in]
sigjuice has joined #ocaml
jimmyrcom has quit [Remote host closed the connection]
cross has quit [Quit: Lost terminal]
raphaelss has joined #ocaml
TarVanimelde has quit [Quit: TarVanimelde]
cbot has quit [Quit: Leaving]
AltGr has joined #ocaml
Nazral has quit [Ping timeout: 252 seconds]
dogui has quit [Ping timeout: 248 seconds]
dogui has joined #ocaml
Nazral has joined #ocaml
axesd9 has quit [Ping timeout: 264 seconds]
Soni has quit [Excess Flood]
Soni has joined #ocaml
maker has quit [Quit: = ""]
axesd9 has joined #ocaml
enterprisey has quit [Remote host closed the connection]
axesd9 has quit [Ping timeout: 272 seconds]
sepp2k has joined #ocaml
Haudegen has joined #ocaml
maker has joined #ocaml
barcabuona has joined #ocaml
nahra has quit [Remote host closed the connection]
axesd9 has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Client Quit]
johnelse has joined #ocaml
mfp has joined #ocaml
<_xvilka_> hi
<_xvilka_> if I run an external process using Unix.open_process, using unpacker, but sometimes this child process goes into infinite loop or I don't know what, probably a bug in external program, I don't really care. Is it possible to kill it after e.g. a few minutes if there is no response?
<_xvilka_> and how should I do that?
Serpent7776 has joined #ocaml
nahra has joined #ocaml
KeyJoo has quit [Ping timeout: 240 seconds]
<johnelse> _xvilka_: I would try setting the in_channel's underlying file descriptor as nonblocking - see Unix.descr_of_in_channel and Unix.set_nonblock
axesd9 has quit [Ping timeout: 264 seconds]
MercurialAlchemi has quit [Ping timeout: 256 seconds]
<_xvilka_> johnelse: aha, thank you, will try
jimmyrcom has joined #ocaml
<johnelse> saying that, I'm not sure of the easiest way to get the pid of the process created by Unix.open_process
dhil has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
jjido has joined #ocaml
govg has joined #ocaml
MercurialAlchemi has joined #ocaml
<orbifx[m]> Is the implementation of lists optimised at all?
<orbifx[m]> Say if the compiler knows in advance the size of it, will it allocate the whole list as a block?
<companion_cube> I don't think so
<companion_cube> well, if you create nodes immediately one after the other, the GC will indeed allocate them contiguously
<companion_cube> but the shape remains the same (i.e. each node is 3 words)
donflopez has joined #ocaml
kakadu_ has joined #ocaml
zolk3ri has joined #ocaml
dhil has quit [Ping timeout: 264 seconds]
zolk3ri has quit [Ping timeout: 240 seconds]
zolk3ri has joined #ocaml
webshinra has quit [Remote host closed the connection]
webshinra has joined #ocaml
shinnya has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
donflopez has joined #ocaml
donflopez has quit [Client Quit]
KeyJoo has joined #ocaml
<def`> the native compiler optimises allocation that are known statically
jjido has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
donflopez has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
donflopez has joined #ocaml
mbuf has quit [Quit: Leaving]
webshinra has quit [Remote host closed the connection]
webshinra has joined #ocaml
silver has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
bobbypriambodo_ has joined #ocaml
bobbypriambodo_ is now known as bobbypriambodo
donflopez has joined #ocaml
donflopez has quit [Client Quit]
Soni has quit [Ping timeout: 240 seconds]
Soni has joined #ocaml
Haudegen has quit [Remote host closed the connection]
ziyourenxiang has joined #ocaml
BitPuffin|osx has joined #ocaml
<rixed_> Asking here although not specific to OCaml: I'm implementing a small DSL for which I need typing, and I was considering using facile (the constraint solver) for that. Has constraint solvers already been used for typing ?
<Drup> rixed_: not in OCaml
<Drup> rixed_: for other languages, it depends what you mean by constraint solvers. If you mean something like SMT, then F* does that. Lot's of typechecker works by "constraint solving" (GHC, Elm, ...) but those are qui different than SMT solvers
donflopez has joined #ocaml
<Drup> (and usually, they need to be custom-made)
shinnya has quit [Ping timeout: 264 seconds]
<rixed_> Drup: Ack, thank you for the info. I needed a reality check, now I have to dig into this a bit more (I've used facile a while back for something that looks similar, but am unaware of the various kind of constraint solvers)
<Drup> I don't know Facile enough to say if it's an appropriate backend for a typechecker
<Drup> rixed_: but if I were you, I would ask myself if I *really* need my own typechecker :)
<rixed_> Drup: Are their generic type checkers out there that I could use ?
<rixed_> Drup: for now I do have my own ; that's why I wanted to use facile instead.
<Drup> No, but you can encode a shitton of things into OCaml/GHC's type systems :3
<rixed_> Drup: Mmmm. In this case I have to type "programs" written in a DSL similar to SQL and check that their input/output match, depending on how they are assembled. I'm afraid ocaml type system is out of the way at this stage, but maybe I fail to see what you are thinking about.
<Drup> Hard to say like that
marsam has joined #ocaml
govg has quit [Ping timeout: 248 seconds]
govg has joined #ocaml
<orbifx[m]> def`: what knd of optimisation?
<def`> regroup allocation and lift the static parts
<def`> let f x = [x;x;x] will allocate once 9 words
<def`> let f x = [x;2;3] will allocate 3 words
superherointj has joined #ocaml
Haudegen has joined #ocaml
baboum has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
MercurialAlchemi has quit [Ping timeout: 272 seconds]
spew has joined #ocaml
baboum has quit [Ping timeout: 260 seconds]
dhil has joined #ocaml
FreeBirdLjj has joined #ocaml
baboum has joined #ocaml
donflopez has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
aciniglio has joined #ocaml
superherointj has quit [Quit: Leaving]
bobbypriambodo has quit [Quit: Leaving]
<orbifx[m]> Nice, good to know def`
sh0t has joined #ocaml
baboum has quit [Quit: WeeChat 2.0]
freusque has quit [Quit: WeeChat 1.9.1]
dhil has quit [Ping timeout: 256 seconds]
barcabuona has quit [Ping timeout: 240 seconds]
barcabuona has joined #ocaml
dhil has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
raphaelss has quit [Remote host closed the connection]
raduom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
barcabuona has quit [Quit: WeeChat 2.0]
zmt00 has joined #ocaml
govg has quit [Quit: leaving]
donflopez has joined #ocaml
donflopez has quit [Ping timeout: 256 seconds]
ygrek has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 272 seconds]
Serpent7776 has quit [Quit: Leaving]
dhil has quit [Ping timeout: 240 seconds]
Anarchos has joined #ocaml
johnelse_ has joined #ocaml
johnelse has quit [Ping timeout: 260 seconds]
sepp2k has quit [Quit: Leaving.]
jnavila has joined #ocaml
raphaelss has joined #ocaml
ziyourenxiang has quit [Ping timeout: 260 seconds]
johnelse_ has quit [Read error: Connection reset by peer]
Jesin has joined #ocaml
johnelse has joined #ocaml
Jesin has quit [Quit: Leaving]
kakadu_ has quit [Quit: Konversation terminated!]
jnavila has quit [Ping timeout: 240 seconds]
andreas__ has joined #ocaml
marsam has quit [Ping timeout: 240 seconds]
mk9 has joined #ocaml
Jesin has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 256 seconds]
riveter has quit [Quit: ZNC - http://znc.in]
riveter has joined #ocaml
slash^ has joined #ocaml
kakadu has joined #ocaml
marsam has joined #ocaml
nullifidian__ has joined #ocaml
nullifidian_ has quit [Read error: Connection reset by peer]
slash^ has quit [Quit: Leaving]
raphaelss has quit [Ping timeout: 240 seconds]
jnavila has joined #ocaml
aciniglio has quit [Ping timeout: 260 seconds]
mk9 has quit [Quit: mk9]
kerrhau has joined #ocaml
kerrhau has quit [Changing host]
kerrhau has joined #ocaml
jnavila has quit [Ping timeout: 272 seconds]
argent_smith has quit [Quit: Leaving.]
sh0t has quit [Remote host closed the connection]
Anarchos has quit [Quit: Vision[0.10.2]: i've been blurred!]
marsam has quit [Ping timeout: 240 seconds]
cbot has joined #ocaml
alexelcu has quit [Ping timeout: 272 seconds]
jnavila has joined #ocaml
jnavila has quit [Remote host closed the connection]
raphaelss has joined #ocaml
AltGr has left #ocaml [#ocaml]
sh0t has joined #ocaml
superherointj has joined #ocaml
pierpa has joined #ocaml
orbifx has joined #ocaml
zolk3ri has quit [Quit: leaving]
mk270 has joined #ocaml
sh0t has quit [Ping timeout: 272 seconds]
sh0t has joined #ocaml
kakadu has quit [Remote host closed the connection]
sh0t has quit [Ping timeout: 240 seconds]
navaja has joined #ocaml