Name: Anonymous 2018-10-12 17:08
So, why are you not using dependent types yet? Do you like your programs randomly crashing?
the same exact thing"Data loss" and "crashing on runtime" is not the exact same effect as "catching a possible error at compile time".