User loginNavigation |
Dependent Types, Generic Programming and Overloading.Being interested in dependent typed programming for a little while I noticed a slight peculiarity of the field: there are almost no papers on overloading in dependent typed setting. The only paper is here: Dependent Types with Subtyping and Late-Bound Overloading. There are a plenty of papers describing techniques for generic programming, like Generic Programming Within Dependently Typed Programming. But no overloading. In my own opinion overloading is quite important for regular programming and its' absence can be a substantial barrier on entry. (A little discussion of overloading was here: http://lambda-the-ultimate.org/classic/message1575.html In some implementations a function can return a Set, ie, Type (an example is So, the questions are: What precludes dependent typed programming languages to have overloading? And what should one do to work around that? By Serguey Zefirov at 2008-03-23 18:22 | LtU Forum | previous forum topic | next forum topic | other blogs | 7764 reads
|
Browse archives
Active forum topics |
Recent comments
13 weeks 3 days ago
13 weeks 3 days ago
13 weeks 3 days ago
35 weeks 4 days ago
39 weeks 6 days ago
41 weeks 3 days ago
41 weeks 3 days ago
44 weeks 1 day ago
48 weeks 5 days ago
48 weeks 5 days ago