http://existentialtype.net/2008/03/09/higher-rank-impredicative-polymorphism-in-scala/ For People Who Like Type and Types Tue, 20 Sep 2011 01:25:23 +0000 hourly 1 http://wordpress.org/?v=3.3 http://existentialtype.net/2008/03/09/higher-rank-impredicative-polymorphism-in-scala/comment-page-1/#comment-55277 washburn Tue, 20 Sep 2011 01:25:23 +0000 http://existentialtype.net/2008/03/09/higher-rank-impredicative-polymorphism-in-scala/#comment-55277 For the mathematics I think I just manually selected the correct unicode symbols and paste them in. The code is highlighted using a plugin that builds on GeSHi. I think at the time there wasn't a Scala formatter so I had to roll my own. It looks like the current version of GeSHi has Scala support out of the box. For the mathematics I think I just manually selected the correct unicode symbols and paste them in. The code is highlighted using a plugin that builds on GeSHi. I think at the time there wasn’t a Scala formatter so I had to roll my own. It looks like the current version of GeSHi has Scala support out of the box.

]]> http://existentialtype.net/2008/03/09/higher-rank-impredicative-polymorphism-in-scala/comment-page-1/#comment-55273 Andy Czerwonka Mon, 19 Sep 2011 19:17:58 +0000 http://existentialtype.net/2008/03/09/higher-rank-impredicative-polymorphism-in-scala/#comment-55273 Great article. Both well written and easy to read. What are you rendering your examples with? Looks great. Great article. Both well written and easy to read. What are you rendering your examples with? Looks great.

]]> http://existentialtype.net/2008/03/09/higher-rank-impredicative-polymorphism-in-scala/comment-page-1/#comment-22799 ∃xistential Type » Revisiting higher-rank impredicative polymorphism in Scala Mon, 26 May 2008 10:25:34 +0000 http://existentialtype.net/2008/03/09/higher-rank-impredicative-polymorphism-in-scala/#comment-22799 [...] be doing. So I expect this will be a bit more terse than I might like. Anyway, when I wrote about encoding higher-rank universal quantification in Scala back in March, I used a rather elaborate scheme involving the use of Scala's first-class existential quantifiers. [...] [...] be doing. So I expect this will be a bit more terse than I might like. Anyway, when I wrote about encoding higher-rank universal quantification in Scala back in March, I used a rather elaborate scheme involving the use of Scala’s first-class existential quantifiers. [...]

]]> http://existentialtype.net/2008/03/09/higher-rank-impredicative-polymorphism-in-scala/comment-page-1/#comment-22004 ∃xistential Type » Correction on existential unpacking Sun, 09 Mar 2008 20:57:20 +0000 http://existentialtype.net/2008/03/09/higher-rank-impredicative-polymorphism-in-scala/#comment-22004 [...] after thinking about it further, I was incorrect, and it is possible to explicitly unpack existentials in Scala. As with some other languages, it is [...] [...] after thinking about it further, I was incorrect, and it is possible to explicitly unpack existentials in Scala. As with some other languages, it is [...]

]]>