User loginNavigation |
Applied Type System vs. EpigramThere's been much discussion of Epigram, but I have yet to see much discussion of Applied Type System. There have been a few stories here on LTU, but relatively little discussion. This surprises me as ATS seems quite advanced. As a relative newcomer to type theory, I'm interested in the relative merits of ATS vs. Epigram vs. any other dependently typed languages that might exist. From my understanding, Epigram is a Pure Type System that seeks to unify types and terms, where ATS distinguishes the statics and dynamics of the language. What benefits and limitations do these approaches have on complexity for both developer and implementor? By naasking at 2006-06-15 22:19 | LtU Forum | previous forum topic | next forum topic | other blogs | 11028 reads
|
Browse archives
Active forum topics |
Recent comments
13 weeks 6 days ago
13 weeks 6 days ago
13 weeks 6 days ago
36 weeks 1 day ago
40 weeks 3 days ago
42 weeks 5 hours ago
42 weeks 5 hours ago
44 weeks 5 days ago
49 weeks 2 days ago
49 weeks 2 days ago