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