.@yoriyuki 私は右前方にいますが、ここには電源ありました。隣も空いてます。 #icfp #icfp2011
2011-09-19 09:17:11.@yoriyuki 私は右前方にいますが、ここには電源ありました。隣も空いてます。 #icfp #icfp2011
2011-09-19 09:17:11Real time information on earth quake is available @quake_alert_en #icfp
2011-09-19 09:17:48Filinski: "Communication is the most fundamental effect." #ICFP
2011-09-19 09:23:59#ICFP '11: 274 participants, 336 including workshops, 135 of 336 are Japanese, 11 corporate supporters. All record-breaking. (v @esumii)
2011-09-19 09:25:13ICFP main conference:first invited talk: "Towards a Comprehensive Theory of Monadic Effects" by Andrzej Filinski #icfp
2011-09-19 09:27:10RT @aaron_turon: Filinski: "Communication is the most fundamental effect." #ICFP
2011-09-19 09:28:05Filinski: "Invoking behaviors = effect introduction. Delimiting behaviors = effect elimination." #ICFP
2011-09-19 09:29:51Am not at #icfp because I'm not at PSU anymore, because my department turns a blind eye to sexual harassment. http://t.co/SYaAbMXe
2011-09-19 09:30:47副作用をinvokeするというviewもできる(effect-introduction)し、副作用としてではなく表現することもできる(effect-elimination; 例外→Maybe, ステート→明示的にStで書く, etc.) #ICFP2011
2011-09-19 09:31:28Translational vs. behavioral effect definitions #ICFP2011
2011-09-19 09:33:54Translational vs. behavioral edect definition 理解が追いつかない。 #icfp
2011-09-19 09:34:14