http://www.sauria.com/blog/2010/07/28/oscon-2010/ Open Source, Modern Programming Languages, OS X, Photography, and ... Thu, 19 Jan 2012 07:08:30 +0000 hourly 1 http://wordpress.org/?v=3.2.1 http://www.sauria.com/blog/2010/07/28/oscon-2010/comment-page-1/#comment-17756 Daniel Spiewak Wed, 28 Jul 2010 23:54:14 +0000 http://www.sauria.com/blog/2010/07/28/oscon-2010/#comment-17756 I'm not sure that I was *touting* the fact that Scala's type system is Turing Complete so much as showing how the fact can be exploited. I tend to agree with you that when your type system has becoming a programming language unto itself, something has gone very wrong. Just look at what Pierce said regarding type system *tractability*. Your type system cannot be tractable if it isn't even guaranteed to halt. I’m not sure that I was *touting* the fact that Scala’s type system is Turing Complete so much as showing how the fact can be exploited. I tend to agree with you that when your type system has becoming a programming language unto itself, something has gone very wrong. Just look at what Pierce said regarding type system *tractability*. Your type system cannot be tractable if it isn’t even guaranteed to halt.

]]>