User loginNavigation |
Is there a language with the ability to write arbitrary type functions?I'm looking for a usable, fully implemented language that supports a kind of 'programming in types'. That is, it should allow the definition of type functions that take types as parameters, return values that are (existing or new) types, and support compile-time logic to implement those type functions. The generated types should of course then be used to instantiate functions that use those types. I know that some of this is possible in C++, but the underlying type system in C++ is not really suitable. I know that anything is possible in Lisp, but again I'm really looking for a language with a modern type system and functions on those types at compile time. For background, this is in support of my Andl project link here. The need is to define generic operations on tuple types as they are transformed by the relational algebra, with full type inference. By davidb at 2016-06-26 10:39 | LtU Forum | previous forum topic | next forum topic | other blogs | 10431 reads
|
Browse archives
Active forum topics |
Recent comments
24 weeks 2 days ago
24 weeks 2 days ago
24 weeks 2 days ago
46 weeks 3 days ago
50 weeks 5 days ago
1 year 1 day ago
1 year 1 day ago
1 year 2 weeks ago
1 year 7 weeks ago
1 year 7 weeks ago