[Haskell-cafe] Type Synonyms

Andrew Wagner wagner.andrew at gmail.com
Thu Oct 11 00:01:23 EDT 2007

If you change your type declarations to 'newtype' declarations, I
believe you would get the effect that you want, depending on what you
mean by 'equivalent'. In that case, Foo and Bar would essentially be
strings, but you could not use either of them in a place where the
other is expected, nor where a String is expected. See
http://haskell.org/haskellwiki/Newtype for more information. Hope this

On 10/10/07, Tom Davies <tgdavies at gmail.com> wrote:
> Newbie question:
> I was wondering the other day if type synonyms might be more useful
> if they were more restricted, that is, with the definitions:
> type Foo = String
> type Bar = String
> foo :: Foo
> foo = "a foo"
> bar :: Bar
> bar = "a bar"
> x :: Foo -> ...
> x f b = ...only valid for Foo Strings...
> both 'x foo' and 'x bar' type check correctly.
> Wouldn't it be useful if Foo and Bar were both equivalent to String,
> but Foo and Bar were not equivalent themselves?
> For instance,
> if you are using Strings as properties of something and want
> to associate the type of the property with its value, without
> wrapping the String.
> Would this break a transitivity property of
> the type system?
> Am I just suffering from laziness?
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

More information about the Haskell-Cafe mailing list