On 23/08/12, Brent Yorgey <byor...@seas.upenn.edu> wrote:
Yes, I am aware the semantics of Haskell is this situation.
fun1 returns 8 for all inputs. The fact that fun1's definition uses
the name 'constant' which happens to have the same name as something
in scope is irrelevant. For example, this is precisely the same as the above:
constant :: Int
constant = 1
fun1 :: Int -> Int
fun1 foo = 8
-Brent
I also know for every model of a subclass there must exist a model of the super-class.
I am just not sure whether there is a model expansion from the super-class model to the subclass model.
I am also unsure of the morphism from type variables in the class definition to actual types in instances and to the operations in the instance.
In a intuitive way I think that I understand these things, but not in a model theoretic way.
Thanks,
Pat
Tá an teachtaireacht seo scanta ó thaobh ábhar agus víreas ag Seirbhís Scanta Ríomhphost de chuid Seirbhísí Faisnéise, ITBÁC agus meastar í a bheith slán. http://www.dit.ie
This message has been scanned for content and viruses by the DIT Information Services E-Mail Scanning Service, and is believed to be clean. http://www.dit.ie
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
