andreas303 has quit [Remote host closed the connection]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<Anarchos>
leah2 thanks
andreas303 has joined #ocaml
zolk3ri has joined #ocaml
UltraMonkey has joined #ocaml
<UltraMonkey>
hello. are there any examples of Objects in the standard library of OCaml?
kvda has joined #ocaml
kvda has quit [Client Quit]
<UltraMonkey>
egrep -RIi class "$(ocamlc -where)"/*.ml -- apparently not. interesting
<Anarchos>
UltraMonkey no
<Anarchos>
only use is in compiler, for emitting assembly on different architectures
<Anarchos>
UltraMonkey i was shocked too to realize this very little use of classes inside ocaml source code itself
pigeonv has joined #ocaml
nullifidian__ is now known as nullifidian
webshinra has quit [Remote host closed the connection]
hlisp has joined #ocaml
hlisp has quit [Read error: Connection reset by peer]
jyc_ has quit [Quit: Connection closed for inactivity]
hlisp has joined #ocaml
hlisp_ has joined #ocaml
hlisp has quit [Ping timeout: 265 seconds]
waleee-cl has joined #ocaml
raver has quit [Remote host closed the connection]
raver has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
hlisp_ has quit [Remote host closed the connection]
hlisp has joined #ocaml
jao has joined #ocaml
Haudegen has joined #ocaml
<ollehar_>
# looks bad
<ollehar_>
object#method?
<ollehar_>
bah
hlisp_ has joined #ocaml
hlisp has quit [Ping timeout: 260 seconds]
<Anarchos>
ollehar_ well # is rather a bold glyph which harms the speed of reading
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
<ollehar_>
I guess, yeah
<ollehar_>
silly that such a superficial detail matters so much
<ollehar_>
but here we are
<ollehar_>
hashtag reasonml
hlisp has joined #ocaml
hlisp_ has quit [Ping timeout: 240 seconds]
UltraMonkey has quit [Remote host closed the connection]
hlisp has quit [Remote host closed the connection]
hlisp has joined #ocaml
solarliner has joined #ocaml
FreeBirdLjj has joined #ocaml
hlisp has quit [Ping timeout: 240 seconds]
ollehar_ has quit [Ping timeout: 256 seconds]
FreeBirdLjj has quit [Ping timeout: 260 seconds]
<flux1>
we're probably here because superficial details don't matter to everyone 🤔
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 265 seconds]
solarliner has quit [Quit: solarliner]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 256 seconds]
catern has quit [Quit: catern]
solarliner has joined #ocaml
catern has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
zolk3ri has quit [Remote host closed the connection]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 256 seconds]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 265 seconds]
solarliner has quit [Ping timeout: 240 seconds]
mengu has joined #ocaml
mengu_ has quit [Ping timeout: 258 seconds]
Haudegen has joined #ocaml
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 246 seconds]
yomimono has quit [Ping timeout: 272 seconds]
hlisp has joined #ocaml
dborisog has quit [Ping timeout: 258 seconds]
hlisp has quit [Ping timeout: 256 seconds]
sepp2k has quit [Quit: authenticating]
sepp2k1 has joined #ocaml
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 256 seconds]
bluesung1ound has quit [Remote host closed the connection]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 260 seconds]
<hannes>
anyone know why opam switch create foo ocaml-variants.4.10.0+32bit errors ([ERROR] No compiler matching 'ocaml-variants.4.10.0+32bit' found); but ocaml-variants.4.10.0+32bit exists in opam repo, and 4.09.0+32bit works (4.09.1+32bit does not work here)?
Anarchos has joined #ocaml
<hannes>
hmm, looks like opam update was missing, sorry for the noise
jgkamat has left #ocaml ["Using Circe, the loveliest of all IRC clients"]
hlisp has joined #ocaml
amiloradovsky has quit [Ping timeout: 260 seconds]
amiloradovsky has joined #ocaml
hlisp has quit [Ping timeout: 240 seconds]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
Anarchos has joined #ocaml
<olle>
urgh
olle has quit [Quit: leaving]
rock64 has joined #ocaml
<rock64>
test
<rock64>
and urgh
<rock64>
hm
rock64 is now known as olle
<olle>
test
<olle>
my program is starting to reach that size...
<olle>
I'm re-purpusing old code by adding optional arguments to stuff
<companion_cube>
what size? :p
<olle>
nah, not big, 2k loc
<olle>
but i'm starting to feel the technical debt
<companion_cube>
2kloc is not to big
wreed has joined #ocaml
mbuf has quit [Quit: Leaving]
<olle>
no, for sure not
<olle>
i'm just not used to structure ocaml code
<olle>
no routine
<olle>
cutting a shitload of corners, haha
<olle>
well, my boss ain't watching
<Anarchos>
olle i am at 3kloc for now
<olle>
Anarchos: which domain?
<Anarchos>
olle formal proof verifier (not assistant, just verifier)
<olle>
oooh
<olle>
fancy :)
<olle>
I'm just doing an RPG randomizer ^^
<Anarchos>
why is the compiler unable to detect that my guarded clause are exhaustive ?
<pigeonv>
because types aren't powerful enough?
Hrundi_V_Bakshi has joined #ocaml
<Armael>
Anarchos: you can write arbitrary code in guard clauses, so there's no way the compiler would be able to check them in general
<Anarchos>
Armael i just put i<10 and i>=10
<Armael>
Anarchos: guard clauses are just not checked for correctness
<Armael>
uh
<Armael>
exhaustiveness*
<Armael>
it's better to use "if then else" to compare integers
solarliner has joined #ocaml
narimiran has quit [Ping timeout: 264 seconds]
<olle>
Anarchos: type-level peano numbers
<olle>
have fun with that
sstc has joined #ocaml
<companion_cube>
it's a trap!
<olle>
;)
<olle>
Anarchos: actually you can do that *fairly* easily in F*
<olle>
much easier than in any other language, I'd argue, like dependent haskell or coq
<olle>
(without having any experience in anything)
<companion_cube>
can you really use F* if you don't have experience with FP? I somehow doubt it
<companion_cube>
the learning curve must exist
<olle>
companion_cube: hm? Anarchos has experience in ocaml
<olle>
I assume :)
<companion_cube>
yeah, yeah
<companion_cube>
I was replying to your () comment
<olle>
ah shit
<olle>
I meant: I'm saying this without having experience in coq nor dependent haskell
<olle>
otherwise I agree, FP is probably needed to get into F*
<olle>
or included in it
<olle>
other topic: did netcgi2 die? what's the standard cgi lib today in ocaml? if any
<companion_cube>
does anyone still use cgi?!
<companion_cube>
there seems to be the `cgi` lib on opam
<olle>
companion_cube: what's the alternative?
<olle>
ocamlnet is netcgi2, it seems
<companion_cube>
anything else? :D
<olle>
companion_cube: but then you have to roll your own server?
<companion_cube>
sure, but most people do that, I think?
<olle>
most ocaml people?
<companion_cube>
the ones who do web stuff? I think so
<companion_cube>
I have my own small httpd, too
<olle>
hm hm
<olle>
ok
<companion_cube>
`cgi` might do, if that's what you want
<olle>
yep
mengu has quit []
sstc has quit [Quit: WeeChat 2.8]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 260 seconds]
tane has quit [Quit: Leaving]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
Anarchos has joined #ocaml
Boarders_ has joined #ocaml
<Boarders_>
Does anyone know if there are plans to add simd operations to ocaml, or if the compiler will already vectorise?
<companion_cube>
no, and no
<Boarders_>
ah ok, that is a shame
Serpent7776 has quit [Quit: leaving]
<Anarchos>
Boarders_ isn't it in the native compiler emitter ?
<Boarders_>
I don’t know, that is what I am asking
<Anarchos>
companion_cube are you sure the native compiler doesn't optimize this case with float arrays ?
<companion_cube>
pretty sure
kvda has joined #ocaml
amiloradovsky has quit [Ping timeout: 256 seconds]
<Anarchos>
How to debug ocamlmerlin ?
wreed has quit [Quit: Goodbye]
smazga has quit [Ping timeout: 256 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<companion_cube>
I tihnk you can start it with an env variable that makes it log everything it does in a file
<companion_cube>
MERLIN_LOG or something like that
jbrown has quit [Ping timeout: 265 seconds]
jbrown has joined #ocaml
osa1 has joined #ocaml
<osa1>
is there an executable in a standard ocaml distribution for directly running a source code? e.g. ocamlrun but it'll compile to bytecode and run it in one step?