OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help



   Re: [xml-dev] Using The Principle of Least Power As A Razor

[ Lists Home | Date Index | Thread Index ]

The idea that the type system translates to power as per the principle
of least power is disturbing. IIRC Haskell's type system is Turing
complete, which IMHO goes against the idea of a type system. You want
to know your type system will complete at some time.

How many more times powerful does this make Haskell than Vbscript
which only has one type, the 'Variant' type?

Bryan Rasmussen


News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 2001 XML.org. This site is hosted by OASIS