gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH
<penryu> neeeewbi: yeah, just now.
wtetzner has quit [Read error: Connection reset by peer]
emmanuelux has quit [Ping timeout: 260 seconds]
metasyntax has quit [Quit: WeeChat [quit]]
lopex has quit []
abdallah has joined #ocaml
joewilliams is now known as joewilliams_away
drhodes has joined #ocaml
nimred has quit [Ping timeout: 258 seconds]
pheredhel` has quit [Ping timeout: 258 seconds]
yroeht has quit [Ping timeout: 258 seconds]
pheredhel has joined #ocaml
nimred has joined #ocaml
neeeewbi has quit [Quit: Page closed]
yroeht has joined #ocaml
everyonemines has joined #ocaml
avsm has quit [Quit: Leaving.]
arubin has quit [Quit: arubin]
everyonemines has quit [Quit: Leaving.]
caligula has quit [Quit: Konversation terminated!]
caligula has joined #ocaml
abdallah has quit [Quit: Ex-Chat]
avsm has joined #ocaml
avsm has quit [Read error: Connection reset by peer]
avsm has joined #ocaml
avsm has quit [Client Quit]
ulfdoz has quit [Ping timeout: 258 seconds]
ttamttam has joined #ocaml
avsm has joined #ocaml
avsm1 has joined #ocaml
avsm has quit [Read error: Connection reset by peer]
ttamttam has left #ocaml []
avsm1 has quit [Quit: Leaving.]
dcolish has quit [Ping timeout: 244 seconds]
ttamttam has joined #ocaml
dcolish has joined #ocaml
avsm has joined #ocaml
larhat has joined #ocaml
ikaros has joined #ocaml
penryu is now known as totally-not-penr
totally-not-penr is now known as TotallyNotPenryu
TotallyNotPenryu is now known as penryu
likebike has quit [Ping timeout: 252 seconds]
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
mcclurmc has joined #ocaml
Kakadu has joined #ocaml
asmanur_ has quit [Ping timeout: 260 seconds]
asmanur has joined #ocaml
lopex has joined #ocaml
ankit9 has quit [Read error: Connection reset by peer]
<Kakadu> Hi! Is anybody involved in some educational process (maybe in some university)?
avsm has quit [Quit: Leaving.]
<adrien> Kakadu: I'm not really but you should directly ask your next question ;-)
<Kakadu> What are typical graduation works you have seen?
<Kakadu> (I'm not sure that i've traslated `graduation works` right)
<adrien> what someone has to do in order to get a mark?
<Kakadu> adrien: yes
<Kakadu> I don't wnat some imperative trash
ankit9 has joined #ocaml
<adrien> I've seen implementing algorithms, find the complexity of the implementation, prove them
<Kakadu> but it's difficult to find something interesting in SPbSU
<Kakadu> adrien: In what languages students usually use?
<Kakadu> maybe is better write ot caml-list?
<adrien> was caml for me
<adrien> and maybe, but you'll have to state almost all your questions from the beginning
<adrien> have to go now
<Kakadu> adrien: OK, thanks
emmanuelux has joined #ocaml
dcolish has quit [Ping timeout: 240 seconds]
_andre has joined #ocaml
_andre has quit [Read error: Connection reset by peer]
_andre has joined #ocaml
dcolish has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
ikaros has joined #ocaml
metasyntax|work has quit [Ping timeout: 252 seconds]
metasyntax|work has joined #ocaml
oriba has joined #ocaml
Asmadeus has quit [Ping timeout: 260 seconds]
Asmadeus has joined #ocaml
avsm has joined #ocaml
Kakadu has quit [Quit: Page closed]
lopex has quit []
oriba has quit [Quit: oriba]
lopex has joined #ocaml
schme has quit [Read error: Operation timed out]
schme has joined #ocaml
schme has quit [Changing host]
schme has joined #ocaml
jonathandav has joined #ocaml
jamii has joined #ocaml
yezariaely has joined #ocaml
yezariaely has quit [Client Quit]
yezariaely has joined #ocaml
joewilliams_away is now known as joewilliams
DimitryKakadu has joined #ocaml
Associat0r has joined #ocaml
Associat0r has quit [Changing host]
Associat0r has joined #ocaml
ttamttam has quit [Remote host closed the connection]
dnolen has joined #ocaml
mdelaney has joined #ocaml
larhat has quit [Quit: Leaving.]
dnolen has quit [Quit: dnolen]
ulfdoz has joined #ocaml
junsuijin has joined #ocaml
eb4890 has joined #ocaml
mdelaney has quit [Quit: mdelaney]
jamii has quit [Remote host closed the connection]
ttamttam has joined #ocaml
ygrek has joined #ocaml
ulfdoz has quit [Read error: Operation timed out]
yezariaely has left #ocaml []
ulfdoz has joined #ocaml
ttamttam has left #ocaml []
lpereira has joined #ocaml
<_habnabit> is there a builtin way to read from /dev/{u,}random in ocaml? or should I just open it?
<thelema> _habnabit: just open it.
<thelema> ocaml doesn't assume any OS RNG infrastructure
<_habnabit> okay.
<_habnabit> eh? I'm getting 'undefined symbols: "_$25nativeint_of_int64"' when trying to use BatNativeint.of_int64
<thelema> quite eh
<_habnabit> haven't seen this before?
<thelema> nope, although I've not wanted to use nativeint before, so...
<thelema> external of_int64 : int64 -> nativeint = "%nativeint_of_int64"
<_habnabit> does the leading % mean that it's supposed to be an internal call?
<_habnabit> like %identity.
<thelema> yes
<_habnabit> hmm.
<thelema> external to_nativeint : int64 -> nativeint = "%int64_to_nativeint"
<thelema> oops, looks like that internal call was named wrong somenow.
<thelema> (the second is from stdlib/int64.ml)
<_habnabit> ah.
<thelema> our fault, fixing...
<_habnabit> I'll use Int64.of_nativeint, then.
<_habnabit> er, to_nativeint.
<thelema> yes
<_habnabit> yeah, that linked successfully. thanks.
<thelema> I'm a bit disappointed there wasn't any compile error
ikaros has quit [Read error: Operation timed out]
<mfp> _habnabit: see also cryptokit's Cryptokit.Random.device_rng
<_habnabit> is that compatible with Gsl_rng?
<mfp> is Gsl_rng a closed type?
<mfp> cryptokit uses class types for most things, including RNGs
<mfp> after a quick look at http://oandrieu.nerim.net/ocaml/gsl/doc/Gsl_rng.html, the answer is no
<mfp> erm no, it's not compatible
<mfp> but Gsl_rng.t is a closed abstract type, so there's no way to implement it on top of (u)random externally anyway
<thelema> mfp: modulo using Obj.magic to break the abstraction
<thelema> wtf: "src/batNativeint.ml:64" >:: (fun () -> OUnit.assert_bool "src/batNativeint.ml:64" ((Nativeint.to_int32 8n) = 8l)) ;
<thelema> Error: This expression has type int32 but an expression was expected of type BatNativeint.t = nativeint
<thelema> ... grr, (=) is being redefined.
<thelema> as soon as the question is asked, the answer comes
<thelema> _habnabit: fixed in git (with tests), thanks for reporting the problem
ikaros has joined #ocaml
ikaros has quit [Ping timeout: 252 seconds]
<_habnabit> mfp, right; I'm just using /dev/random to seed a Gsl_rng
ikaros has joined #ocaml
ikaros_ has joined #ocaml
ikaros has quit [Ping timeout: 258 seconds]
iZZy_ has joined #ocaml
ikaros_ has quit [Ping timeout: 260 seconds]
iZZy_ has quit [Client Quit]
jamii has joined #ocaml
lpereira has quit [Quit: Leaving.]
eb4890 has quit [Ping timeout: 258 seconds]
_andre has quit [Quit: leaving]
DimitryKakadu has quit [Remote host closed the connection]
ulfdoz has quit [Ping timeout: 276 seconds]
neeewbi has joined #ocaml
<neeewbi> what do i need to install to use the arrow keys in the ocaml command line
<neeewbi> i asked before but i forgot
<thelema> neeewbi: rlwrap
<neeewbi> sweet
<neeewbi> thx
<neeewbi> damnit i have that installed and it doesn't do what i want it to
<thelema> rlwrap ocaml
<thelema> what do you want it to do?
<neeewbi> nevermind
<neeewbi> i have to type rlwrap ocaml
<neeewbi> that is a pain
<thelema> alias ocaml='rlwrap ocaml'
<neeewbi> sweetness
jamii has quit [Remote host closed the connection]
<neeewbi> thx
<penryu> neeewbi: also ledit and utop were mentioned
<Qrntzz> utop has a lot of dependencies
<Qrntzz> though if you're going to really be involved with OCaml, that isn't a problem
<neeewbi> yeah i want to get as little involved as possible
ygrek has quit [Ping timeout: 248 seconds]
<neeewbi> i already compiled 3.12.1 from source. but then i found there was a binary i could have installed
<thelema> oops
<neeewbi> it kept me entertainedin class
noj has quit [Ping timeout: 260 seconds]
noj has joined #ocaml
neeewbi has quit [Ping timeout: 252 seconds]
<adrien> tentative announce + kind of intro to lablgtk-react; actual announce later this week after making sure it can be understood by most people: http://notk.org/~adrien/lablgtk_react_announce.txt (comments welcome ;-) )
<adrien> and I'm actually wondering what to do: I'm using React for it but could use anything that provides a "fold" function (this week's "PEC" could work for instance, ccell could too, ...)
everyonemines has joined #ocaml
Amorphous has quit [Read error: Operation timed out]
avsm has quit [Quit: Leaving.]
Amorphous has joined #ocaml
<everyonemines> any good websites on the format of ocaml bytecode?
raphael-1 has joined #ocaml
adrien_ has joined #ocaml
hto_ has joined #ocaml
alp_ has joined #ocaml
emmanuelux has quit [*.net *.split]
Tianon has quit [*.net *.split]
alpounet has quit [*.net *.split]
_habnabit has quit [*.net *.split]
adrien has quit [*.net *.split]
hto has quit [*.net *.split]
raphael-p has quit [*.net *.split]
bitbckt has quit [*.net *.split]
alp_ is now known as alpounet
emmanuelux has joined #ocaml
Tianon has joined #ocaml
_habnabit has joined #ocaml
bitbckt has joined #ocaml
emmanuelux has quit [*.net *.split]
Tianon has quit [*.net *.split]
_habnabit has quit [*.net *.split]
bitbckt has quit [*.net *.split]
emmanuelux has joined #ocaml
Tianon has joined #ocaml
_habnabit has joined #ocaml
bitbckt has joined #ocaml
rixed has quit [Ping timeout: 276 seconds]
hcarty__ has joined #ocaml
<hcarty__> everyonemines: I think there is information somewhere in this project on the bytecode format - http://ocamljava.x9c.fr/
<hcarty__> everyonemines: In the documentation for one of the sub projects I think
<everyonemines> so it converts ocaml bytecode to java bytecode to allow people to run on the JVM and use java libs?
<everyonemines> er no, it takes .ml files.
<everyonemines> well, looking that the docs, it still uses .cmi files
Qrntzz has quit [Ping timeout: 240 seconds]
<hcarty__> everyonemines: There are several pieces
<hcarty__> One is a replacement for oca lc
<hcarty__> Ack, ocamlc rather
<hcarty__> Another is a replacement for ocamlrun
<hcarty__> And there are some other pieces as well
<hcarty__> The documentation for one of the components includes a description of the bytecode format
arubin has joined #ocaml
<everyonemines> ok
emmanuelux has quit [*.net *.split]
Tianon has quit [*.net *.split]
_habnabit has quit [*.net *.split]
bitbckt has quit [*.net *.split]
emmanuelux has joined #ocaml
Tianon has joined #ocaml
_habnabit has joined #ocaml
bitbckt has joined #ocaml
<hcarty__> everyonemines: That has it