Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
monomorphism is ... ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 1999-01-21 (17:45)
From: Simon Helsen <helsen@i...>
Subject: Re: monomorphism is ... ?
>Am I right in thinking that the following holds ?
>polymorphic  = has type 'a  = for all
>monomorphic  = has type '_a = exists

not in the type-theoretic sense of the word. Exists normally refers to
data abstraction, whereas the '_a here is a "hack" of the ocaml
interactive environment. As soon as it gets a type, you cannot
"re"-instantiate it.  SML doesn't have the '_a at all and returns a dummy
type-variable. I think (but I am not sure about this) that the batch
compiler doesn't deal with '_a at all.