• To: XML Developers List <xml-dev@l...>
• Subject: Re: Using The Principle of Least Power As A Razor
• From: bryan rasmussen <rasmussen.bryan@g...>
• Date: Thu, 16 Feb 2006 17:33:42 +0100
• Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=VPNdF01AOEkvHcfXqLseMH4u2Dda4vOKp077Sy0x7osPgaHlTFMaSZOnbbcygnj8VqeHTulEXIEJw1aWnoboKkpM1zTzHZhC/mLv617oDLJJ3xkV4+lhJ6YrQyP94rpYxGUZs3NdMQ4YVBhPhN8yYR6ICzCVWIqP7aUidrxuggQ=
• In-reply-to: <3bb44c6e0602160816y6029709cr2081fb05aaeda59e@m...>
• References: <15725CF6AFE2F34DB8A5B4770B7334EE0BB1FE99@h...> <3bb44c6e0602160816y6029709cr2081fb05aaeda59e@m...>

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?

Cheers,
Bryan Rasmussen

• Follow-Ups:
  • Re: Using The Principle of Least Power As A Razor
    • From: Rick Jelliffe <rjelliffe@a...>

• References:
  • RE: Using The Principle of Least Power As A Razor
    • From: "Bullard, Claude L (Len)" <len.bullard@i...>
  • Re: Using The Principle of Least Power As A Razor
    • From: bryan rasmussen <rasmussen.bryan@g...>

• Prev by Date: Re: Using The Principle of Least Power As A Razor
• Next by Date: Re: [ANN] Schematron-love-in and SchematronWiki
• Previous by thread: Re: Using The Principle of Least Power As A Razor
• Next by thread: Re: Using The Principle of Least Power As A Razor
• Index(es):
  • Date
  • Thread