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
zolk3ri has quit [Quit: Lost terminal]
JimmyRcom has quit [Ping timeout: 264 seconds]
pyx has joined #ocaml
pyx has quit [Client Quit]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 264 seconds]
cbot_ has joined #ocaml
cbot has quit [Ping timeout: 240 seconds]
opios has quit [Ping timeout: 260 seconds]
hdon has quit [Ping timeout: 256 seconds]
jack5638 has quit [Ping timeout: 260 seconds]
jack5638 has joined #ocaml
opios has joined #ocaml
opios has quit [Changing host]
opios has joined #ocaml
steenuil has quit [Ping timeout: 256 seconds]
halogena1dtoast has joined #ocaml
Algebr` has quit [Ping timeout: 255 seconds]
cobreadmonster has joined #ocaml
FreeBirdLjj has joined #ocaml
NingaLeaf has joined #ocaml
mfp has quit [Ping timeout: 244 seconds]
spew has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
pierpa has quit [Quit: Page closed]
shinnya has quit [Ping timeout: 244 seconds]
halogena1dtoast is now known as halogenandtoast
silver has quit [Quit: rakede]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
spew has quit [Read error: Connection reset by peer]
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 276 seconds]
jbrown has quit [Ping timeout: 244 seconds]
noitakomentaja has quit [Remote host closed the connection]
noitakomentaja has joined #ocaml
kleimkuhler has joined #ocaml
kleimkuhler has quit [Client Quit]
malina has quit [Ping timeout: 248 seconds]
hdon has joined #ocaml
NingaLeaf has quit [Quit: Textual IRC Client: www.textualapp.com]
shinnya has joined #ocaml
hdon has quit [Ping timeout: 256 seconds]
<xvilka> hi
<xvilka> If I am unhappy with manipulating Bytes or String, will one-dimensional Bigarray give me more performance?
Haudegen has joined #ocaml
<xvilka> can Bigarray.map_file handle 1-10Gb files for example?
kvda has joined #ocaml
MercurialAlchemi has joined #ocaml
<Enjolras> define performance. If you want bigarray as string, check one of the bigstring libraries, like in containers or https://github.com/inhabitedtype/bigstringaf/blob/master/lib/bigstringaf.mli
<Enjolras> map_file is just mmap, it can handle what the OS can handle. So 10GB yes, but on 64bits of course
<Enjolras> also iirc that's deprecated and it's now in another lib ?
<Enjolras> yes, you should use Unix.LargeFile.map_file now
mbuf has joined #ocaml
cbot_ has quit [Quit: Leaving]
hdon has joined #ocaml
hdon has quit [Ping timeout: 256 seconds]
<mrvn> And I believe bytes/string access and bigarray devolve into the same compiler primitive. So performance should be the same.
ianconnolly_ has quit [Read error: Connection reset by peer]
ianconnolly_ has joined #ocaml
cobreadmonster has quit [Quit: Connection closed for inactivity]
mbuf has quit [Read error: Connection reset by peer]
mbuf has joined #ocaml
ygrek has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
TarVanimelde has joined #ocaml
mbuf has quit [Remote host closed the connection]
mbuf has joined #ocaml
argent_smith has joined #ocaml
Algebr has joined #ocaml
sagotch has joined #ocaml
<xvilka> Enjolras: thx!
mbuf has quit [Remote host closed the connection]
mbuf has joined #ocaml
ygrek has quit [Ping timeout: 276 seconds]
tarptaeya has joined #ocaml
muratiku has joined #ocaml
kakadu has joined #ocaml
jaar has joined #ocaml
kakadu has quit [Client Quit]
pierpal has quit [Ping timeout: 264 seconds]
Algebr has quit [Ping timeout: 255 seconds]
TarVanimelde has quit [Quit: TarVanimelde]
hdon has joined #ocaml
hdon has quit [Ping timeout: 245 seconds]
nullifidian_ has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
keep_learning has joined #ocaml
nullifidian has quit [Ping timeout: 260 seconds]
freyr69 has joined #ocaml
keep_learning has quit [Ping timeout: 240 seconds]
kvda has joined #ocaml
neatonk[m] has quit [Ping timeout: 240 seconds]
M-jimt has quit [Ping timeout: 240 seconds]
rgr[m] has quit [Ping timeout: 240 seconds]
Walter[m] has quit [Ping timeout: 245 seconds]
caseypme[m] has quit [Ping timeout: 240 seconds]
nkhodyunya has quit [Ping timeout: 240 seconds]
srenatus has quit [Ping timeout: 240 seconds]
ozzymcduff has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Client Quit]
rgr[m] has joined #ocaml
Walter[m] has joined #ocaml
neatonk[m] has joined #ocaml
nkhodyunya has joined #ocaml
M-jimt has joined #ocaml
srenatus has joined #ocaml
caseypme[m] has joined #ocaml
dhil has joined #ocaml
tarptaeya has quit [Remote host closed the connection]
tarptaeya has joined #ocaml
zolk3ri has joined #ocaml
<discord> <loxs> is String.length O(1) or O(n)?
<octachron> O(1)
steenuil has joined #ocaml
<discord> <loxs> thanks
mk9 has joined #ocaml
mfp has joined #ocaml
ziyourenxiang has joined #ocaml
shinnya has quit [Ping timeout: 260 seconds]
ryyppy has joined #ocaml
mk9 has quit [Ping timeout: 255 seconds]
pierpal has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Quit: mk9]
halogenandtoast has quit [Ping timeout: 244 seconds]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
ryyppy has quit [Ping timeout: 252 seconds]
Haudegen has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
sagotch has quit [Read error: Connection reset by peer]
silver has joined #ocaml
shinnya has joined #ocaml
silver has quit [Read error: Connection reset by peer]
hdon has joined #ocaml
hdon has quit [Ping timeout: 240 seconds]
mk9 has joined #ocaml
dhil has quit [Ping timeout: 240 seconds]
jao has joined #ocaml
Haudegen has joined #ocaml
mbuf has quit [Quit: Leaving]
sagotch has joined #ocaml
muratiku has quit [Remote host closed the connection]
jao has quit [Ping timeout: 244 seconds]
ozzymcduff has quit [Quit: Textual IRC Client: www.textualapp.com]
Karyon has joined #ocaml
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
mk9 has quit [Remote host closed the connection]
dejanr has quit [Ping timeout: 240 seconds]
mk9 has joined #ocaml
dhil has joined #ocaml
hdon has joined #ocaml
dejanr has joined #ocaml
hdon has quit [Ping timeout: 264 seconds]
_andre has joined #ocaml
_andre has quit [Client Quit]
_andre has joined #ocaml
halogenandtoast has joined #ocaml
muratiku has joined #ocaml
mk9 has quit [Read error: Connection reset by peer]
mk9 has joined #ocaml
noitakomentaja has quit [Remote host closed the connection]
noitakomentaja has joined #ocaml
Bronsa has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
jbrown has joined #ocaml
muratiku has quit [Ping timeout: 245 seconds]
ratschance has quit [Remote host closed the connection]
ratschance has joined #ocaml
malina has joined #ocaml
jmiven has quit [Quit: pan]
mk9 has quit [Quit: mk9]
jmiven has joined #ocaml
Karyon has quit [Ping timeout: 255 seconds]
mk9 has joined #ocaml
neatonk has joined #ocaml
malina has quit [Ping timeout: 244 seconds]
Karyon has joined #ocaml
shinnya has quit [Ping timeout: 255 seconds]
mk9 has quit [Ping timeout: 264 seconds]
kleimkuhler has joined #ocaml
ratschance has quit [Remote host closed the connection]
kleimkuhler has quit [Read error: Connection reset by peer]
mk9 has joined #ocaml
kroot_ has joined #ocaml
spew has joined #ocaml
freyr69 has quit [Remote host closed the connection]
Haudegen has quit [Remote host closed the connection]
sagotch has quit [Ping timeout: 240 seconds]
sagotch has joined #ocaml
Karyon has quit [Ping timeout: 240 seconds]
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
Haudegen has joined #ocaml
FreeBirdLjj has joined #ocaml
Karyon has joined #ocaml
cryptocat1094 has joined #ocaml
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
kakadu has joined #ocaml
mk9 has quit [Ping timeout: 240 seconds]
noitakomentaja has quit [Remote host closed the connection]
noitakomentaja has joined #ocaml
al-damiri has joined #ocaml
sagotch has quit [Read error: Connection reset by peer]
halogenandtoast has quit [Ping timeout: 245 seconds]
pierpal has quit [Read error: Connection reset by peer]
dedgrant has quit [Ping timeout: 265 seconds]
Bronsa has quit [Remote host closed the connection]
Jesin has quit [Quit: Leaving]
Algebr has joined #ocaml
jaar has quit [Ping timeout: 245 seconds]
yomimono has quit [Ping timeout: 248 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
dhil has quit [Ping timeout: 255 seconds]
jnavila has joined #ocaml
ziyourenxiang has quit [Ping timeout: 244 seconds]
yomimono has joined #ocaml
FreeBirdLjj has joined #ocaml
dedgrant has joined #ocaml
Algebr has quit [Ping timeout: 264 seconds]
gsingh93_ has joined #ocaml
Soni has quit [Ping timeout: 276 seconds]
Algebr has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
Soni has joined #ocaml
yomimono has quit [Ping timeout: 264 seconds]
dhil has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
yomimono has joined #ocaml
hdon has joined #ocaml
tarptaeya has quit [Quit: Konversation terminated!]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
Haudegen has quit [Remote host closed the connection]
kleimkuhler has joined #ocaml
Soni has quit [Ping timeout: 256 seconds]
Soni has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
jnavila has joined #ocaml
coventry has joined #ocaml
<coventry> OCaml has no way to constrain a type to be a 20-digit hex string starting with 0x, does it?
<Fardale> coventry: what do you means by constrain a type ?
<Fardale> You can define: type hex20 : string and a function string -> hex20 ça verify the property you want
Algebr has quit [Ping timeout: 256 seconds]
<coventry> I guess it would be enough for that to be checked at creation, time, actually. Thanks.
<Duns_Scrotus> make a variant type with 16 nullary constructors
<Duns_Scrotus> and then take a 20-fold tuple of that :)
<Fardale> and if you make the type hex20 abstrat then only the fonction you write can deal with it
kleimkuhler has joined #ocaml
<reynir> I read it as types like `0x01234... heh
Algebr has joined #ocaml
Karyon has quit [Ping timeout: 276 seconds]
Algebr has quit [Ping timeout: 244 seconds]
jnavila has quit [Ping timeout: 256 seconds]
hdon has quit [Ping timeout: 244 seconds]
<coventry> If I want to make a non-negative integer type, and keep all the relevant operations like addition, validated subtraction, etc., what's the least painful way to do that?
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
<Fardale> You can use a library that define unsigned int
<ZirconiumX> coventry: ocaml-stdint
<coventry> Thanks, looks useful.
<ZirconiumX> Let's say I want to write a JIT in OCaml. Is the best way of achieving execution to trampoline via C?
hdon has joined #ocaml
shinnya has joined #ocaml
hdon has quit [Ping timeout: 268 seconds]
<discord> <Perry> You might try using LLVM for the purpose.
<discord> <Perry> But we've discussed that?
<cryptocat1094> I think they were intent on doing some of the magic that reference/dependent types can do.
<ZirconiumX> I investigated LLVM
<ZirconiumX> I'm probably going to throw it out for two reasons
<ZirconiumX> 1) I'll learn more from writing a JIT myself
<ZirconiumX> 2) LLVM is very slow, which is why WebKit abandoned it as well
nicoo has quit [Remote host closed the connection]
jao has joined #ocaml
Algebr has joined #ocaml
nicoo has joined #ocaml
shinnya has quit [Ping timeout: 268 seconds]
hdon has joined #ocaml
Haudegen has joined #ocaml
gsingh93_ has quit [Quit: Connection closed for inactivity]
jnavila has joined #ocaml
halogenandtoast has joined #ocaml
halogenandtoast has quit [Ping timeout: 240 seconds]
Algebr has quit [Ping timeout: 240 seconds]
kakadu has joined #ocaml
Jesin has joined #ocaml
ygrek has joined #ocaml
tokomak has joined #ocaml
Jesin has quit [Quit: Leaving]
Algebr has joined #ocaml
dhil has quit [Ping timeout: 260 seconds]
Algebr has quit [Ping timeout: 264 seconds]
Jesin has joined #ocaml
spew has quit [Quit: going home]
Karyon has joined #ocaml
jao has quit [Remote host closed the connection]
jao has joined #ocaml
hdon has quit [Changing host]
hdon has joined #ocaml
cbot has joined #ocaml
cryptocat1094 has quit [Quit: WeeChat 1.6]
pierpal has joined #ocaml
jnavila has quit [Remote host closed the connection]
Algebr has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
Algebr has quit [Ping timeout: 244 seconds]
Jesin has quit [Quit: Leaving]
kleimkuhler has joined #ocaml
zolk3ri has quit [Quit: leaving]
tokomak has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
kleimkuhler has quit [Quit: kleimkuhler]
Algebr has joined #ocaml
pierpa has joined #ocaml
Algebr has quit [Ping timeout: 240 seconds]
malina has joined #ocaml
<coventry> Where can I find the function Eliom_request.send, in the eliom OPAM package? I get "Unbound module: Eliom_request", when I try to use it directly.
<coventry> The docs seem to imply it should be available to client code: http://ocsigen.org/eliom/2.0/api/client/Eliom_request
<coventry> Or is there a cleaner way to hit a REST API from eliom?
argent_smith has quit [Quit: Leaving.]
kakadu has quit [Remote host closed the connection]
<coventry> I guess Eliom_service.extern...
kleimkuhler has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
Haudegen has quit [Read error: Connection reset by peer]
kleimkuhler has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
malina has quit [Ping timeout: 244 seconds]
yomimono has quit [Ping timeout: 256 seconds]
orbitz has quit [Read error: Connection reset by peer]
orbitz_ has joined #ocaml
coventry has quit [Remote host closed the connection]
rjungemann has quit [Ping timeout: 240 seconds]
coventry has joined #ocaml
xvilka has quit [Ping timeout: 260 seconds]
xvilka has joined #ocaml
rjungemann has joined #ocaml
kleimkuhler has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
Karyon has quit [Quit: Leaving]
shinnya has joined #ocaml
coventry has quit [Remote host closed the connection]
pierpal has quit [Ping timeout: 268 seconds]
cobreadmonster has joined #ocaml
coventry has joined #ocaml