zolk3ri has quit [Remote host closed the connection]
rwmjones has quit [Ping timeout: 256 seconds]
pioneer42 has joined #ocaml
sh0t has quit [Remote host closed the connection]
troydm has quit [Ping timeout: 260 seconds]
NingaLeaf has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rwmjones has joined #ocaml
isd has quit [Quit: Leaving.]
mfp has quit [Ping timeout: 256 seconds]
zachk has quit [Quit: Leaving]
navaja has quit [Ping timeout: 240 seconds]
silver has quit [Read error: Connection reset by peer]
opios has quit [Quit: Leaving...]
pierpa_ has quit [Quit: Page closed]
jimmyrcom has joined #ocaml
cbot has quit [Ping timeout: 248 seconds]
mk9 has quit [Ping timeout: 264 seconds]
cbot has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
johnelse_ has joined #ocaml
vodkaInf1rno has joined #ocaml
sveit has quit [Ping timeout: 248 seconds]
vodkaInferno has quit [Read error: Connection reset by peer]
johnelse has quit [Ping timeout: 248 seconds]
sveit has joined #ocaml
charles__ has joined #ocaml
<charles__>
Hi! I'm trying to use the "Toploop" library in compiler-libs.toplevel... requiring it works fine in utop, but trying to build with jbuilder results in "File unavailable: ~/.opam/4.04.2/lib/ocaml/compiler-libs/ocamltoplevel.cmxa" (I'm adding it to the libraries section of the jbuild.) Am I doing something obviously wrong? Thanks for the help!
mankyKitty has left #ocaml [#ocaml]
<companion_cube>
you might need compiler-libs.bytecomp, too
<charles__>
companion_cube: Alas that doesn't seem to work :/
<companion_cube>
not entirely sure you can load this in utop anyway :s
<companion_cube>
it's a bit weird to have two copies of OCaml fighting, if you see what I mean
<charles__>
Haha I see what you mean --
<charles__>
it does seem to load the module & types but I haven't tried calling anything in utop
<companion_cube>
:s
<charles__>
ah well -- thanks for trying!
charles__ has quit [Ping timeout: 264 seconds]
mbuf has joined #ocaml
nicoo has quit [Read error: Connection reset by peer]
nicoo has joined #ocaml
jimmyrcom has quit [Ping timeout: 264 seconds]
jimmyrcom has joined #ocaml
moolc has joined #ocaml
letoh has quit [Ping timeout: 256 seconds]
ruffy__ has joined #ocaml
muelleme has joined #ocaml
jimmyrcom has quit [Ping timeout: 240 seconds]
muelleme has quit [Ping timeout: 268 seconds]
Haudegen has joined #ocaml
ddosia has joined #ocaml
cbot has quit [Quit: Leaving]
al-damiri has quit [Quit: Connection closed for inactivity]
Chobbes has quit [Ping timeout: 248 seconds]
argent_smith has joined #ocaml
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
jao has joined #ocaml
jao has quit [Ping timeout: 264 seconds]
troydm has joined #ocaml
dakk has joined #ocaml
Onemorenickname has joined #ocaml
zolk3ri has joined #ocaml
kakadu has joined #ocaml
mfp has joined #ocaml
muelleme has joined #ocaml
trochdewei has joined #ocaml
muelleme has quit [Ping timeout: 276 seconds]
trochdewei has quit [Ping timeout: 240 seconds]
dakk has quit [Remote host closed the connection]
BitPuffin has joined #ocaml
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
sepp2k has joined #ocaml
silver has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Quit: mk9]
gtrak has joined #ocaml
Haudegen has quit [Remote host closed the connection]
gtrak has quit [Ping timeout: 240 seconds]
pioneer42 has left #ocaml [#ocaml]
gtrak has joined #ocaml
shinnya has joined #ocaml
spew has joined #ocaml
sh0t has joined #ocaml
NingaLeaf has joined #ocaml
gtrak has quit [Ping timeout: 246 seconds]
gtrak has joined #ocaml
Haudegen has joined #ocaml
mk9 has joined #ocaml
NingaLeaf has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
NingaLeaf has joined #ocaml
spew_ has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
sh0t has quit [Ping timeout: 240 seconds]
NingaLeaf has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
NingaLeaf has joined #ocaml
tarptaeya has joined #ocaml
NingaLeaf has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mbuf has quit [Quit: Leaving]
_andre has joined #ocaml
troydm has quit [Ping timeout: 264 seconds]
gtrak has quit [Ping timeout: 276 seconds]
gtrak has joined #ocaml
mk9 has quit [Quit: mk9]
letoh has joined #ocaml
bartholin has quit [Remote host closed the connection]
NingaLeaf has joined #ocaml
NingaLeaf has quit [Client Quit]
troydm has joined #ocaml
vodkaInf1rno has quit [Remote host closed the connection]
ruffy__ has quit [Quit: ChatZilla 0.9.93-rdmsoft [XULRunner 41.0.2/20180204095638]]
<Drup>
Does someone has an example of a jsoo-powered website built with jbuilder ?
pierpa has quit [Ping timeout: 260 seconds]
spew has quit [Remote host closed the connection]
spew_ is now known as spew
mrgrieves has joined #ocaml
navaja has joined #ocaml
navaja has quit [Client Quit]
ygrek has quit [Ping timeout: 240 seconds]
bartholin has joined #ocaml
BitPuffin has quit [Remote host closed the connection]
kark has quit [Ping timeout: 260 seconds]
pierpa_ has quit [Ping timeout: 260 seconds]
al-damiri has joined #ocaml
pierpa has joined #ocaml
<mrgrieves>
hi, dummy/newbie question here. From the security point of view what advantages do I get when doing systems programming in ocaml compared to lets say C++ ?
<bartholin>
There is no pointer madness in ocaml, so that's a plus.
<theblatte>
possibly fewer buffer overruns as array accesses are either safer or replaced with other, functional data structures
<mrgrieves>
bartholin: so memory management?
<theblatte>
buffer overruns risks*
<mrgrieves>
theblatte: fewer but still possible ?
<mrgrieves>
functional data structures = inmutable ?
<theblatte>
actually, I was confused, I thought Array.get_unsafe was a thing but no
<mrgrieves>
just x-checking my understanding
<theblatte>
yes immutable
rwmjones is now known as rwmjones|HOLS
<Drup>
theblatte: Array.unsafe_get*
<theblatte>
`man Array` -> /unsafe -> Pattern not found
<Drup>
but if you use that in security-critical code without a proof correctness, well, it's your fucking own fault
<theblatte>
or are you saying that, were they to exist, they would be called `unsafe_foo`?
<Drup>
mrgrieves: you can't make out-of-bound accesses, segfaults or other buffer overrun unless using explicitely marked unsafe functions or through C bindings
<Drup>
theblatte: they might not be in the documentation, but they exists
<theblatte>
wtf
<theblatte>
indeed
<theblatte>
sigh
moolc has left #ocaml ["ERC (IRC client for Emacs 27.0.50)"]
<Drup>
theblatte: is that so surprising ?
<Drup>
I feel like it's similar to complaining that Obj is not documented. :)
<theblatte>
I don't feel the same way about Array.unsafe* than Obj, you often need Array.unsafe* because the type system doesn't know when you've done bound checks already
<theblatte>
but it would also be great to document (at least parts of) Obj :p
unyu has quit [Quit: The end of the world is nigh. Bring as much popcorn as you can!]
<theblatte>
the documentation could also be "do not use" ;)
mk9 has joined #ocaml
mk9 has quit [Remote host closed the connection]
<thizanne>
well that's the actual doc
<mrgrieves>
Drup: thanks guys. I'm currently comparing unikernel frameworks in terms of security and since the adopted programming language is a key differentiator between these I wanted to understand a bit better what native features each lang have to offer in this respect
troydm has quit [Ping timeout: 276 seconds]
unyu has joined #ocaml
<mrgrieves>
anyy good reading material you can recommend wrt ocaml+security?
unyu has quit [Quit: The end of the world is nigh. Bring as much popcorn as you can!]
unyu has joined #ocaml
unyu has quit [Changing host]
unyu has joined #ocaml
demonimin has joined #ocaml
Fare has joined #ocaml
<Fare>
Hi. Is there an "Official" style guide for OCaml that all/most people follow? I found ones from ocaml.org, caml.inria.fr, xenproject.org, dpt.sourceforge.net, and also cornell, upenn and brown.
<Fare>
What do e.g. ocamlpro or ocamllabs use?
<theblatte>
(I feel like I've seen this question come up a lot recently)
<Fare>
(when doing Common Lisp development, I ended up editing the Google style guide)
troydm has quit [Ping timeout: 260 seconds]
<theblatte>
Google has a style guide for Lisp? O_o
<zolk3ri>
they have a style guide for many languages
<Fare>
ocp-indent vs ocamlformat (vs something else?) — which should I use and why?
<companion_cube>
I use ocp-indent
Haudegen has joined #ocaml
<theblatte>
I use ocamlformat, but its creator is in my team :)
<theblatte>
ocp-indent only cares about the whitespace at the beginning of lines, whereas ocamlformat formats everything and knows how to break long lines
troydm has quit [Ping timeout: 246 seconds]
<theblatte>
ocamlformat doesn't work on classes yet though, and may be more opinionated in general
troydm has joined #ocaml
<theblatte>
(which is good and bad)
<companion_cube>
but ocamlformat is quite opinionated, exactly
sven[m]3 has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
letoh has quit [Ping timeout: 260 seconds]
charles__ has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
<Leonidas>
that's ok as long as it has exactly my opinion!
muelleme has joined #ocaml
<Leonidas>
I use whatever vim does, which is most of the time what I want anyway
charles__ has joined #ocaml
jao has joined #ocaml
troydm has quit [Ping timeout: 260 seconds]
FreeBirdLjj has quit [Ping timeout: 256 seconds]
<companion_cube>
Leonidas: :DD
<companion_cube>
exactly
btbytes has joined #ocaml
letoh has joined #ocaml
muelleme has quit [Ping timeout: 248 seconds]
charles__ has quit [Ping timeout: 240 seconds]
btbytes has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
btbytes has joined #ocaml
Fare has quit [Ping timeout: 248 seconds]
gtrak has quit [Ping timeout: 260 seconds]
troydm has joined #ocaml
cbot has joined #ocaml
tarptaeya has quit [Quit: Byeeeeeee!]
btbytes has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
gtrak has joined #ocaml
btbytes has joined #ocaml
btbytes has quit [Client Quit]
kakadu has quit [Quit: Konversation terminated!]
btbytes has joined #ocaml
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 260 seconds]
Bronsa has joined #ocaml
magicbit has joined #ocaml
jao has quit [Ping timeout: 260 seconds]
TheLemonMan has joined #ocaml
dedgrant has quit [Read error: Connection reset by peer]
bartholin has quit [Ping timeout: 256 seconds]
charles__ has joined #ocaml
btbytes has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dedgrant has joined #ocaml
btbytes has joined #ocaml
Fare has joined #ocaml
kakadu has joined #ocaml
muelleme has joined #ocaml
mk9 has joined #ocaml
pierpa has quit [Ping timeout: 260 seconds]
bartholin has joined #ocaml
Judocus has joined #ocaml
spew has quit [Quit: Connection closed for inactivity]
gtrak has quit [Ping timeout: 264 seconds]
charles__ has quit [Ping timeout: 260 seconds]
pierpa has joined #ocaml
btbytes has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
sepp2k has quit [Quit: Leaving.]
btbytes has joined #ocaml
btbytes has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
cbot_ has joined #ocaml
cbot has quit [Ping timeout: 240 seconds]
muelleme has quit [Ping timeout: 276 seconds]
TheLemonMan has quit [Ping timeout: 268 seconds]
Bronsa has quit [Ping timeout: 248 seconds]
gtrak has joined #ocaml
cbot has joined #ocaml
cbot_ has quit [Ping timeout: 248 seconds]
Fare has quit [Ping timeout: 276 seconds]
jnavila has joined #ocaml
charles__ has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
charles__ has quit [Client Quit]
jao has joined #ocaml
ia0 has quit [Quit: reboot]
ia0 has joined #ocaml
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
btbytes has joined #ocaml
btbytes has quit [Client Quit]
btbytes has joined #ocaml
btbytes has quit [Client Quit]
gtrak has quit [Ping timeout: 248 seconds]
btbytes has joined #ocaml
gtrak has joined #ocaml
cbot_ has joined #ocaml
Judocus has quit [Remote host closed the connection]
Judocus has joined #ocaml
cbot has quit [Ping timeout: 256 seconds]
orbifx1 has joined #ocaml
btbytes has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
btbytes has joined #ocaml
pyx has joined #ocaml
Chobbes has joined #ocaml
jnavila has quit [Remote host closed the connection]
Judocus has quit [Quit: *vanishes into the mythical real world*]
xfbs_ has joined #ocaml
xfbs_ is now known as xfbs
Judocus has joined #ocaml
xfbs is now known as xfbs-away
xfbs-away is now known as xfbs
xfbs has quit []
xfbs has joined #ocaml
xfbs is now known as xfbs_
Judocus has quit [Client Quit]
xfbs_ has quit [Client Quit]
orbifx has joined #ocaml
orbifx1 has quit [Ping timeout: 268 seconds]
isd has joined #ocaml
xfbs_ has joined #ocaml
btbytes has quit [Read error: Connection reset by peer]
xfbs_ has quit [Client Quit]
kakadu has quit [Remote host closed the connection]
_andre has quit [Quit: leaving]
markhkim has joined #ocaml
markhkim has left #ocaml [#ocaml]
pioneer42 has joined #ocaml
cbot_ has quit [Ping timeout: 248 seconds]
isd has quit [Quit: Leaving.]
spew has joined #ocaml
argent_smith has quit [Quit: Leaving.]
spew has quit [Ping timeout: 264 seconds]
isd has joined #ocaml
onion has quit [Read error: No route to host]
onion has joined #ocaml
onion is now known as whoman
whoman is now known as onion
pyx has quit [Quit: WeeChat 2.1]
cbot_ has joined #ocaml
Haudegen has quit [Remote host closed the connection]