Jon Pretty on Twitter: "I've got singleton, intersect'n, HK, refinement, pathdep & dep-meth types. If @milessabin is a type astronaut, I'm a type Felix Baumgartner."

@propensive

Supporting Scala through professional training and open-source software. Responsible for Magnolia, Fury, Scala World and Functional Africa.

Europe

Country	Code	For customers of
United States	40404	(any)
Canada	21212	(any)
United Kingdom	86444	Vodafone, Orange, 3, O2
Brazil	40404	Nextel, TIM
Haiti	40404	Digicel, Voila
Ireland	51210	Vodafone, O2
India	53000	Bharti Airtel, Videocon, Reliance
Indonesia	89887	AXIS, 3, Telkomsel, Indosat, XL Axiata
Italy	4880804	Wind
3424486444	Vodafone
» See SMS short codes for other countries

‏ @propensive

I've got singleton, intersect'n, HK, refinement, pathdep & dep-meth types. If @milessabin is a type astronaut, I'm a type Felix Baumgartner.

2:34 PM - 2 Jul 2015

1 reply

1. Jon Pretty‏ @propensive 2 Jul 2015
  Replying to @propensive
  
  And right now, the compiler is chugging away, and I'm in type freefall...
  
  1 retweet
  Thanks. Twitter will use this to make your timeline better. Undo
  
  Undo
1. Jon Pretty‏ @propensive 2 Jul 2015
  Replying to @bodil
  
  @bodil @milessabin He's landed on the type moon and planted his type flag there.
  Thanks. Twitter will use this to make your timeline better. Undo
  
  Undo
1. Miles Sabin‏ @milessabin 2 Jul 2015
  @fommil Tyyyypes iiiiin Spaaaaaaaceee !!! ... /cc @propensive @bodil
  
  1 like
  Thanks. Twitter will use this to make your timeline better. Undo
  
  Undo

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

Tweets

Jon Pretty

@propensive

Tweets

Loading seems to be taking a while.

false

Saved searches

Tweets

Jon Pretty

@propensive

Tweets

Go to a person's profile

Saved searches

Promote this Tweet

Block

Tweet with a location

Your lists

Create a new list

Copy link to Tweet

Embed this Tweet

Embed this Video

Preview

Why you're seeing this ad

Log in to Twitter

Sign up for Twitter

Not on Twitter? Sign up, tune into the things you care about, and get updates as they happen.

Two-way (sending and receiving) short codes:

Confirmation

Welcome home!

Tweets not working for you?

Say a lot with a little

Spread the word

Join the conversation

Learn the latest

Get more of what you love

Find what's happening

Never miss a Moment

Loading seems to be taking a while.

Promoted Tweet

false