archives

Differences between gradual, soft, and dynamic dependent typing?

I've skimmed a few papers on gradual/soft/dynamic dependent typing, but I'm not sure where to focus my energy and what to read in detail. Can someone tell me what the prominent differences are between these three approaches?

By Alex Rubinsteyn at 2009-02-13 21:44 | LtU Forum | 1 comment | other blogs | 5825 reads