ygrek has joined #ocaml
hlisp has quit [Ping timeout: 246 seconds]
hlisp has joined #ocaml
Haudegen has quit [Ping timeout: 258 seconds]
jbrown has quit [Ping timeout: 265 seconds]
jbrown has joined #ocaml
nicolaus has quit [Remote host closed the connection]
mfp has quit [Ping timeout: 256 seconds]
pigeonv has quit [Ping timeout: 240 seconds]
dborisog has joined #ocaml
hlisp has quit [Remote host closed the connection]
jao has quit [Ping timeout: 260 seconds]
hlisp has joined #ocaml
mbuf has joined #ocaml
ferd has quit [Ping timeout: 272 seconds]
ygrek has quit [Ping timeout: 272 seconds]
hlisp has quit [Ping timeout: 272 seconds]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 246 seconds]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 260 seconds]
narimiran has joined #ocaml
vicfred_ has joined #ocaml
vicfred has quit [Ping timeout: 260 seconds]
hlisp has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
hlisp has quit [Ping timeout: 240 seconds]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 246 seconds]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 272 seconds]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 264 seconds]
vicfred_ has quit [Quit: Leaving]
vicfred has joined #ocaml
vicfred has quit [Client Quit]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 240 seconds]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 264 seconds]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 260 seconds]
bluesunground has quit [Ping timeout: 265 seconds]
bluesunground has joined #ocaml
def_ has joined #ocaml
narimiran has quit [*.net *.split]
kandu has quit [*.net *.split]
shmibs has quit [*.net *.split]
ocabot has quit [*.net *.split]
SquidDev has quit [*.net *.split]
def has quit [*.net *.split]
valtr has quit [*.net *.split]
taharqa has quit [*.net *.split]
hlisp has joined #ocaml
taharqa has joined #ocaml
narimiran has joined #ocaml
ocabot has joined #ocaml
shmibs has joined #ocaml
SquidDev has joined #ocaml
kandu has joined #ocaml
valtr has joined #ocaml
hlisp has quit [Ping timeout: 256 seconds]
Exagone313 has quit [Quit: see ya!]
Exagone313 has joined #ocaml
Haudegen has joined #ocaml
chripell has joined #ocaml
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 256 seconds]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 258 seconds]
def_ is now known as def
hlisp has joined #ocaml
cantstanya has quit [Ping timeout: 240 seconds]
chripell has quit [Read error: Connection reset by peer]
chripell has joined #ocaml
cantstanya has joined #ocaml
chripell_ has joined #ocaml
chripell has quit [Ping timeout: 272 seconds]
mfp has joined #ocaml
tane has joined #ocaml
nullifidian_ has quit [Ping timeout: 246 seconds]
so has quit [Ping timeout: 246 seconds]
nullifidian_ has joined #ocaml
so has joined #ocaml
bacam has quit [Quit: reboot]
bacam has joined #ocaml
pigeonv has joined #ocaml
narimiran has quit [Ping timeout: 256 seconds]
hlisp has quit [Remote host closed the connection]
Anarchos has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
zolk3ri has joined #ocaml
Anarchos has quit [Ping timeout: 240 seconds]
Anarchos has joined #ocaml
pigeonv has quit [Ping timeout: 240 seconds]
narimiran has joined #ocaml
jao has joined #ocaml
pigeonv has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
ygrek has joined #ocaml
andrewlitteken has joined #ocaml
andrewlitteken has left #ocaml [#ocaml]
hlisp has joined #ocaml
hlisp has quit [Remote host closed the connection]
hlisp has joined #ocaml
hlisp has quit [Remote host closed the connection]
Haudegen has joined #ocaml
amiloradovsky has quit [Ping timeout: 240 seconds]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
vicfred has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
dborisog has quit [Ping timeout: 260 seconds]
tane has quit [Ping timeout: 272 seconds]
ggole has joined #ocaml
Haudegen has joined #ocaml
mbuf has quit [Quit: Leaving]
jbrown has quit [Ping timeout: 256 seconds]
jbrown has joined #ocaml
olle_ has joined #ocaml
zmt01 has quit [Read error: Connection reset by peer]
<
olle_>
does type inference make sense? I think the code is more readable if I add the type for each function and variable.
<
olle_>
Even when coding PHP I do this with /** @var string */ and such
zmt01 has joined #ocaml
<
Drup>
#notatrollbait
<
Armael>
olle_: except you only want to do this mostly for toplevel functions, not for every intermediate let binding
<
olle_>
Armael: right now i'm actually doing it everywhere, but yeah
<
olle_>
rust did a compromise, right? required for function signatures but not variables.
<
olle_>
I'm surprised they didn't add a requirement to ReasonML to do this for functions
<
pigeonv>
did you have a look at merlin?
<
olle_>
pigeonv: no, but I know it. i'm using vim, there's a plugin.
<
olle_>
merlin is not available at commit diffs though :)
<
pigeonv>
it works pretty well... except in diffs, yeah :/
<
pigeonv>
anyway, type annotations might be plain wrong in diffs because you can't compile them anyway
ggole has quit [Quit: Leaving]
<
olle_>
it's for readability
<
olle_>
#bikeshedding
<
pigeonv>
putting type declarations everywhere don't make your program easier to read
<
olle_>
for me it does, I feel, because I know what's going on on each line
<
pigeonv>
you can use naming conventions
<
olle_>
I'm saying this as I'm coming back to a five year-old codebase :)
<
pigeonv>
(if you don't have a big monolithic function, I mean :D)
jbrown has quit [Ping timeout: 272 seconds]
<
olle_>
did ocaml manage to grow anything the last years? maybe because of reasonml?
jbrown has joined #ocaml
<
companion_cube>
it's pretty nice to annotate functions
<
companion_cube>
each let, though, that's just noise
<
pigeonv>
ReasonML kind of split the ecosystem, so I'm not sure whether we can talk about growth from it
<
pigeonv>
for example, naming conventions are different
<
olle_>
does that matter?
<
pigeonv>
the semantics is different depending on the compiler
<
pigeonv>
BuckleScript's author made different choices
<
pigeonv>
derivers seem incompatible, too
<
pigeonv>
package management is different, too
<
pigeonv>
the Reason frontend is independent, sure
<
pigeonv>
but it's often associated with bsc, so...
<
companion_cube>
it's just an almost disjoint set of people using a different syntax, compiler backend, and doing different things (mostly web)
<
pigeonv>
they say the output JS code is more readable
<
pigeonv>
and it's not entirely wrong
<
companion_cube>
and in practice, using a different set of libraries, as well
muskan has joined #ocaml
<
pigeonv>
but things are handled differently, sometimes too differently :/
<
olle_>
well, i guess it's "good" that one of the biggest companies in the world rely on ocaml compiler to work :)
<
pigeonv>
it depends, as they sometimes try to "force" the use of their own libraries
<
pigeonv>
but in the end, yeah, it's quite a good thing because there aren't many people able to improve the compiler
Anarchos has joined #ocaml
tane has joined #ocaml
Jesin has quit [Quit: Leaving]
narimiran has quit [Ping timeout: 260 seconds]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
Anarchos has joined #ocaml
Jesin has joined #ocaml
sagax has quit [Ping timeout: 260 seconds]
tane has quit [Quit: Leaving]
rosterok has joined #ocaml
<
rosterok>
algebraic effects in ocaml still aren't a thing, right? still pending multicore, which seems to have had some breakthroughs?
<
companion_cube>
algebraic effects will take years to land, if they ever do
<
rosterok>
thanks. just lurking. saw them and unison and wanted to see where else they existed
<
Anarchos>
rosterok just realize that object-oriented feature are not commonly used too...
<
rosterok>
and ocaml
<
Anarchos>
rosterok ;)
hlisp has joined #ocaml
Haudegen has quit [Ping timeout: 260 seconds]
hlisp_ has joined #ocaml
hlisp has quit [Ping timeout: 272 seconds]
zolk3ri has quit [Quit: Lost terminal]
ygrek has quit [Ping timeout: 246 seconds]