Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

polymorphism with dependent types

Name: Anonymous 2012-10-14 17:24

are there any languages that provide this? Types that depend on values with a set of associated methods complete with inheritance and the whole deal?

Name: Anonymous 2012-10-14 17:33

Dependent types?
Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode -