Dependent types

So, why are you not using dependent types yet? Do you like your programs randomly crashing?

>>83

Please post about it.

It was mostly vidya logic, so not very /prog/ relevant. Shit like not realizing that bumping numbers without touching the underlying mechanics will just lead to more tedious kiting.

It's just that mentality of

I did something therefore it's fixed, thread over, issue closed, working as intended

that is impossible to work with. With those people, you have to convince them emotionally, by licking their asses and trying to sneak your ideas as theirs.