companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.14.0 released: https://ocaml.org/releases/4.14.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
wingsorc__ has joined #ocaml
hannes has quit [Ping timeout: 246 seconds]
neiluj has quit [Ping timeout: 252 seconds]
motherfsck has quit [Ping timeout: 248 seconds]
olle has quit [Ping timeout: 252 seconds]
bobo_ has quit [Ping timeout: 252 seconds]
spip has joined #ocaml
motherfsck has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]
Haudegen has quit [Ping timeout: 252 seconds]
rgrinberg has joined #ocaml
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
perrierjouet has quit [Remote host closed the connection]
perrierjouet has joined #ocaml
perrierjouet has quit [Quit: WeeChat 3.7.1]
perrierjouet has joined #ocaml
oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
xd1le has joined #ocaml
ns12 has quit [Read error: Software caused connection abort]
ns12 has joined #ocaml
berberman has quit [Ping timeout: 260 seconds]
berberman_ has joined #ocaml
zebrag has joined #ocaml
chrisz has quit [Ping timeout: 260 seconds]
chrisz has joined #ocaml
waleee has quit [Ping timeout: 246 seconds]
perrierjouet has quit [Quit: WeeChat 3.7.1]
perrierjouet has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
Absalom has quit [Read error: Software caused connection abort]
Absalom has joined #ocaml
Haudegen has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
berberman_ has quit [Ping timeout: 252 seconds]
bgs has joined #ocaml
berberman has joined #ocaml
jao has quit [Ping timeout: 252 seconds]
dnh has joined #ocaml
bartholin has joined #ocaml
troydm has quit [Ping timeout: 260 seconds]
mro has joined #ocaml
berberman_ has joined #ocaml
berberman has quit [Ping timeout: 252 seconds]
berberman_ has quit [Ping timeout: 252 seconds]
berberman has joined #ocaml
berberman_ has joined #ocaml
berberman has quit [Ping timeout: 252 seconds]
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dnh has joined #ocaml
Serpent7776 has joined #ocaml
berberman_ has quit [Ping timeout: 252 seconds]
kakadu has joined #ocaml
berberman has joined #ocaml
hannes has joined #ocaml
berberman_ has joined #ocaml
berberman has quit [Ping timeout: 252 seconds]
olle has joined #ocaml
bartholin has quit [Quit: Leaving]
mro has quit [Remote host closed the connection]
mro has joined #ocaml
gentauro has quit [Read error: Connection reset by peer]
mro has quit [Remote host closed the connection]
gentauro has joined #ocaml
troydm has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
neiluj has joined #ocaml
mro has quit [Quit: Leaving...]
waleee has joined #ocaml
bobo_ has joined #ocaml
spip has quit [Ping timeout: 268 seconds]
Haudegen has quit [Quit: Bin weg.]
waleee has quit [Ping timeout: 246 seconds]
alexherbo2 has joined #ocaml
random-jellyfish has joined #ocaml
random-jellyfish has quit [Quit: Client closed]
random-jellyfish has joined #ocaml
spip has joined #ocaml
bobo_ has quit [Ping timeout: 260 seconds]
dnh has quit [Quit: Textual IRC Client: www.textualapp.com]
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
Haudegen has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
rgrinberg has joined #ocaml
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
random-jellyfish has quit [Quit: Client closed]
calvnce has joined #ocaml
bartholin has joined #ocaml
motherfsck has quit [Quit: quit]
motherfsck has joined #ocaml
<olle> Is it empirically proven that static types reduce defects?
<olle> Or reduce fault density
<olle> Let's google that
<olle> Phew so much
mro has joined #ocaml
<olle> New senior wants to discuss typescript vs vanilla js, sigh
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
random-jellyfish has joined #ocaml
<companion_cube> empirical proof on software is really hard to obtain
<companion_cube> I don't think it's particularly useful to ask for it
<olle> how else would you argue?
<companion_cube> that's a good question
<companion_cube> I don't have much better than personal experience, and hearing the same from a lot of other people
<companion_cube> so you can probably argue better in the context of a given team and given project
<olle> well
<olle> personal exp vs personal exp, then
troydm has quit [Ping timeout: 268 seconds]
<companion_cube> sure
<companion_cube> but I read a lot more people who loved the transition to TS, than people who hate it, I think
<olle> this guy is senior and anti ts, and we have another incoming, senior, who also doesn't want to use it
<olle> so 4 people, 2 want ts, 2 doesn't
<olle> i did suggest rescript :D
<olle> there's also flow, and sonarcube
<olle> we'll see where it lands, i guess
<companion_cube> if they have decision power, you're probably screwed :s
random-jellyfish has quit [Quit: Client closed]
<olle> authority is a but unclear; i'm hired as architect, but mostly for php, and there i keep pushing static analysis
Techcable has quit [Ping timeout: 246 seconds]
<sleepydog> personally, the thing I enjoy the most about static typing is that it makes the code easier to read. so much so that sometimes i feel conflicted about how good Ocaml's type inference is.
<companion_cube> you can make the choice to annotate your code :)
Haudegen has quit [Quit: Bin weg.]
calvnce has quit [Quit: Client closed]
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
<zozozo> Personally, last time I used python, it was a pain because to understand what a function does and how to use it, you basically need to look at examples of its use, whereas when you have a function type, well, the type already explains a lot of what the function does and how to use its result
<zozozo> So imho, typing not only helps for bugs, but also it helps write code faster
<companion_cube> the biggest thing is refactoring, I think few people contest that
alexherbo2 has quit [Remote host closed the connection]
kakadu has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Ping timeout: 260 seconds]
Tuplanolla has joined #ocaml
xd1le has quit [Quit: xd1le]
mro has joined #ocaml
mro has quit [Ping timeout: 252 seconds]
Haudegen has joined #ocaml
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
dmbaturin has quit [Ping timeout: 255 seconds]
dmbaturin has joined #ocaml
jao has joined #ocaml
Techcable has joined #ocaml
trev has joined #ocaml
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
trev has quit [Client Quit]
Haudegen has joined #ocaml
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
alexherbo2 has joined #ocaml
troydm has joined #ocaml
terrorjack has quit [Ping timeout: 248 seconds]
terrorjack has joined #ocaml
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
Serpent7776 has quit [Read error: Connection reset by peer]
Serpent7776 has joined #ocaml
olle has quit [Ping timeout: 246 seconds]
azimut has quit [Ping timeout: 255 seconds]
motherfsck has quit [Remote host closed the connection]
mro has joined #ocaml
waleee has joined #ocaml
mro has quit [Ping timeout: 246 seconds]
mro has joined #ocaml
Anarchos has joined #ocaml
random-jellyfish has joined #ocaml
bgs has quit [Remote host closed the connection]
mro has quit [Quit: Leaving...]
alexherbo2 has quit [Remote host closed the connection]
neiluj has quit [Quit: WeeChat 3.6]
olle has joined #ocaml
random-jellyfish has quit [Ping timeout: 260 seconds]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
xgqt has quit [Read error: Connection reset by peer]
bartholin has quit [Quit: Leaving]
xgqt has joined #ocaml
olle has quit [Ping timeout: 268 seconds]
Tuplanolla has quit [Quit: Leaving.]
omni has quit [*.net *.split]
rak has quit [*.net *.split]
leah2 has quit [*.net *.split]
energizer has quit [*.net *.split]
cizra has quit [*.net *.split]
pieguy128 has quit [*.net *.split]
cizra has joined #ocaml
omni has joined #ocaml
rak has joined #ocaml
pieguy128 has joined #ocaml
leah2 has joined #ocaml
energizer has joined #ocaml
Serpent7776 has quit [Ping timeout: 252 seconds]