Joe Groff on Twitter: "@anandabits @owensd Being only as precise as you need to be lets you stay flexible and avoid unnecessary refactoring."

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

David Owens II ‏@owensd Jun 1

If you have to keep using type erasures to actually work with your types, doesn't that suggest something? Maybe I don't get it.
1 like
Matthew Johnson ‏@anandabits Jun 1

@owensd it suggests that we badly need generalized existentials
David Owens II ‏@owensd Jun 1

@anandabits and once you have that, all you know again is that you have a Power from calling attack().
Matthew Johnson ‏@anandabits Jun 1

@owensd the amount of type info will depend on the constraints you provide. Right solution depends on your problem and your design of course

‏@jckarter

@anandabits @owensd Being only as precise as you need to be lets you stay flexible and avoid unnecessary refactoring.

10:23 AM - 1 Jun 2016

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.