Home » forums » LtU Forum

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 | previous forum topic | next forum topic | other blogs | 5850 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Search "Soft Typing"

Soft typing has been discussed a number of times on LtU.

By Chris Rathman at Fri, 2009-02-13 21:59 | login or register to post comments