jeffrey-s-foster/rtc — Issue #11: Add support for polymorphic functions
Author: jtoman
Created: 2012-02-24 22:16:33+00:00
State: open

Currently, type parameters are only applicable at the class level. It would add more expressiveness and better model actual ruby functions if parametric polymorphism was applicable at the method level. This would allow type signatures like

```ruby
typesig("identity: (t) -> t")
```
Support for this in the grammar, but I'm not clear on how we could implement type checking for polymorphic functions at runtime. Comments and suggestions welcome.