world-population.ijs

load 'tables/csv'

pop_table =: readcsv 'world-population.csv'

get_country =: 4 : '(0 { x = (< y))'

country_table =: monad : ', (#~ ((get_country & y) " 1)) pop_table'
country_total =: monad : 'makenum 1 { country_table y'

NB. two-letter abbreviations based on domain codes
us_pop =: country_total 'United States of America'
it_pop =: country_total 'Italy'
fr_pop =: country_total 'France'
vn_pop =: country_total 'Viet Nam'
sk_pop =: country_total 'Republic of Korea'
nz_pop =: country_total 'New Zealand'
de_pop =: country_total 'Germany'
se_pop =: country_total 'Sweden'
dk_pop =: country_total 'Denmark'
no_pop =: country_total 'Norway'
fi_pop =: country_total 'Finland'
es_pop =: country_total 'Spain'
macau_pop =: country_total 'China, Macao SAR'
taiwan_pop =: country_total 'China, Taiwan Province of China'
br_pop =: country_total 'Brazil'
thailand_pop =: country_total 'Thailand'
malaysia_pop =: country_total 'Malaysia'
in_pop =: country_total 'India'
uk_pop =: country_total 'United Kingdom'
nl_pop =: country_total 'Netherlands'
sg_pop =: country_total 'Singapore'
be_pop =: country_total 'Belgium'
au_pop =: country_total 'Australia'
cn_pop =: country_total 'China'
ca_pop =: country_total 'Canada'
jp_pop =: country_total 'Japan'
kenya_pop =: country_total 'Kenya'
is_pop =: country_total 'Iceland'
sn_pop =: country_total 'Senegal'
rw_pop =: country_total 'Rwanda'
pe_pop =: country_total 'Peru'
za_pop =: country_total 'South Africa'
ie_pop =: country_total 'Ireland'
pt_pop =: country_total 'Portugal'
at_pop =: country_total 'Austria'
ch_pop =: country_total 'Switzerland'