Using TextMate for Scala Development

On Tue, Aug 31, 2010 at 08:45:39PM +0200, Mads Hartmann Jensen wrote:
> I wrote a blog post: "Using TextMate for Scala Development" and
> thought it might be interesting to some :)
> http://www.sidewayscoding.com/2010/08/using-textmate-for-scala-developme...

"Paul Phillips works on the Scala compiler (to my knowledge) "

What's a girl gotta do to get noticed in this town!

Damn, who are you again?You're obviously not putting out enough :)

On 31 August 2010 22:00, Paul Phillips <paulp@improving.org> wrote:

On Tue, Aug 31, 2010 at 08:45:39PM +0200, Mads Hartmann Jensen wrote:
> I wrote a blog post: "Using TextMate for Scala Development" and
> thought it might be interesting to some :)
> http://www.sidewayscoding.com/2010/08/using-textmate-for-scala-development.html

"Paul Phillips works on the Scala compiler (to my knowledge) "

What's a girl gotta do to get noticed in this town!

--
Paul Phillips      | We act as though comfort and luxury were the chief
Analgesic          | requirements of life, when all that we need to make us
Empiricist         | really happy is something to be enthusiastic about.
pp: i haul pills   |     -- Charles Kingsley

--
Kevin Wright

mail/google talk: kev.lee.wright@gmail.com
wave: kev.lee.wright@googlewave.com
skype: kev.lee.wright
twitter: @thecoda

Yes, until Scala compiler has full support for Refinement Types and allows inline theorem-prover-checked specifications (ala to Sage) ... it ain't good enough :-)

On Tue, Aug 31, 2010 at 2:10 PM, Kevin Wright <kev.lee.wright@gmail.com> wrote:

Damn, who are you again?You're obviously not putting out enough :)

On 31 August 2010 22:00, Paul Phillips <paulp@improving.org> wrote:

On Tue, Aug 31, 2010 at 08:45:39PM +0200, Mads Hartmann Jensen wrote:
> I wrote a blog post: "Using TextMate for Scala Development" and
> thought it might be interesting to some :)
> http://www.sidewayscoding.com/2010/08/using-textmate-for-scala-development.html

"Paul Phillips works on the Scala compiler (to my knowledge) "

What's a girl gotta do to get noticed in this town!

--
Paul Phillips      | We act as though comfort and luxury were the chief
Analgesic          | requirements of life, when all that we need to make us
Empiricist         | really happy is something to be enthusiastic about.
pp: i haul pills   |     -- Charles Kingsley

--
Kevin Wright

mail/google talk: kev.lee.wright@gmail.com
wave: kev.lee.wright@googlewave.com
skype: kev.lee.wright
twitter: @thecoda

--
Alex Kravets      (define red-pill 'lisp)
[[ brutal honesty is the best policy ]]

If you give me a fancy sounding description of what you do I'd be happy to put it in ;) 
Also why can't I find you on the "The Scala Development Team" page? http://www.scala-lang.org/node/89
On Sep 1, 2010, at 12:27 AM, Alex Kravets wrote:

Yes, until Scala compiler has full support for Refinement Types and allows inline theorem-prover-checked specifications (ala to Sage) ... it ain't good enough :-)

On Tue, Aug 31, 2010 at 2:10 PM, Kevin Wright <kev.lee.wright@gmail.com> wrote:

Damn, who are you again?You're obviously not putting out enough :)

On 31 August 2010 22:00, Paul Phillips <paulp@improving.org> wrote:

On Tue, Aug 31, 2010 at 08:45:39PM +0200, Mads Hartmann Jensen wrote:
> I wrote a blog post: "Using TextMate for Scala Development" and
> thought it might be interesting to some :)
> http://www.sidewayscoding.com/2010/08/using-textmate-for-scala-development.html

"Paul Phillips works on the Scala compiler (to my knowledge) "

What's a girl gotta do to get noticed in this town!

--
Paul Phillips      | We act as though comfort and luxury were the chief
Analgesic          | requirements of life, when all that we need to make us
Empiricist         | really happy is something to be enthusiastic about.
pp: i haul pills   |     -- Charles Kingsley

--
Kevin Wright

mail/google talk: kev.lee.wright@gmail.com
wave: kev.lee.wright@googlewave.com
skype: kev.lee.wright
twitter: @thecoda

--
Alex Kravets      (define red-pill 'lisp)
[[ brutal honesty is the best policy ]]

On Wed, Sep 1, 2010 at 09:52, Mads Hartmann Jensen <mads379@gmail.com> wrote:

If you give me a fancy sounding description of what you do I'd be happy to put it in ;) 
Also why can't I find you on the "The Scala Development Team" page? http://www.scala-lang.org/node/89

That's fixed now.
 

On Sep 1, 2010, at 12:27 AM, Alex Kravets wrote:

Yes, until Scala compiler has full support for Refinement Types and allows inline theorem-prover-checked specifications (ala to Sage) ... it ain't good enough :-)

On Tue, Aug 31, 2010 at 2:10 PM, Kevin Wright <kev.lee.wright@gmail.com> wrote:

Damn, who are you again?You're obviously not putting out enough :)

On 31 August 2010 22:00, Paul Phillips <paulp@improving.org> wrote:

On Tue, Aug 31, 2010 at 08:45:39PM +0200, Mads Hartmann Jensen wrote:
> I wrote a blog post: "Using TextMate for Scala Development" and
> thought it might be interesting to some :)
> http://www.sidewayscoding.com/2010/08/using-textmate-for-scala-development.html

"Paul Phillips works on the Scala compiler (to my knowledge) "

What's a girl gotta do to get noticed in this town!

--
Paul Phillips      | We act as though comfort and luxury were the chief
Analgesic          | requirements of life, when all that we need to make us
Empiricist         | really happy is something to be enthusiastic about.
pp: i haul pills   |     -- Charles Kingsley

--
Kevin Wright

mail/google talk: kev.lee.wright@gmail.com
wave: kev.lee.wright@googlewave.com
skype: kev.lee.wright
twitter: @thecoda

--
Alex Kravets      (define red-pill 'lisp)
[[ brutal honesty is the best policy ]]