On Tue, Oct 30, 2012 at 12:13 AM, Richard O'Keefe
On 30/10/2012, at 5:56 PM, Alexander Solla wrote:
For example, I generally prefer using the combinators directly when dealing with functors, applicatives, and monads. This can be written "wide", but it can also be written in the style of:
f' = f <$> (a >>= g) <*> (b >>= h) <*> (c >>= i >>= k)
That is perfectly sensible. But if I had to repeat this syntactic construct, I would probably do it wide:
f' = f <$> (a >>= g) <*> (b >>= h) <*> (c >>= i >>= k) g' = g <$> (d >>= g) <*> (e >>= h) <*> (f >>= i >>= k) 021346789021346789021346789021346789021346789021346789
The new row exposes a sort of "tabular" structure.
The trouble is that this is not real code.
It's real enough. Throw in some sensible naming and we'll probably be near 80 columns. A few long names and we'll be near 90. Throw in another argument to f and we'll have at least another 6 columns. I'm sure plenty of us use the applicative-monad "pattern", even with functions which take a large number of arguments.
As it stands, nobody is complaining about this example. It fits well into 65 columns, being 60 columns wide.
I really would like to see real examples.
-- | 'countries_and_iso_country_codes' represents the bijection between 'Country's and -- their 'ISOCountryCode's. countries_and_iso_country_codes :: [ (Country, ISOCountryCode) ] countries_and_iso_country_codes = [ ( Afghanistan , ISOCountryCode AF AFG (isoNumericCode 004) ) , ( AlandIslands , ISOCountryCode AX ALA (isoNumericCode 248) ) , ( Albania , ISOCountryCode AL ALB (isoNumericCode 008) ) , ( Algeria , ISOCountryCode DZ DZA (isoNumericCode 012) ) , ( AmericanSamoa , ISOCountryCode AS ASM (isoNumericCode 016) ) , ( Andorra , ISOCountryCode AD AND (isoNumericCode 020) ) , ( Angola , ISOCountryCode AO AGO (isoNumericCode 024) ) , ( Anguilla , ISOCountryCode AI AIA (isoNumericCode 660) ) , ( Antarctica , ISOCountryCode AQ ATA (isoNumericCode 010) ) , ( AntiguaAndBarbuda , ISOCountryCode AG ATG (isoNumericCode 028) ) , ( Argentina , ISOCountryCode AR ARG (isoNumericCode 032) ) , ( Armenia , ISOCountryCode AM ARM (isoNumericCode 051) ) , ( Aruba , ISOCountryCode AW ABW (isoNumericCode 533) ) , ( Australia , ISOCountryCode AU AUS (isoNumericCode 036) ) , ( Austria , ISOCountryCode AT AUT (isoNumericCode 040) ) , ( Azerbaijan , ISOCountryCode AZ AZE (isoNumericCode 031) ) , ( Bahamas , ISOCountryCode BS BHS (isoNumericCode 044) ) , ( Bahrain , ISOCountryCode BH BHR (isoNumericCode 048) ) , ( Bangladesh , ISOCountryCode BD BGD (isoNumericCode 050) ) , ( Barbados , ISOCountryCode BB BRB (isoNumericCode 052) ) , ( Belarus , ISOCountryCode BY BLR (isoNumericCode 112) ) , ( Belgium , ISOCountryCode BE BEL (isoNumericCode 056) ) , ( Belize , ISOCountryCode BZ BLZ (isoNumericCode 084) ) , ( Benin , ISOCountryCode BJ BEN (isoNumericCode 204) ) , ( Bermuda , ISOCountryCode BM BMU (isoNumericCode 060) ) , ( Bhutan , ISOCountryCode BT BTN (isoNumericCode 064) ) , ( Bolivia , ISOCountryCode BO BOL (isoNumericCode 068) ) , ( BosniaAndHerzegovina , ISOCountryCode BA BIH (isoNumericCode 070) ) , ( Botswana , ISOCountryCode BW BWA (isoNumericCode 072) ) , ( BouvetIsland , ISOCountryCode BV BVT (isoNumericCode 074) ) , ( Brazil , ISOCountryCode BR BRA (isoNumericCode 076) ) , ( BritishIndianOceanTerritory , ISOCountryCode IO IOT (isoNumericCode 086) ) , ( BruneiDarussalam , ISOCountryCode BN BRN (isoNumericCode 096) ) , ( Bulgaria , ISOCountryCode BG BGR (isoNumericCode 100) ) , ( BurkinaFaso , ISOCountryCode BF BFA (isoNumericCode 854) ) , ( Burundi , ISOCountryCode BI BDI (isoNumericCode 108) ) , ( Cambodia , ISOCountryCode KH KHM (isoNumericCode 116) ) , ( Cameroon , ISOCountryCode CM CMR (isoNumericCode 120) ) , ( Canada , ISOCountryCode CA CAN (isoNumericCode 124) ) , ( CapeVerde , ISOCountryCode CV CPV (isoNumericCode 132) ) , ( CaymanIslands , ISOCountryCode KY CYM (isoNumericCode 136) ) , ( CentralAfricanRepublic , ISOCountryCode CF CAF (isoNumericCode 140) ) , ( Chad , ISOCountryCode TD TCD (isoNumericCode 148) ) , ( Chile , ISOCountryCode CL CHL (isoNumericCode 152) ) , ( China , ISOCountryCode CN CHN (isoNumericCode 156) ) , ( ChristmasIsland , ISOCountryCode CX CXR (isoNumericCode 162) ) , ( CocosKeelingIslands , ISOCountryCode CC CCK (isoNumericCode 166) ) , ( Colombia , ISOCountryCode CO COL (isoNumericCode 170) ) , ( Comoros , ISOCountryCode KM COM (isoNumericCode 174) ) , ( Congo , ISOCountryCode CG COG (isoNumericCode 178) ) , ( DemocraticRepublicOfCongo , ISOCountryCode CD COD (isoNumericCode 180) ) , ( CookIslands , ISOCountryCode CK COK (isoNumericCode 184) ) , ( CostaRica , ISOCountryCode CR CRI (isoNumericCode 188) ) , ( CoteDIvoire , ISOCountryCode CI CIV (isoNumericCode 384) ) , ( Croatia , ISOCountryCode HR HRV (isoNumericCode 191) ) , ( Cuba , ISOCountryCode CU CUB (isoNumericCode 192) ) , ( Cyprus , ISOCountryCode CY CYP (isoNumericCode 196) ) , ( CzechRepublic , ISOCountryCode CZ CZE (isoNumericCode 203) ) , ( Denmark , ISOCountryCode DK DNK (isoNumericCode 208) ) , ( Djibouti , ISOCountryCode DJ DJI (isoNumericCode 262) ) , ( Dominica , ISOCountryCode DM DMA (isoNumericCode 212) ) , ( DominicanRepublic , ISOCountryCode DO DOM (isoNumericCode 214) ) , ( Ecuador , ISOCountryCode EC ECU (isoNumericCode 218) ) , ( Egypt , ISOCountryCode EG EGY (isoNumericCode 818) ) , ( ElSalvador , ISOCountryCode SV SLV (isoNumericCode 222) ) , ( EquatorialGuinea , ISOCountryCode GQ GNQ (isoNumericCode 226) ) , ( Eritrea , ISOCountryCode ER ERI (isoNumericCode 232) ) , ( Estonia , ISOCountryCode EE EST (isoNumericCode 233) ) , ( Ethiopia , ISOCountryCode ET ETH (isoNumericCode 231) ) , ( FalklandIslands , ISOCountryCode FK FLK (isoNumericCode 238) ) , ( FaroeIslands , ISOCountryCode FO FRO (isoNumericCode 234) ) , ( Fiji , ISOCountryCode FJ FJI (isoNumericCode 242) ) , ( Finland , ISOCountryCode FI FIN (isoNumericCode 246) ) , ( France , ISOCountryCode FR FRA (isoNumericCode 250) ) , ( FrenchGuiana , ISOCountryCode GF GUF (isoNumericCode 254) ) , ( FrenchPolynesia , ISOCountryCode PF PYF (isoNumericCode 258) ) , ( FrenchSouthernTerritories , ISOCountryCode TF ATF (isoNumericCode 260) ) , ( Gabon , ISOCountryCode GA GAB (isoNumericCode 266) ) , ( Gambia , ISOCountryCode GM GMB (isoNumericCode 270) ) , ( Georgia , ISOCountryCode GE GEO (isoNumericCode 268) ) , ( Germany , ISOCountryCode DE DEU (isoNumericCode 276) ) , ( Ghana , ISOCountryCode GH GHA (isoNumericCode 288) ) , ( Gibraltar , ISOCountryCode GI GIB (isoNumericCode 292) ) , ( Greece , ISOCountryCode GR GRC (isoNumericCode 300) ) , ( Greenland , ISOCountryCode GL GRL (isoNumericCode 304) ) , ( Grenada , ISOCountryCode GD GRD (isoNumericCode 308) ) , ( Guadeloupe , ISOCountryCode GP GLP (isoNumericCode 312) ) , ( Guam , ISOCountryCode GU GUM (isoNumericCode 316) ) , ( Guatemala , ISOCountryCode GT GTM (isoNumericCode 320) ) , ( Guernsey , ISOCountryCode GG GGY (isoNumericCode 831) ) , ( Guinea , ISOCountryCode GN GIN (isoNumericCode 324) ) , ( GuineaBissau , ISOCountryCode GW GNB (isoNumericCode 624) ) , ( Guyana , ISOCountryCode GY GUY (isoNumericCode 328) ) , ( Haiti , ISOCountryCode HT HTI (isoNumericCode 332) ) , ( HeardIslandAndMcDonaldIslands , ISOCountryCode HM HMD (isoNumericCode 334) ) , ( HolySee , ISOCountryCode VA VAT (isoNumericCode 336) ) , ( Honduras , ISOCountryCode HN HND (isoNumericCode 340) ) , ( HongKong , ISOCountryCode HK HKG (isoNumericCode 344) ) , ( Hungary , ISOCountryCode HU HUN (isoNumericCode 348) ) , ( Iceland , ISOCountryCode IS ISL (isoNumericCode 352) ) , ( India , ISOCountryCode IN IND (isoNumericCode 356) ) , ( Indonesia , ISOCountryCode ID IDN (isoNumericCode 360) ) , ( Iran , ISOCountryCode IR IRN (isoNumericCode 364) ) , ( Iraq , ISOCountryCode IQ IRQ (isoNumericCode 368) ) , ( Ireland , ISOCountryCode IE IRL (isoNumericCode 372) ) , ( IsleOfMan , ISOCountryCode IM IMN (isoNumericCode 833) ) , ( Israel , ISOCountryCode IL ISR (isoNumericCode 376) ) , ( Italy , ISOCountryCode IT ITA (isoNumericCode 380) ) , ( Jamaica , ISOCountryCode JM JAM (isoNumericCode 388) ) , ( Japan , ISOCountryCode JP JPN (isoNumericCode 392) ) , ( Jersey , ISOCountryCode JE JEY (isoNumericCode 832) ) , ( Jordan , ISOCountryCode JO JOR (isoNumericCode 400) ) , ( Kazakhstan , ISOCountryCode KZ KAZ (isoNumericCode 398) ) , ( Kenya , ISOCountryCode KE KEN (isoNumericCode 404) ) , ( Kiribati , ISOCountryCode KI KIR (isoNumericCode 296) ) , ( NorthKorea , ISOCountryCode KP PRK (isoNumericCode 408) ) , ( SouthKorea , ISOCountryCode KR KOR (isoNumericCode 410) ) , ( Kuwait , ISOCountryCode KW KWT (isoNumericCode 414) ) , ( Kyrgyzstan , ISOCountryCode KG KGZ (isoNumericCode 417) ) , ( Laos , ISOCountryCode LA LAO (isoNumericCode 418) ) , ( Latvia , ISOCountryCode LV LVA (isoNumericCode 428) ) , ( Lebanon , ISOCountryCode LB LBN (isoNumericCode 422) ) , ( Lesotho , ISOCountryCode LS LSO (isoNumericCode 426) ) , ( Liberia , ISOCountryCode LR LBR (isoNumericCode 430) ) , ( Libya , ISOCountryCode LY LBY (isoNumericCode 434) ) , ( Liechtenstein , ISOCountryCode LI LIE (isoNumericCode 438) ) , ( Lithuania , ISOCountryCode LT LTU (isoNumericCode 440) ) , ( Luxembourg , ISOCountryCode LU LUX (isoNumericCode 442) ) , ( Macao , ISOCountryCode MO MAC (isoNumericCode 446) ) , ( Macedonia , ISOCountryCode MK MKD (isoNumericCode 807) ) , ( Madagascar , ISOCountryCode MG MDG (isoNumericCode 450) ) , ( Malawi , ISOCountryCode MW MWI (isoNumericCode 454) ) , ( Malaysia , ISOCountryCode MY MYS (isoNumericCode 458) ) , ( Maldives , ISOCountryCode MV MDV (isoNumericCode 462) ) , ( Mali , ISOCountryCode ML MLI (isoNumericCode 466) ) , ( Malta , ISOCountryCode MT MLT (isoNumericCode 470) ) , ( MarshallIslands , ISOCountryCode MH MHL (isoNumericCode 584) ) , ( Martinique , ISOCountryCode MQ MTQ (isoNumericCode 474) ) , ( Mauritania , ISOCountryCode MR MRT (isoNumericCode 478) ) , ( Mauritius , ISOCountryCode MU MUS (isoNumericCode 480) ) , ( Mayotte , ISOCountryCode YT MYT (isoNumericCode 175) ) , ( Mexico , ISOCountryCode MX MEX (isoNumericCode 484) ) , ( Micronesia , ISOCountryCode FM FSM (isoNumericCode 583) ) , ( Moldova , ISOCountryCode MD MDA (isoNumericCode 498) ) , ( Monaco , ISOCountryCode MC MCO (isoNumericCode 492) ) , ( Mongolia , ISOCountryCode MN MNG (isoNumericCode 496) ) , ( Montenegro , ISOCountryCode ME MNE (isoNumericCode 499) ) , ( Montserrat , ISOCountryCode MS MSR (isoNumericCode 500) ) , ( Morocco , ISOCountryCode MA MAR (isoNumericCode 504) ) , ( Mozambique , ISOCountryCode MZ MOZ (isoNumericCode 508) ) , ( Myanmar , ISOCountryCode MM MMR (isoNumericCode 104) ) , ( Namibia , ISOCountryCode NA NAM (isoNumericCode 516) ) , ( Nauru , ISOCountryCode NR NRU (isoNumericCode 520) ) , ( Nepal , ISOCountryCode NP NPL (isoNumericCode 524) ) , ( Netherlands , ISOCountryCode NL NLD (isoNumericCode 528) ) , ( NetherlandsAntilles , ISOCountryCode AN ANT (isoNumericCode 530) ) , ( NewCaledonia , ISOCountryCode NC NCL (isoNumericCode 540) ) , ( NewZealand , ISOCountryCode NZ NZL (isoNumericCode 554) ) , ( Nicaragua , ISOCountryCode NI NIC (isoNumericCode 558) ) , ( Niger , ISOCountryCode NE NER (isoNumericCode 562) ) , ( Nigeria , ISOCountryCode NG NGA (isoNumericCode 566) ) , ( Niue , ISOCountryCode NU NIU (isoNumericCode 570) ) , ( NorfolkIsland , ISOCountryCode NF NFK (isoNumericCode 574) ) , ( NorthernMarianaIslands , ISOCountryCode MP MNP (isoNumericCode 580) ) , ( Norway , ISOCountryCode NO NOR (isoNumericCode 578) ) , ( Oman , ISOCountryCode OM OMN (isoNumericCode 512) ) , ( Pakistan , ISOCountryCode PK PAK (isoNumericCode 586) ) , ( Palau , ISOCountryCode PW PLW (isoNumericCode 585) ) , ( Palestinine , ISOCountryCode PS PSE (isoNumericCode 275) ) , ( Panama , ISOCountryCode PA PAN (isoNumericCode 591) ) , ( PapuaNewGuinea , ISOCountryCode PG PNG (isoNumericCode 598) ) , ( Paraguay , ISOCountryCode PY PRY (isoNumericCode 600) ) , ( Peru , ISOCountryCode PE PER (isoNumericCode 604) ) , ( Philippines , ISOCountryCode PH PHL (isoNumericCode 608) ) , ( Pitcairn , ISOCountryCode PN PCN (isoNumericCode 612) ) , ( Poland , ISOCountryCode PL POL (isoNumericCode 616) ) , ( Portugal , ISOCountryCode PT PRT (isoNumericCode 620) ) , ( PuertoRico , ISOCountryCode PR PRI (isoNumericCode 630) ) , ( Qatar , ISOCountryCode QA QAT (isoNumericCode 634) ) , ( Reunion , ISOCountryCode RE REU (isoNumericCode 638) ) , ( Romania , ISOCountryCode RO ROU (isoNumericCode 642) ) , ( RussianFederation , ISOCountryCode RU RUS (isoNumericCode 643) ) , ( Rwanda , ISOCountryCode RW RWA (isoNumericCode 646) ) , ( SaintBarthelemy , ISOCountryCode BL BLM (isoNumericCode 652) ) , ( SaintHelenaAscensionAndTristanDaCunha , ISOCountryCode SH SHN (isoNumericCode 654) ) , ( SaintKittsAndNevis , ISOCountryCode KN KNA (isoNumericCode 659) ) , ( SaintLucia , ISOCountryCode LC LCA (isoNumericCode 662) ) , ( SaintMartin , ISOCountryCode MF MAF (isoNumericCode 663) ) , ( SaintPierreAndMiquelon , ISOCountryCode PM SPM (isoNumericCode 666) ) , ( SaintVincentAndTheGrenadines , ISOCountryCode VC VCT (isoNumericCode 670) ) , ( Samoa , ISOCountryCode WS WSM (isoNumericCode 882) ) , ( SanMarino , ISOCountryCode SM SMR (isoNumericCode 674) ) , ( SaoTomeAndPrincipe , ISOCountryCode ST STP (isoNumericCode 678) ) , ( SaudiArabia , ISOCountryCode SA SAU (isoNumericCode 682) ) , ( Senegal , ISOCountryCode SN SEN (isoNumericCode 686) ) , ( Serbia , ISOCountryCode RS SRB (isoNumericCode 688) ) , ( Seychelles , ISOCountryCode SC SYC (isoNumericCode 690) ) , ( SierraLeone , ISOCountryCode SL SLE (isoNumericCode 694) ) , ( Singapore , ISOCountryCode SG SGP (isoNumericCode 702) ) , ( Slovakia , ISOCountryCode SK SVK (isoNumericCode 703) ) , ( Slovenia , ISOCountryCode SI SVN (isoNumericCode 705) ) , ( SolomonIslands , ISOCountryCode SB SLB (isoNumericCode 090) ) , ( Somalia , ISOCountryCode SO SOM (isoNumericCode 706) ) , ( SouthAfrica , ISOCountryCode ZA ZAF (isoNumericCode 710) ) , ( SouthGeorgiaAndtheSouthSandwichIslands , ISOCountryCode GS SGS (isoNumericCode 239) ) , ( Spain , ISOCountryCode ES ESP (isoNumericCode 724) ) , ( SriLanka , ISOCountryCode LK LKA (isoNumericCode 144) ) , ( Sudan , ISOCountryCode SD SDN (isoNumericCode 736) ) , ( Suriname , ISOCountryCode SR SUR (isoNumericCode 740) ) , ( SvalbardAndJanMayen , ISOCountryCode SJ SJM (isoNumericCode 744) ) , ( Swaziland , ISOCountryCode SZ SWZ (isoNumericCode 748) ) , ( Sweden , ISOCountryCode SE SWE (isoNumericCode 752) ) , ( Switzerland , ISOCountryCode CH CHE (isoNumericCode 756) ) , ( Syria , ISOCountryCode SY SYR (isoNumericCode 760) ) , ( Taiwan , ISOCountryCode TW TWN (isoNumericCode 158) ) , ( Tajikistan , ISOCountryCode TJ TJK (isoNumericCode 762) ) , ( Tanzania , ISOCountryCode TZ TZA (isoNumericCode 834) ) , ( Thailand , ISOCountryCode TH THA (isoNumericCode 764) ) , ( TimorLeste , ISOCountryCode TL TLS (isoNumericCode 626) ) , ( Togo , ISOCountryCode TG TGO (isoNumericCode 768) ) , ( Tokelau , ISOCountryCode TK TKL (isoNumericCode 772) ) , ( Tonga , ISOCountryCode TO TON (isoNumericCode 776) ) , ( TrinidadAndTobago , ISOCountryCode TT TTO (isoNumericCode 780) ) , ( Tunisia , ISOCountryCode TN TUN (isoNumericCode 788) ) , ( Turkey , ISOCountryCode TR TUR (isoNumericCode 792) ) , ( Turkmenistan , ISOCountryCode TM TKM (isoNumericCode 795) ) , ( TurksAndCaicosIslands , ISOCountryCode TC TCA (isoNumericCode 796) ) , ( Tuvalu , ISOCountryCode TV TUV (isoNumericCode 798) ) , ( Uganda , ISOCountryCode UG UGA (isoNumericCode 800) ) , ( Ukraine , ISOCountryCode UA UKR (isoNumericCode 804) ) , ( UnitedArabEmirates , ISOCountryCode AE ARE (isoNumericCode 784) ) , ( UnitedKingdom , ISOCountryCode GB GBR (isoNumericCode 826) ) , ( UnitedStates , ISOCountryCode US USA (isoNumericCode 840) ) , ( UnitedStatesMinorOutlyingIslands , ISOCountryCode UM UMI (isoNumericCode 581) ) , ( Uruguay , ISOCountryCode UY URY (isoNumericCode 858) ) , ( Uzbekistan , ISOCountryCode UZ UZB (isoNumericCode 860) ) , ( Vanuatu , ISOCountryCode VU VUT (isoNumericCode 548) ) , ( Venezuela , ISOCountryCode VE VEN (isoNumericCode 862) ) , ( VietNam , ISOCountryCode VN VNM (isoNumericCode 704) ) , ( BritishVirginIslands , ISOCountryCode VG VGB (isoNumericCode 092) ) , ( USVirginIslands , ISOCountryCode VI VIR (isoNumericCode 850) ) , ( WallisAndFutuna , ISOCountryCode WF WLF (isoNumericCode 876) ) , ( WesternSahara , ISOCountryCode EH ESH (isoNumericCode 732) ) , ( Yemen , ISOCountryCode YE YEM (isoNumericCode 887) ) , ( Zambia , ISOCountryCode ZM ZMB (isoNumericCode 894) ) , ( Zimbabwe , ISOCountryCode ZW ZWE (isoNumericCode 716) ) ]