ravenousmoose has quit [Ping timeout: 245 seconds]
amiloradovsky has joined #ocaml
silver has quit [Quit: rakede]
ravenousmoose has joined #ocaml
ygrek__ has quit [Ping timeout: 252 seconds]
ravenousmoose has quit [Ping timeout: 245 seconds]
brettgilio has joined #ocaml
ravenousmoose has joined #ocaml
ravenousmoose has quit [Ping timeout: 252 seconds]
rfv has quit [Ping timeout: 252 seconds]
Adso_of_Jelq has quit [Ping timeout: 250 seconds]
nkaretnikov has quit [Ping timeout: 252 seconds]
l1x has quit [Ping timeout: 252 seconds]
vinoski has quit [Ping timeout: 252 seconds]
jkni has quit [Ping timeout: 252 seconds]
banjiewen has quit [Ping timeout: 252 seconds]
vinoski has joined #ocaml
jerme_ has quit [Ping timeout: 250 seconds]
rfv has joined #ocaml
lynn has quit [Ping timeout: 252 seconds]
Adso_of_Jelq has joined #ocaml
monad_cat has quit [Ping timeout: 252 seconds]
jkni has joined #ocaml
bytesighs has quit [Ping timeout: 252 seconds]
strmpnk has quit [Ping timeout: 252 seconds]
strmpnk has joined #ocaml
nkaretnikov has joined #ocaml
banjiewen has joined #ocaml
monad_cat has joined #ocaml
lynn has joined #ocaml
jerme_ has joined #ocaml
l1x has joined #ocaml
bytesighs has joined #ocaml
ericjmorey has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
amiloradovsky has quit [Ping timeout: 250 seconds]
vicfred has quit [Quit: Leaving]
vicfred has joined #ocaml
Haudegen has joined #ocaml
tormen_ has joined #ocaml
q9929t has joined #ocaml
tormen has quit [Ping timeout: 252 seconds]
ravenousmoose has joined #ocaml
unyu has joined #ocaml
ravenousmoose has quit [Ping timeout: 252 seconds]
klntsky has quit [Remote host closed the connection]
klntsky has joined #ocaml
mfp has quit [Ping timeout: 268 seconds]
ericjmorey has quit [Ping timeout: 260 seconds]
ggole has joined #ocaml
brettgilio has quit [Quit: Quit]
brettgilio has joined #ocaml
bitwinery has quit [Quit: Leaving]
retropikzel has joined #ocaml
ravenousmoose has joined #ocaml
ravenousmoose has quit [Ping timeout: 252 seconds]
jao has quit [Remote host closed the connection]
gravicappa has joined #ocaml
_whitelogger has joined #ocaml
narimiran has joined #ocaml
_whitelogger has joined #ocaml
mbuf has joined #ocaml
ansiwen_ has joined #ocaml
vodkaInferno has joined #ocaml
jao has joined #ocaml
RalfJung has joined #ocaml
TC01_ has joined #ocaml
retropikzel has quit [*.net *.split]
bartholin has quit [*.net *.split]
kakadu has quit [*.net *.split]
RalfJ has quit [*.net *.split]
seliopou has quit [*.net *.split]
TC01 has quit [*.net *.split]
ocabot has quit [*.net *.split]
ycjung has quit [*.net *.split]
crowley95 has quit [*.net *.split]
ansiwen has quit [*.net *.split]
clog has quit [*.net *.split]
DanielRichman has quit [*.net *.split]
jave has quit [*.net *.split]
mal`` has quit [*.net *.split]
zv has quit [*.net *.split]
greenbagels has quit [*.net *.split]
flodin has quit [*.net *.split]
vodkaInf1rno has quit [*.net *.split]
parcs has quit [*.net *.split]
rpcope has quit [*.net *.split]
shenghi has quit [*.net *.split]
rntz2 has quit [*.net *.split]
jcob has quit [*.net *.split]
lyxia has quit [*.net *.split]
hannes has quit [*.net *.split]
pepesza has quit [*.net *.split]
rixed has quit [*.net *.split]
rpcope has joined #ocaml
rixed has joined #ocaml
jcob has joined #ocaml
hannes has joined #ocaml
pepesza has joined #ocaml
lyxia has joined #ocaml
bartholin has joined #ocaml
kakadu has joined #ocaml
ycjung has joined #ocaml
DanielRichman has joined #ocaml
mal`` has joined #ocaml
jave has joined #ocaml
zv has joined #ocaml
parcs has joined #ocaml
seliopou has joined #ocaml
ocabot has joined #ocaml
crowley95 has joined #ocaml
greenbagels has joined #ocaml
shenghi has joined #ocaml
flodin has joined #ocaml
rntz2 has joined #ocaml
parcs has quit [Ping timeout: 268 seconds]
ravenousmoose has joined #ocaml
ravenousmoose has quit [Ping timeout: 252 seconds]
rwmjones_HOLS has quit [Ping timeout: 276 seconds]
seliopou has quit [*.net *.split]
kakadu has quit [*.net *.split]
ocabot has quit [*.net *.split]
ycjung has quit [*.net *.split]
crowley95 has quit [*.net *.split]
DanielRichman has quit [*.net *.split]
jave has quit [*.net *.split]
mal`` has quit [*.net *.split]
zv has quit [*.net *.split]
greenbagels has quit [*.net *.split]
flodin has quit [*.net *.split]
shenghi has quit [*.net *.split]
rntz2 has quit [*.net *.split]
seliopou has joined #ocaml
ocabot has joined #ocaml
greenbagels has joined #ocaml
mal`` has joined #ocaml
kakadu has joined #ocaml
ycjung has joined #ocaml
crowley95 has joined #ocaml
shenghi has joined #ocaml
rntz2 has joined #ocaml
flodin has joined #ocaml
DanielRichman has joined #ocaml
jave has joined #ocaml
zv has joined #ocaml
rwmjones has joined #ocaml
tane has joined #ocaml
ravenousmoose has joined #ocaml
Serpent7776 has joined #ocaml
kleisli has quit [Ping timeout: 240 seconds]
jao has quit [Ping timeout: 252 seconds]
brettgilio has quit [Quit: Quit]
brettgilio has joined #ocaml
q9929t has quit [Remote host closed the connection]
q9929t has joined #ocaml
parcs has joined #ocaml
brettgilio has quit [Quit: Quit]
brettgilio has joined #ocaml
dborisog has joined #ocaml
rwmjones is now known as rwmjones_HOLS
ravenousmoose has quit [Ping timeout: 250 seconds]
clog has joined #ocaml
brettgilio has quit [Quit: Quit]
brettgilio has joined #ocaml
kgop has joined #ocaml
ravenousmoose has joined #ocaml
<kgop>
What's the difference between campl5 and ppx?
<kgop>
<kgop>
I want to make some dsls in ocaml, but I don't like
<kgop>
the %-symbol restrictions of ppx.
<kgop>
<kgop>
ravenousmoose has quit [Ping timeout: 252 seconds]
<octachron>
kgop, ppxs are less powerful but more composable and compatible with tooling. In doubt, always starts with a ppx.
<kgop>
I'm trying to a heavily simplified dsl targeted at non-developer users, hence I'm slightly worried about the fact that ppx needs macros with %.
<kgop>
Is is fairly easy to transition from a ppx definition to campl5?
<kgop>
If so, then I might start out experimenting in ppx then slowly move to camlp5
<octachron>
No, camlp5 and ppxs are completely different.
<octachron>
Note that what I said above only applies if the host language is OCaml
<kgop>
I see - okay thanks, I'll use camlp5 then
ollehar has joined #ocaml
<octachron>
If you don't intend your user to touch at OCaml code it might be a sensible choice. In this case, you could also write the parser yourself with menhir.
nullifidian has quit [Remote host closed the connection]
<kgop>
I'd like to allow the option to drop down to ocaml if the dsl can't capture the desired semantics, so camlp5 seems more suited for this
<Armael>
using camlp5 means you lose support from the ocaml ide tooling (merling, ocp-indent, etc) because you introduce arbitrary alien syntax
barockobamo has joined #ocaml
nullifidian has joined #ocaml
kgop has left #ocaml ["ERC (IRC client for Emacs 26.3)"]
mfp has joined #ocaml
kgop has joined #ocaml
kgop has left #ocaml [#ocaml]
gareppa has joined #ocaml
kgop has joined #ocaml
kgop has quit [Client Quit]
jaar has joined #ocaml
kgop has joined #ocaml
bartholin has quit [Remote host closed the connection]
ravenousmoose has joined #ocaml
kgop has quit [Ping timeout: 252 seconds]
kgop` has joined #ocaml
ravenousmoose has quit [Ping timeout: 252 seconds]
kgop` has quit [Ping timeout: 245 seconds]
tmps has joined #ocaml
<Leonidas>
companion_cube: fun fact, generating random data with qcheck probably found a bug in the JS library that consumes the data downstream :D
kgop has joined #ocaml
<Armael>
a bug in a JS library? impossible!
gareppa has quit [Quit: Leaving]
freeside has left #ocaml [#ocaml]
q9929t has quit [Ping timeout: 240 seconds]
q9929t has joined #ocaml
tmps has quit [Remote host closed the connection]
tane has quit [Quit: Leaving]
jaar has quit [Ping timeout: 240 seconds]
RalfJung has quit [Ping timeout: 252 seconds]
RalfJ has joined #ocaml
q9929t1 has joined #ocaml
nojb has joined #ocaml
q9929t has quit [Ping timeout: 252 seconds]
q9929t1 is now known as q9929t
andreas31 has quit [Remote host closed the connection]
jaar has joined #ocaml
q9929t1 has joined #ocaml
q9929t has quit [Ping timeout: 250 seconds]
q9929t1 is now known as q9929t
retropikzel has joined #ocaml
Serpent7776 has quit [Ping timeout: 246 seconds]
Serpent7776 has joined #ocaml
oni-on-ion has joined #ocaml
drewr has quit [Ping timeout: 250 seconds]
q9929t1 has joined #ocaml
q9929t has quit [Ping timeout: 245 seconds]
q9929t1 is now known as q9929t
retropikzel has quit [Ping timeout: 276 seconds]
jao has joined #ocaml
andreas303 has joined #ocaml
mfp has quit [Ping timeout: 245 seconds]
Haudegen has quit [Quit: Bin weg.]
kleisli has joined #ocaml
nojb has left #ocaml [#ocaml]
q9929t has quit [Ping timeout: 276 seconds]
q9929t has joined #ocaml
zolk3ri has joined #ocaml
andreas303 has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
andreas303 has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 252 seconds]
zolk3ri has quit [Remote host closed the connection]
zolk3ri has joined #ocaml
Haudegen has joined #ocaml
q9929t has quit [Ping timeout: 245 seconds]
q9929t has joined #ocaml
q9929t1 has joined #ocaml
q9929t has quit [Ping timeout: 246 seconds]
q9929t1 is now known as q9929t
<companion_cube>
:D
<companion_cube>
Leonidas: cool \o/
spew has joined #ocaml
mbuf has quit [Quit: Leaving]
mfp has joined #ocaml
Haudegen[m] has joined #ocaml
peddie has joined #ocaml
copy` has joined #ocaml
zapashcanon[m] has joined #ocaml
aspiwack[m] has joined #ocaml
hdurer[m] has joined #ocaml
keep-learning[m] has joined #ocaml
flux has joined #ocaml
smondet[m] has joined #ocaml
jimt[m] has joined #ocaml
bglm[m] has joined #ocaml
rgr[m] has joined #ocaml
stan[m] has joined #ocaml
regnat[m] has joined #ocaml
Virgile[m] has joined #ocaml
dl3br[m] has joined #ocaml
cgenie[m] has joined #ocaml
prsafont[m] has joined #ocaml
aecepoglu[m] has joined #ocaml
otini has joined #ocaml
isaachodes[m] has joined #ocaml
sepp2k has joined #ocaml
FreeBirdLjj has joined #ocaml
<spew>
does anyone ever use the test_ctxt in ounit2?
<spew>
I don't really get what it's for
gareppa has joined #ocaml
Nahra has joined #ocaml
Nahra has quit [Changing host]
Nahra has joined #ocaml
Serpent7776 has quit [Quit: Leaving]
Fardale has quit [Ping timeout: 264 seconds]
Fardale has joined #ocaml
gareppa has quit [Quit: Leaving]
gareppa has joined #ocaml
dborisog has quit [Ping timeout: 245 seconds]
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
gareppa has quit [Quit: Leaving]
smazga has joined #ocaml
KeyJoo has joined #ocaml
ollehar has quit [Ping timeout: 276 seconds]
jao has quit [Remote host closed the connection]
jao has joined #ocaml
KeyJoo has quit [Quit: KeyJoo]
zolk3ri has quit [Remote host closed the connection]
kleisli has quit [Remote host closed the connection]
kleisli_ has joined #ocaml
kgop has quit [Ping timeout: 245 seconds]
kgop` has joined #ocaml
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
kgop` has quit [Ping timeout: 276 seconds]
ziyourenxiang has quit [Ping timeout: 246 seconds]
kgop` has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
bartholin has joined #ocaml
barockobamo has quit [Remote host closed the connection]
retropikzel has joined #ocaml
gareppa has joined #ocaml
kleisli_ has quit [Remote host closed the connection]
kleisli__ has joined #ocaml
<narimiran>
another beginner question. i'm creating my module called Grid, with `type t = bool array array`, and with function `of_string` which converts a string to the Grid.
<narimiran>
if i just create that function as `let of_string s = ....`, the signature is `string -> bool array array`. do i need to do `let of_string s: t = ...` so i would get `string -> t`, or all that isn't important at all?
<bartholin>
just declare val of_string : string -> t in the module signature
kgop` has quit [Ping timeout: 265 seconds]
retropikzel has left #ocaml ["Leaving"]
gareppa has quit [Quit: Leaving]
kgop` has joined #ocaml
jco has joined #ocaml
brettgilio has quit [Ping timeout: 250 seconds]
ravenousmoose has joined #ocaml
ravenousmoose has quit [Ping timeout: 250 seconds]
jnavila has joined #ocaml
jaar has quit [Ping timeout: 246 seconds]
silver has joined #ocaml
bitwinery has joined #ocaml
kleisli__ has quit [Ping timeout: 276 seconds]
bitwinery has quit [Remote host closed the connection]
bitwinery has joined #ocaml
Tsukimaru has joined #ocaml
kleisli has joined #ocaml
jnavila has quit [Ping timeout: 276 seconds]
ggole has quit [Quit: Leaving]
tane has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
philtor has quit [Ping timeout: 276 seconds]
kakadu_ has joined #ocaml
Tsukimaru has quit [Quit: Leaving]
Nahra has quit [Ping timeout: 252 seconds]
jnavila has joined #ocaml
ravenousmoose has joined #ocaml
ravenousmoose has quit [Ping timeout: 250 seconds]
gravicappa has quit [Ping timeout: 246 seconds]
Haudegen has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
narimiran has quit [Quit: Leaving]
mfp has quit [Ping timeout: 240 seconds]
kleisli has quit [Ping timeout: 240 seconds]
kleisli has joined #ocaml
andrewalker has quit [Ping timeout: 246 seconds]
andrewalker has joined #ocaml
beginner has joined #ocaml
Nahra has joined #ocaml
Nahra has quit [Changing host]
Nahra has joined #ocaml
beginner has left #ocaml [#ocaml]
obadz has quit [Ping timeout: 245 seconds]
beginner42 has joined #ocaml
beginner42 has quit [Remote host closed the connection]
jnavila has quit [Ping timeout: 246 seconds]
jco has quit [Quit: WeeChat 2.6]
kleisli has quit [Ping timeout: 246 seconds]
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
tane has quit [Quit: Leaving]
q9929t has quit [Remote host closed the connection]
q9929t has joined #ocaml
kakadu_ has quit [Remote host closed the connection]
ravenousmoose has joined #ocaml
ravenousmoose has quit [Ping timeout: 246 seconds]
silver_ has joined #ocaml
silver has quit [Ping timeout: 240 seconds]
brettgilio has joined #ocaml
ravenousmoose has joined #ocaml
mfp has joined #ocaml
smazga has quit [Quit: leaving]
ravenousmoose has quit [Ping timeout: 252 seconds]
ziyourenxiang has joined #ocaml
Nahra has quit [Quit: leaving]
brettgilio has quit [Ping timeout: 246 seconds]
cobreadmonster has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]