タグ

ブックマーク / blog.kzfmix.com (2)

  • Mishima.syk #3やりました

    発表者の方、参加者の方お疲れ様でした。 RedmineのLTのは生々しいのでpandasの話だけslideshareにあげてあります。 今回新しく試したことはQuestantを使ったアンケートを用意したことかな。あと、一次会の予約が通ってなくて(あの店はあるあるなので気にしないw)ちょっと狭い部屋になったけど、懇親の密度があがって結果オーライですね(二次会の分くらいまで飲んでたしw) 次回もよろしくお願いします☆ 三島バルあたりにぶつけられればと考えていますw

    Mishima.syk #3やりました
  • Haskellの一般化代数データ型(GADT)

    GADTs使ってみたを読んだらわかりやすかったので、適当なサンプルを見つけてみた。 プログラミングHaskell10.5の仮想マシンを例に取る data Expr = Val Int | Add Expr Expr value :: Expr -> Int value (Val n) = n value (Add x y) = value x + value y

    Haskellの一般化代数データ型(GADT)
  • 1