Name: Anonymous 2018-10-12 17:08
So, why are you not using dependent types yet? Do you like your programs randomly crashing?
for freeThats a lie. Garbage collection, performance, long compile times and complexity of implementation.