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?

Name: Anonymous 2012-10-14 17:46

Haskell

Name: Anonymous 2012-10-14 18:02

>>2
https://en.wikipedia.org/wiki/Dependent_types

>>3
I will continue to learn it. Can it do dynamic dispatch based upon the dependent type? Or is it just static type checking with dependent types?

Name: Anonymous 2012-10-14 18:03

>>4
Types cannot change

Name: Anonymous 2012-10-14 18:05

>>5
but they can be grouped under a base type, and applications to instances of the base type can invoke implementations in the more specific sub types.

Newer Posts

polymorphism with dependent types

1 Name: Anonymous 2012-10-14 17:24

2 Name: Anonymous 2012-10-14 17:33

3 Name: Anonymous 2012-10-14 17:46

4 Name: Anonymous 2012-10-14 18:02