User loginNavigation |
archivesDependent 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? |
Browse archivesActive forum topics |
Recent comments
16 weeks 2 days ago
16 weeks 2 days ago
16 weeks 2 days ago
38 weeks 4 days ago
42 weeks 5 days ago
44 weeks 3 days ago
44 weeks 3 days ago
47 weeks 23 hours ago
51 weeks 5 days ago
51 weeks 5 days ago