Brian Beckman: Monads, Monoids, and Mort

http://channel9.msdn.com/Showpost.aspx?postid=230438
見た。

      • -

話の内容が多岐にわたっていたので、一言でまとめられない。覚えているところでは、

  • 軍事シミュレーション
  • コンパイラの最適化(デッドコードの話)
  • クレジットカードのセキュリティ
  • どうしてMSRにいるのか?(研究をすることと製品を開発すること)
  • モノイドとモナド
  • 関数型言語(副作用など)
  • VB.NETの利点(抽象化)
  • VB.NETは静的型付けと動的型付けの両方の特徴をもつ
  • VB.NETのレイトバインディング
  • 仮想化、プロセス間通信、トランザクション
  • プログラマに向いている職業:物理学者、音楽家、歯科医(数学者は向いていないらしい)