Name: Anonymous 2018-10-12 17:08
So, why are you not using dependent types yet? Do you like your programs randomly crashing?
Type safe division: https://gist.github.com/edwinb/0047a2aff46a0f49c881I can just
catch ZeroDivisionError in other langs to achieve the same exact thing.