So, why are you not using dependent types yet? Do you like your programs randomly crashing?
Name:
Anonymous2018-10-14 15:27
>>46 Concepts seems like some form of proof checker or something, which is somewhat close to dependent types indeed - seems similar to what F* uses. But I might have just misunderstood what concepts are about, this seems like a new thing.