adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.2 announced http://ocaml.org/releases/4.02.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
rgrinberg has joined #ocaml
ygrek_ has joined #ocaml
ygrek has quit [Ping timeout: 246 seconds]
ygrek_ has quit [Ping timeout: 246 seconds]
BitPuffin|osx has joined #ocaml
larhat has quit [Quit: Leaving.]
qrvpzvb has quit [Ping timeout: 268 seconds]
Algebr has joined #ocaml
swgillespie has joined #ocaml
<Algebr> How do I write a bigarray to a file
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<Algebr> nvm, i get it.
Tekilla has joined #ocaml
swgillespie has joined #ocaml
swgillespie has quit [Ping timeout: 252 seconds]
<mrvn> Algebr: ExtUnix.BA.write
<mrvn> n8
rgrinberg has quit [Ping timeout: 246 seconds]
ontologiae has joined #ocaml
ollehar has quit [Remote host closed the connection]
swgillespie has joined #ocaml
echo-area has quit [Remote host closed the connection]
<Algebr> do any of the caml_ba_array macros return the size of the contents?
<Algebr> well, total size_t?
echo-are` has joined #ocaml
<Algebr> I see SIZEOF_BA_ARRAY , but this doesn't look right
<Algebr> ah, just had to look it up in dim field
ibor has quit [Ping timeout: 240 seconds]
ibor has joined #ocaml
rgrinberg has joined #ocaml
ontologiae has quit [Ping timeout: 272 seconds]
echo-are` has quit [Ping timeout: 240 seconds]
zaquest has joined #ocaml
swgillespie has left #ocaml ["Textual IRC Client: www.textualapp.com"]
igoroliveira has quit [Quit: Connection closed for inactivity]
palomer has joined #ocaml
<palomer> hey guys
<palomer> I want to serialize/deserialize values
<palomer> records of the form {a:int, b:string, c:bool}
<palomer> actually, make that
<palomer> {a: int option, b: string option, c : string option}
<palomer> and I want to be able to add optional fields to that type later on
<apache2> may want to look into the bitstring module
Radvendii has joined #ocaml
<apache2> although last time I used it it didn't support the new immutable strings properly
<apache2> sounds like this google protobuf would do a decent job here, not sure if there is an ocaml implementation around
<palomer> ah yes, protobufs
<palomer> or facebook’s thrift
<Algebr> therex extprot
rgrinberg has quit [Ping timeout: 255 seconds]
Tekilla has quit [Quit: Quitte]
<palomer> cool
palomer has quit [Quit: palomer]
palomer has joined #ocaml
<palomer> is it possible to have transactions with fopen?
<palomer> I want to have a continuous backup, but I don’t want to corrupt it if my program exits in the middle of a write
<apache2> what you're describing is called "atomic writes"
<apache2> depending on the level of atomicity you want, support depends on operating system and file system used
<palomer> ubuntu
<Algebr> I think he meant more about it was linux, bsd, or windows, etc.
<palomer> linux
<palomer> extprot won’t install
<palomer> I’ll just use marshal I guess
<palomer> since I’m an eminem fan
palomer has quit [Read error: Connection reset by peer]
palomer has joined #ocaml
darkf has joined #ocaml
<dmbaturin> palomer: If you want serialezed messages to be dynamically typed, you may like msgpack.
<dmbaturin> Its ocaml library uses polymorphic variants much like yojson.
palomer has quit [Quit: palomer]
<dmbaturin> Or it was a normal sum type? Either way, it's schemaless.
rgrinberg has joined #ocaml
xet7_ has quit [Read error: Connection reset by peer]
xet7_ has joined #ocaml
keen_________ has joined #ocaml
keen________ has quit [Ping timeout: 272 seconds]
BitPuffin|osx has quit [Ping timeout: 240 seconds]
mac10688 has quit [Ping timeout: 265 seconds]
psy_ has quit [Read error: Connection reset by peer]
psy_ has joined #ocaml
palomer has joined #ocaml
<palomer> msgpack hasn’t been updated since 2013
<palomer> well, the ocaml library at least
echo-area has joined #ocaml
Algebr has quit [Remote host closed the connection]
palomer has quit [Quit: palomer]
palomer has joined #ocaml
lmaocaml has quit [Quit: Page closed]
pyon has quit [Quit: Seasons will pass you by... I get up... I get down...]
slash^ has joined #ocaml
shinnya has quit [Ping timeout: 272 seconds]
rgrinberg has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
palomer has quit [Quit: palomer]
MercurialAlchemi has joined #ocaml
Intensity has quit [Remote host closed the connection]
mea-culp` has quit [Remote host closed the connection]
Fleurety has joined #ocaml
pyx has joined #ocaml
pyx has quit [Client Quit]
swgillespie has joined #ocaml
swgillespie has quit [Client Quit]
swgillespie has joined #ocaml
orbifx has joined #ocaml
browncodes has joined #ocaml
qrvpzvb has joined #ocaml
pyon has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Snark has quit [Quit: leaving]
ygrek_ has joined #ocaml
rgrinberg has quit [Ping timeout: 244 seconds]
pango_ has joined #ocaml
LnL has joined #ocaml
tmtwd has quit [Ping timeout: 240 seconds]
shinnya has joined #ocaml
<companion_cube> Drup: indeed. I'm fixing that right now.
<companion_cube> I assume you only need to replace substrings with a new string?
ygrek_ has quit [Ping timeout: 246 seconds]
Snark has joined #ocaml
Simn has joined #ocaml
sh0t has joined #ocaml
ely-se has joined #ocaml
tibor_ has joined #ocaml
<tibor_> Hi
<tibor_> Can someone help me in typecasting None to None: Globals.control_path_id?
tmtwd has joined #ocaml
<enjolras_> tibor_: there is no such thing as typecast in ocaml (or, there is but not here)
<enjolras_> what do you mean ? You want to convert foo option to bar option ?
<companion_cube> Drup: added
<tibor_> yes I would like to convert foo option to bar option
<tibor_> How can I do it?
<enjolras_> you have to do it explicitly
<enjolras_> with a match for instance, or using functions in a lib
<tibor_> Thanks
<tibor_> I'm sorry for my questions :(
<enjolras_> you're weclome :)
Submarine has joined #ocaml
browncod_ has joined #ocaml
browncodes has quit [Ping timeout: 255 seconds]
ely-se has quit [Quit: Leaving]
Radvendii has quit [Ping timeout: 252 seconds]
tmtwd has quit [Ping timeout: 265 seconds]
ely-se has joined #ocaml
sh0t has quit [Remote host closed the connection]
mv has joined #ocaml
tnguyen has quit [Read error: Connection reset by peer]
tnguyen has joined #ocaml
ely-se has quit [Quit: lunch]
ely-se has joined #ocaml
Haudegen has quit [Ping timeout: 264 seconds]
ely-se has quit [Quit: Leaving]
Haudegen has joined #ocaml
sh0t has joined #ocaml
sh0t has quit [Remote host closed the connection]
ely-se has joined #ocaml
keen__________ has joined #ocaml
mort___ has joined #ocaml
keen_________ has quit [Ping timeout: 240 seconds]
xet7_ has quit [Read error: Connection reset by peer]
xet7_ has joined #ocaml
xet7_ has quit [Read error: Connection reset by peer]
xet7_ has joined #ocaml
echo-area has quit [Remote host closed the connection]
echo-area has joined #ocaml
obadz- has joined #ocaml
orbifx1 has joined #ocaml
obadz has quit [Ping timeout: 250 seconds]
echo-are` has joined #ocaml
echo-area has quit [Remote host closed the connection]
mort___ has quit [Quit: Leaving.]
mort___ has joined #ocaml
tibor_ has quit [Ping timeout: 246 seconds]
mort___ has quit [Quit: Leaving.]
Major_Biscuit has joined #ocaml
ontologiae has joined #ocaml
mort___ has joined #ocaml
jonludlam has joined #ocaml
dsheets has joined #ocaml
jonludlam has quit [Ping timeout: 246 seconds]
orbifx1 has quit [Ping timeout: 250 seconds]
travisbrady has joined #ocaml
orbifx has quit [Ping timeout: 240 seconds]
travisbrady has quit [Quit: travisbrady]
cmtptr has quit [Quit: leaving]
demonimin has quit [Remote host closed the connection]
demonimin has joined #ocaml
ontologiae has quit [Ping timeout: 252 seconds]
cthuluh has quit [Ping timeout: 252 seconds]
pango_ has quit [Remote host closed the connection]
mac10688 has joined #ocaml
cthuluh has joined #ocaml
cthuluh has quit [Ping timeout: 240 seconds]
t4nk307 has joined #ocaml
empyrean has joined #ocaml
cthuluh has joined #ocaml
sh0t has joined #ocaml
Tekilla has joined #ocaml
mac10688 has quit [Ping timeout: 268 seconds]
ely-se has quit [Quit: poop]
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
sh0t has quit [Ping timeout: 264 seconds]
zpe has quit [Remote host closed the connection]
zpe_ has joined #ocaml
ely-se has joined #ocaml
pyon has quit [Quit: I get up... I get down...]
pyon has joined #ocaml
zpe_ has quit [Remote host closed the connection]
sh0t has joined #ocaml
sh0t has quit [Remote host closed the connection]
orbifx1 has joined #ocaml
dsheets has quit [Ping timeout: 246 seconds]
psy_ has quit [Ping timeout: 265 seconds]
dsheets has joined #ocaml
LnL has quit [Quit: ZNC - http://znc.in]
lobo has joined #ocaml
ely-se has quit [Quit: dinner]
darkf has quit [Quit: Leaving]
orbifx1 has quit [Ping timeout: 246 seconds]
nullcatxxx_ has joined #ocaml
ontologiae has joined #ocaml
BitPuffin|osx has joined #ocaml
ontologiae has quit [Ping timeout: 260 seconds]
def_ has joined #ocaml
def_ has left #ocaml [#ocaml]
ely-se has joined #ocaml
nullcatx_ has joined #ocaml
nullcatxxx_ has quit [Ping timeout: 264 seconds]
meiji11 has joined #ocaml
mort___ has quit [Quit: Leaving.]
octachron has joined #ocaml
tnguyen has quit [Quit: tnguyen]
octachron has quit [Quit: Leaving]
pyon has quit [Quit: I get up... I get down...]
<madroach> Hi, I'd like to play with async_kernel, but can't figure out how to start the scheduler.
<madroach> async_unix has Scheduler.go, but the Scheduler module in async_kernel neither has a go function nor is the module exposed at all.
tmtwd has joined #ocaml
mort___ has joined #ocaml
t4nk307 has quit [Ping timeout: 246 seconds]
orbifx1 has joined #ocaml
meiji11 has quit [Ping timeout: 265 seconds]
dsheets has quit [Ping timeout: 240 seconds]
<nullcatx_> not many people here have much experience with async
<nullcatx_> i can have a look though
pyon has joined #ocaml
<nullcatx_> em... i guess async_kernel is used to power async_unix
<nullcatx_> you'd like to use async_unix ..
<nullcatx_> is used to power all other async libraries*
rgrinberg has joined #ocaml
LnL has joined #ocaml
<madroach> thanks :)
martintrojer has quit [Ping timeout: 250 seconds]
nullcatx_ has quit [Ping timeout: 244 seconds]
martintrojer has joined #ocaml
swgillespie has joined #ocaml
Dynasty has joined #ocaml
nicoo has quit [Ping timeout: 246 seconds]
Radvendii has joined #ocaml
zpe has joined #ocaml
nullcatxxx_ has joined #ocaml
ontologiae has joined #ocaml
tristero has quit [Quit: tristero]
rgrinberg has quit [Ping timeout: 250 seconds]
nullcatx_ has joined #ocaml
nullcatxxx_ has quit [Ping timeout: 240 seconds]
ontologiae has quit [Ping timeout: 244 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
igoroliveira has joined #ocaml
psy_ has joined #ocaml
rgrinberg has joined #ocaml
dsheets has joined #ocaml
mort___ has left #ocaml [#ocaml]
nicoo has joined #ocaml
<ely-se> my experience with async: crying for stackful coroutines
<Dynasty> How can I use the Container interface to fold over a list?
<Drup> Dynasty: List.fold_{left,right} ?
<Drup> (it's not specific to containers ...)
Major_Biscuit has quit [Quit: WeeChat 1.1.1]
<Dynasty> Can I do something like Container.length [1,2,3,4]
<Dynasty> I was looking for something like Haskell's foldable typeclass
<Drup> wait, which "Container" module are you talking about ?
<Dynasty> The one provided by Janestreet I believe
<Drup> Oh.
<Drup> I didn't knew they had one.
<Drup> can't help you then, sorry
malc_ has joined #ocaml
<nullcatx_> after spending sometime in OCaml community, I realized very few people use JaneStreet's libraries...
<ely-se> most of the OCaml community is Jane Street :P
<Drup> ely-se: that is highly false
<ely-se> :(
<nullcatx_> Drup: would like to have a look at my GADT AVL tree? I feel like it's too cumbersome... http://pastebin.com/cycySZkm
<Drup> except if you mesure the community by the money it generates
<Drup> but usually, it means people ...
<nullcatx_> and this is def's suggestion of improvement: http://pastebin.com/vYUmd9zh
palomer has joined #ocaml
<Dynasty> Drup I figured it out. I was misunderstanding how functors worked... http://pastebin.com/EB3Nwm08
tnguyen has joined #ocaml
psy_ has quit [Quit: Leaving]
tristero has joined #ocaml
<companion_cube> it's hard to assess the fraction of OCaml users that use JST libs
<companion_cube> I'd like to know ^^
<palomer> hey guys
<companion_cube> hey
<nullcatx_> hey
<palomer> anyone know how to use ppx_deriving with ocamlbuild?
<Drup> like any other libraries
<Drup> just depends on ppx_deriving.std
cthuluh has quit [Ping timeout: 240 seconds]
<palomer> -package ppx_deriving.show ?
<Drup> yes
<companion_cube> exactly
joelr1 has joined #ocaml
joelr1 has quit [Client Quit]
<palomer> so something like this: cd ~/temp/testjapdata && ocamlbuild -pkg ppx_deriving.show testshow.native && ./testshow.native ?
<Drup> don't forget -use-ocamlfind
<palomer> that was the mistake!
<palomer> thanks :D
rgrinberg has quit [Ping timeout: 246 seconds]
jonludlam has joined #ocaml
<nullcatx_> ah this is neat https://github.com/janestreet/ppx_bench
zpe has quit [Remote host closed the connection]
deavid has quit [Ping timeout: 256 seconds]
cthuluh has joined #ocaml
palomer has quit [Quit: palomer]
palomer has joined #ocaml
zpe has joined #ocaml
LnL has quit [Quit: ZNC - http://znc.in]
zpe has quit [Remote host closed the connection]
deavid has joined #ocaml
Kakadu has joined #ocaml
octachron has joined #ocaml
palomer has quit [Quit: palomer]
larhat has joined #ocaml
<orbitz> companion_cube: I <3 how many errors I find just by some quick prop tests
<companion_cube> yeah
<companion_cube> it's amazing
<qrvpzvb> So... what is ppx?
<companion_cube> it's a preprocessor that works on AST
cthuluh has quit [Ping timeout: 264 seconds]
<qrvpzvb> Oh! Kind of like Template Haskell then?
<companion_cube> orbitz: what are you using for prop tests?
<companion_cube> qrvpzvb: not sure, I don't now TH
<companion_cube> but basically you write a function parse_tree -> parse_tree
<qrvpzvb> So.. macros?
<companion_cube> generallly using annotations such as [@@foo]
<orbitz> companion_cube: just yours and my own test harness
<orbitz> qrvpzvb: probably a bit closer to java annotations
<companion_cube> you mean qcheck?
<orbitz> yes
<companion_cube> ok
<companion_cube> I'm using qtest, those days (for the ease of writing tests)
rgrinberg has joined #ocaml
nullcatxxx_ has joined #ocaml
nullcatx_ has quit [Ping timeout: 246 seconds]
ollehar has joined #ocaml
rgrinberg has quit [Ping timeout: 260 seconds]
<ollehar> did anyone get hlvm to compile?
<ollehar> old project.
slash^ has quit [Read error: Connection reset by peer]
<orbitz> I haven't treid
<ollehar> ok
<companion_cube> pfiu, relieved, I thought I found a bug
cthuluh has joined #ocaml
jonludlam has quit [Ping timeout: 252 seconds]
<qrvpzvb> Σηατ ισ ψο;?
<qrvpzvb> Oops, wrong layout
<qrvpzvb> What is Coq?
<companion_cube> Coq is a language for writing formal proofs
<qrvpzvb> For math?
<companion_cube> for logic
<companion_cube> including maths
<qrvpzvb> Oh
<qrvpzvb> That makes sense
<companion_cube> it can also be used to write programs and prove properties on them
<companion_cube> e.g., the Gallium team develops a C compiler in Coq, and proves the compiler is correct
thegameg has quit [Ping timeout: 240 seconds]
<qrvpzvb> Oh, wow. That's cool. What's the project's name?
<companion_cube> compcert
<companion_cube> http://compcert.inria.fr/
mal`` has quit [Ping timeout: 240 seconds]
thegameg has joined #ocaml
mal`` has joined #ocaml
<ollehar> qrvpzvb: there's also a blog engine proven correct in Coq :)
<orbitz> For those blog messages you just can't miss!
<companion_cube> heh
<qrvpzvb> Seems a bit excessive!
<companion_cube> life critical blogging
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
<Drup> there is also a web browser proven in coq.
<companion_cube> only a small part of it
<Drup> A ridiculously small part of it, even
empyrean has quit [Remote host closed the connection]
empyrean has joined #ocaml
<flux> it is able to make requests, but they are provenly incorrect?
<companion_cube> no, the Coq part protects the OS from possible breaches in the browser, afaict
<companion_cube> so you have a modern browser, with lots of LoC
obadz has joined #ocaml
<flux> ok..
<flux> with the most recent firefox vulnerability I actually started to use firejail to block ~/.ssh from its namespace
<flux> would this have solved the issue as well?
<companion_cube> I don't know
<flux> if not, then it's fairly useless.. :)
obadz- has quit [Ping timeout: 264 seconds]
<ollehar> companion_cube: I think he proved that non-logged in users can't edit this or that
ygrek_ has joined #ocaml
<flux> ollehar, you're not talking about the Coq-proven blog engine?
<ollehar> flux: I think I am... hm, wait.
swgillespie has joined #ocaml
<flux> talking about proofs: http://incredible.nomeata.de/ - a nice 'game' to refresh your basic proof skills
<ollehar> > We check that, for any runs of a program, an unauthenticated user cannot access private pages (like edit) or modify the file system with system calls.
<ollehar> flux: interesting "military" font in the header...
toscan has joined #ocaml
orbifx1 is now known as orbifx
<ollehar> but nice!
MercurialAlchemi has quit [Ping timeout: 260 seconds]
<flux> I really lke its graph editor as well
<flux> too bad it's not written in ocaml ;-)
Haudegen has quit [Ping timeout: 272 seconds]
<flux> also I'm stuck at 2.8.. ;-)
<ollehar> flux: 2.5 reversed?
<ollehar> no, wait, nm.
<ollehar> is A /\ B <-> A -> B /\ B -> A ?
<ollehar> ach
malc_ has quit [Quit: leaving]
damason has quit [Quit: No Ping reply in 180 seconds.]
sh0t has joined #ocaml
Haudegen has joined #ocaml
<flux> oh, solved it.
<flux> so when does Coq get this nice drag'n'drool-interface?!
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
damason has joined #ocaml
ygrek_ has quit [Quit: ygrek_]
damason has quit [Client Quit]
empyrean has quit [Ping timeout: 240 seconds]
damason has joined #ocaml
ontologiae has joined #ocaml
adrien_znc has quit [Ping timeout: 246 seconds]
Armael has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
Mandus has quit [Ping timeout: 246 seconds]
srax has quit [Ping timeout: 246 seconds]
adrien_znc has joined #ocaml
srax has joined #ocaml
Mandus has joined #ocaml
Armael has joined #ocaml
damason has quit [Quit: No Ping reply in 180 seconds.]
oscar_toro has joined #ocaml
oscar_toro has left #ocaml [#ocaml]
mac10688 has joined #ocaml
damason has joined #ocaml
damason has quit [Quit: No Ping reply in 180 seconds.]
damason has joined #ocaml
Submarine has quit [Quit: Leaving]
dsheets has quit [Ping timeout: 240 seconds]
damason has quit [Ping timeout: 268 seconds]
ollehar has quit [Remote host closed the connection]
mv has quit [Remote host closed the connection]
nullcatxxx_ has joined #ocaml
nullcatx_ has joined #ocaml
nullcatxxx_ has quit [Read error: Connection reset by peer]
empyrean has joined #ocaml
nullcatxxx_ has joined #ocaml
nullcatx_ has quit [Ping timeout: 250 seconds]
Simn has quit [Quit: Leaving]
ely-se has quit [Quit: balls]
jerith has quit [Ping timeout: 246 seconds]
nicoo has quit [Ping timeout: 240 seconds]
Armael has quit [Ping timeout: 240 seconds]
Armael has joined #ocaml
jerith has joined #ocaml
nicoo has joined #ocaml
nullcatx_ has joined #ocaml
damason has joined #ocaml
nullcatxxx_ has quit [Ping timeout: 240 seconds]
Dynasty has quit [Quit: ChatZilla 0.9.92 [Firefox 39.0/20150629114848]]
Radvendii has quit [Ping timeout: 250 seconds]
palomer has joined #ocaml
rgrinberg has quit [Ping timeout: 250 seconds]
qrvpzvb has quit [Ping timeout: 240 seconds]
Major_Biscuit has joined #ocaml
lobo has quit [Quit: leaving]
Guest19197 is now known as johnelse
sh0t has quit [Remote host closed the connection]
Tekilla has quit [Quit: Quitte]
rgrinberg has joined #ocaml
swgillespie has joined #ocaml
ygrek has quit [Ping timeout: 272 seconds]
Radvendii has joined #ocaml
octachron has quit [Quit: Leaving]
Kakadu has quit [Remote host closed the connection]
Radvendii has quit [Ping timeout: 250 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
nullcatx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has quit [Ping timeout: 246 seconds]
rgrinberg has joined #ocaml
empyrean has quit [Remote host closed the connection]