Kyle R. Burton on 19 Sep 2008 08:27:39 -0700


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: [Qi] Fwd: book deal goes through with printer

  • From: "Kyle R. Burton" <kyle.burton@gmail.com>
  • To: philly-lambda@googlegroups.com
  • Subject: Re: [Qi] Fwd: book deal goes through with printer
  • Date: Fri, 19 Sep 2008 11:27:26 -0400
  • Authentication-results: mx.google.com; spf=pass (google.com: domain of kyle.burton@gmail.com designates 209.85.198.245 as permitted sender) smtp.mail=kyle.burton@gmail.com; dkim=pass (test mode) header.i=@gmail.com
  • Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:received:x-sender:x-apparently-to :received:received:received-spf:authentication-results:received :dkim-signature:domainkey-signature:received:received:message-id :date:from:to:subject:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references:reply-to :sender:precedence:x-google-loop:mailing-list:list-id:list-post :list-help:list-unsubscribe:x-beenthere-env:x-beenthere; bh=LUK7Z/enb2yvGrI77m8ojPti8uMTQ5eh7ySZgzdHCzY=; b=4jczLdnAmWkOFeBGlKzhB9Avhpnmrbg0a4qsEoCd4uBcO3haZv4c0kQylchD54AoWw cVhfOv6XJMW5/RAqO/3nwaTl4gVvA6JXBlEWkMPPEvWU3qJyc5KxQF1a3fBsFbxPIeb3 vGzmSsa/HY7g7RUcQcfhRMneZ6Fo75ACuZE/w=
  • Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references; bh=bhb4k+PHH0Wnj9JdSHVTSfXsQaDFMFYxSu7WGAco/M8=; b=p/0aPEjIrtx6Nop1Vu/b2FAV/tk/wMNMR1AXCYvKTZC65AXPLM+1J7bkGos75uMSfT GuRssMhrEnxdz9KfPTw4KREl7hBJ5RFDKH/j8O3bEO/ZUQDyYPGH6NxQwEFu6WdMnjCJ hUhmaUKiNpbS0iQiMGts1UOwWHP2wiXoJ7dig=
  • Mailing-list: list philly-lambda@googlegroups.com; contact philly-lambda+owner@googlegroups.com
  • Reply-to: philly-lambda@googlegroups.com
  • Sender: philly-lambda@googlegroups.com

>> Don't know if any of you guys are following Qi, but the best way I can
>> paraphrase it's core concept is: Qi re-defines what 'strongly typed'
>> means for programming languages.  One of the things the tutorial goes
>> through is extending the type-system by creating a Prime Number type.
>> That type then becomes part of the compile-time analysis and type
>> checking.
>
> what if you have a very large prime number? it would take forever to compile

That is, in fact, one aspect of Qi that is invisible in most other
languages: the type-system in Qi has the halting problem.

You'd think that was a deal breaker, but in practice it probably
isn't.  With Qi you have the ability to define _any_ type checking you
want, the trade off is that you've extended the compiler and thus have
the facet you've identified.

If the compile-time goes up, or never completes (theoretically
possible), it's probable that in any other system you'd have the issue
at _run-time_ anyway, in Qi you're probably discovering it earlier in
the process - at compile time.

It's worth looking at for it's alternate take on how it looks at the
world.  I'm not saying you should now write all your code in Qi, but
studying it should make you think in ways you're not used to (which
has often improved my skills in general).

Kyle