ICFP 2011

tweets including #icfp, from 18 Sep 2011 to 19 Sep 2011
8
前へ 1 2 3 ・・ 29 次へ
山本和彦 @kazu_yamamoto

Monad は、未だに暗闇の象。 #icfp

2011-09-19 09:15:48
Masahiro Sakai @masahiro_sakai

.@yoriyuki 私は右前方にいますが、ここには電源ありました。隣も空いてます。 #icfp #icfp2011

2011-09-19 09:17:11
Masahiro Sakai @masahiro_sakai

.@yoriyuki 私は右前方にいますが、ここには電源ありました。隣も空いてます。 #icfp #icfp2011

2011-09-19 09:17:11
山本和彦 @kazu_yamamoto

Real time information on earth quake is available @quake_alert_en #icfp

2011-09-19 09:17:48
yoriyuki @yoriyuki

MLとHaskellのアプローチのまとめ。ハイレベルすぎて理解できん。 #icfp

2011-09-19 09:20:27
yoriyuki @yoriyuki

@masahiro_sakai ありがとうございます。あとで移ります。 #icfp

2011-09-19 09:21:20
yoriyuki @yoriyuki

副作用とは?コミュニケーション! #icfp

2011-09-19 09:23:58
Aaron Turon @aaron_turon

Filinski: "Communication is the most fundamental effect." #ICFP

2011-09-19 09:23:59
Kenji Rikitake @jj1bdx

#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:13
Manuel Chakravarty @TacticalGrace

ICFP main conference:first invited talk: "Towards a Comprehensive Theory of Monadic Effects" by Andrzej Filinski #icfp

2011-09-19 09:27:10
山本和彦 @kazu_yamamoto

記号の意味が全く分からない。 #icfp

2011-09-19 09:28:01
Masahiro Sakai @masahiro_sakai

RT @aaron_turon: Filinski: "Communication is the most fundamental effect." #ICFP

2011-09-19 09:28:05
Aaron Turon @aaron_turon

Filinski: "Invoking behaviors = effect introduction. Delimiting behaviors = effect elimination." #ICFP

2011-09-19 09:29:51
🏴quick-dry cement can't melt steel beams🏴 @fatneckbeardguy

Am 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
山本和彦 @kazu_yamamoto

振る舞いの範囲を定める。 #icfp

2011-09-19 09:31:23
おねーちゃんですよ! @xhl_kogitsune

副作用をinvokeするというviewもできる(effect-introduction)し、副作用としてではなく表現することもできる(effect-elimination; 例外→Maybe, ステート→明示的にStで書く, etc.) #ICFP2011

2011-09-19 09:31:28
yoriyuki @yoriyuki

RT @kazu_yamamoto: 振る舞いの範囲を定める。 #icfp

2011-09-19 09:31:53
yoriyuki @yoriyuki

Translational vs. behavioral edect definition 理解が追いつかない。 #icfp

2011-09-19 09:34:14
前へ 1 2 3 ・・ 29 次へ