<companion_cube>
jedb: Ada is not safe for dynamic alloc afaik
<jedb>
good thing you don't need to manually heap alloc in Ada then
<companion_cube>
well unless you want to deal with things or arbitrary size, no??
<companion_cube>
how do you handle a large array of runtime-known size, whose lifetime is not lexically scoped
<jedb>
either you would use a vector in the standard library, or you would make use of the parameter passing and unconstrained type returning that mean it can be lexically scoped and you just aren't trying
<companion_cube>
Ah, but the vector uses malloc internally?
<jedb>
depends on the standard library variant that you're using, but usually yes, RAII
<companion_cube>
Right, so it's on par with C++
<companion_cube>
With better ergonomics, for sure.
jao has quit [Ping timeout: 252 seconds]
<jedb>
and as I said, you can always just use the stack with the flexible parameter passing and unconstrained type returning
<jedb>
as in, it is trivial to return a runtime-known size array from a function that was created in the function entirely on the stack
jao has joined #ocaml
<jedb>
companion_cube: out of curiosity, did you have any particular example in mind for some unconstrained type that is not lexically scoped?
<jedb>
honestly your question seems somewhat ill-formed to begin with, since the array type will always have a greater scope than the actual array and you can return values of unconstrained types on the stack meaning my suggestion of a vector as an option was probably unnecessary
pukkamustard has quit [Read error: Software caused connection abort]
<ski>
"unconstrained type returning" and "flexible parameter passing" referring to ?
ski has quit [Read error: Software caused connection abort]
<jedb>
ski: unconstrained type returning referring to the ability to return a value of runtime-determined size on the stack, and flexible parameter passing referring to in/out parameter passing modes that eliminate the need to use pointers or worry about whether to pass by copy or reference when passing parameters to and from functions
<companion_cube>
jedb: i have things with unknown scope all the time (granted, it's a peculiar domain - logic)
ski has joined #ocaml
ansiwen has quit [Read error: Software caused connection abort]
spip has quit [Read error: Connection reset by peer]
spip has joined #ocaml
ansiwen has joined #ocaml
troydm has quit [Ping timeout: 252 seconds]
troydm has joined #ocaml
<jedb>
actually on-topic, I am going to be very happy when I'm done with this little GUI program I'm writing in OCaml right now because the documentation for lablgtk is a massive pain to figure out
GreaseMonkey has quit [Read error: Software caused connection abort]
greaser|q has joined #ocaml
chrisz has quit [Ping timeout: 272 seconds]
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
greaser|q has quit [Changing host]
greaser|q has joined #ocaml
greaser|q is now known as GreaseMonkey
genpaku has quit [Read error: Connection reset by peer]
genpaku has joined #ocaml
chrisz has joined #ocaml
waleee has quit [Ping timeout: 255 seconds]
troydm has quit [Ping timeout: 272 seconds]
jao has quit [Ping timeout: 255 seconds]
zebrag has quit [Quit: Konversation terminated!]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
wingsorc has quit [Remote host closed the connection]
wingsorc has joined #ocaml
bgs has joined #ocaml
bgs has quit [Remote host closed the connection]
Haudegen has joined #ocaml
bartholin has joined #ocaml
azimut has quit [Ping timeout: 255 seconds]
pukkamustard has joined #ocaml
calvnce has joined #ocaml
szkl has quit [Quit: Connection closed for inactivity]
bartholin has quit [Quit: Leaving]
calvnce has quit [Quit: Client closed]
calvnce has joined #ocaml
qwr has quit [Ping timeout: 268 seconds]
qwr has joined #ocaml
xd1le has joined #ocaml
Haudegen has quit [Ping timeout: 252 seconds]
Haudegen has joined #ocaml
haesbaert has quit [Ping timeout: 272 seconds]
haesbaert has joined #ocaml
olle has joined #ocaml
troydm has joined #ocaml
Lucretia has joined #ocaml
<Lucretia>
anyone managed to build cucumber.ml?
wingsorc has quit [Remote host closed the connection]
wingsorc has joined #ocaml
calvnce has quit [Quit: Client closed]
calvnce has joined #ocaml
gwizon has quit [Ping timeout: 246 seconds]
waleee has joined #ocaml
taupiqueur has joined #ocaml
bobo_ has joined #ocaml
spip has quit [Ping timeout: 255 seconds]
mro has joined #ocaml
troydm has quit [Ping timeout: 248 seconds]
sparogy_ has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
sparogy has quit [Read error: Connection reset by peer]
sparogy_ is now known as sparogy
mro has quit [Remote host closed the connection]
drewolson has quit [*.net *.split]
jtm has quit [*.net *.split]
hannes has quit [*.net *.split]
companion_cube has quit [*.net *.split]
mro has joined #ocaml
drewolson has joined #ocaml
companion_cube has joined #ocaml
hannes has joined #ocaml
jtm has joined #ocaml
Haudegen has joined #ocaml
Tuplanolla has joined #ocaml
motherfsck has joined #ocaml
Lucretia has left #ocaml [Konversation terminated!]
rgrinberg has joined #ocaml
mro has quit [Remote host closed the connection]
motherfsck has quit [Ping timeout: 252 seconds]
mro has joined #ocaml
chrisz has quit [Ping timeout: 246 seconds]
chrisz has joined #ocaml
motherfsck has joined #ocaml
mro has quit [Remote host closed the connection]
zebrag has joined #ocaml
mro has joined #ocaml
Serpent7776 has joined #ocaml
drewolson3 has joined #ocaml
taupiqueur has quit [Remote host closed the connection]
drewolson3 is now known as drewolson
drewolson has quit [Ping timeout: 252 seconds]
taupiqueur has joined #ocaml
companion_cube has quit [Ping timeout: 252 seconds]
companion_cube has joined #ocaml
<reynir>
did printf's %S always include the quotes?
kakadu_ has quit [Quit: Konversation terminated!]
<hannes>
reynir: yes
mro has quit [Quit: Leaving...]
Tuplanolla has quit [Ping timeout: 252 seconds]
Tuplanolla has joined #ocaml
<reynir>
ah, maybe I used to write "'%s'" (String.escaped str) instead of "'%S'" str
bgs has joined #ocaml
<hannes>
%S surrounds the string with double quotes and escapes all non-printable characters (in octal encoding)
Haudegen has quit [Quit: Bin weg.]
dnh has joined #ocaml
xd1le has quit [Quit: xd1le]
azimut has joined #ocaml
taupiqueur has quit [Remote host closed the connection]
chrisz has quit [Ping timeout: 252 seconds]
chrisz has joined #ocaml
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
Haudegen has joined #ocaml
zebrag has quit [Read error: Connection reset by peer]
zebrag has joined #ocaml
troydm has joined #ocaml
Serpent7776 has quit [Ping timeout: 252 seconds]
Serpent7776 has joined #ocaml
bartholin has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
calvnce has quit [Quit: Client closed]
Haudegen has joined #ocaml
jao has joined #ocaml
rond_ has joined #ocaml
xgqt has quit [Remote host closed the connection]
xgqt has joined #ocaml
gentauro has quit [Read error: Connection reset by peer]
gentauro has joined #ocaml
Haudegen has quit [Ping timeout: 252 seconds]
Haudegen has joined #ocaml
zebrag has quit [Ping timeout: 252 seconds]
zebrag has joined #ocaml
taupiqueur has joined #ocaml
bartholin has quit [Ping timeout: 252 seconds]
bartholin has joined #ocaml
taupiqueur has quit [Remote host closed the connection]
taupiqueur has joined #ocaml
Stumpfenstiel has joined #ocaml
bgs has quit [Remote host closed the connection]
gentauro has quit [Ping timeout: 252 seconds]
gentauro has joined #ocaml
jtm has quit [Quit: k byeeee]
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jtm has joined #ocaml
Stumpfenstiel has quit [Quit: No Ping reply in 180 seconds.]
Stumpfenstiel has joined #ocaml
jtm has quit [Quit: k byeeee]
jtm has joined #ocaml
Serpent7776 has quit [Ping timeout: 248 seconds]
jtm has quit [Client Quit]
bartholin has quit [Ping timeout: 252 seconds]
jtm has joined #ocaml
jtm has quit [Quit: k byeeee]
jtm has joined #ocaml
rond_ has quit [Quit: Client closed]
bartholin has joined #ocaml
Anarchos has joined #ocaml
Stumpfenstiel has quit [Ping timeout: 252 seconds]
bartholin has quit [Quit: Leaving]
olle has quit [Ping timeout: 255 seconds]
gentauro has quit [Ping timeout: 252 seconds]
gentauro has joined #ocaml
taupiqueur has quit [Remote host closed the connection]