RT @ma0e: HIMA'参加予定の方々は、スタートHaskellと同じ部屋がいいのか、別の部屋の方が集中できていいのか @ma0e に面ション飛ばして教えて欲しいです。フォロワー少ないので拡散希望 #himaprime

posted at 20:14:11

RT @ma0e: ハッシュタグ付け忘れた。HIMA'アンケート実施中です。 http://bit.ly/e6yKvC #himaprime #haskell

posted at 13:44:19

RT @shelarcy: quasi-quote（リーダーマクロ）の具体例としてはjmacro [http://j.mp/eS7Lsk ] やDSH [http://j.mp/hrSuFt ]、BNFC-meta [http://j.mp/fRDNuF ]とかが良いのではないかしら？ #himaprime

posted at 18:18:58

#himaprime なう。みなさん遅くなりました……

posted at 15:44:14

#HimaPrime 参加者のみなさん：大変申し訳ありませんが、30分遅刻してしまいます……今日の発表資料のURLをDMで送りましたので、もし時間が余ったら最初の方に目を通しておいて頂けると嬉しいです。本当に済みません……

posted at 14:51:02

RT @ma0e: HIMA' #6の告知ページ作りました。今回は @mr_konn さんによるinvertible-syntaxの解説です。詳細はあとで追記します。是非ご参加ください。 http://bit.ly/fZtcxi #himaprime #haskell

posted at 13:51:29

RT @shelarcy: そういえば #himaprime で話題になった、三日前から GHC のソースコードで GADTs が使われるようになった箇所の例。 http://darcs.haskell.org/ghc/compiler/cmm/CmmNode.hs

posted at 21:15:40

#himaprime

posted at 18:10:21

@pi8027 の「8027」とは何か？ 「どうでもいいです」 #himaprime

posted at 18:01:27

How と what の問題 #himaprime

posted at 17:39:15

RT @gusmachine: 「高校生にオーダーなんか聞いていいのか」今更過ぎる #himaprime

posted at 17:38:03

RT @tanakh: 強連結成分分解＝グラフをDFSで2回ぺろぺろ → O(V+E) #himaprime

posted at 17:37:59

RT @todesking: 「高校生にオーダーなんか聞いていいのか」 #himaprime

posted at 17:36:24

ML の let rec は残念 #himaprime

posted at 17:34:11

SML には let rec しかない！！！ #himaprime

posted at 17:27:37

ML と OCaml ちがうんですか！？と訊きそうになってしまった……ころされてしまう…… #himaprime

posted at 17:20:58

そこで、 Haskell では関数の呼出しグラフを強連結成分分解することで、let rec に直すべきぶぶんを見つけ出す。 #himaprime

posted at 17:19:17

map 関数のような再帰的な関数でどこで∀するか？OCaml は let rec があるから便利だが Haskell にはない。 #himaprime

posted at 17:16:58

RT @tanakh: https://gist.github.com/802680 やったーunion-find書けたよー #himaprime

posted at 17:12:16

Mac つかってるひと多い #himaprime

posted at 16:44:55

二次会に 16 人参加!! #himaprime

posted at 16:41:53

RT @ma0e: runST (newSTRef "") :: forall a. (forall s'. ST s' (STRef s' String)) -> STRef s Stringとなり、s'とsがマッチしないため弾かれる #himaprime

posted at 16:07:54

ST Monad の話は型推論と密接に結び付いているのであとでわかるのでは？ #himaprime

posted at 16:05:01

RT @ma0e: forallのわかりやすい説明。http://t.co/4Q7wWOv #himaprime

posted at 16:04:21

「どうせ Rank1」 #himaprime

posted at 16:03:02

#himaprime RT @mr_konn: a = Int のような変数対コンストラクタのユニフィケーションを実行するために参照がひつよう。ここでは、ST モナドをつかって安全な参照を使います。

posted at 15:54:53

RT @todesking: 型推論のふつうの実装に関して話している(型変数に対する制約を追加していって最後に解決するのか制約追加と同時に解決するのか。後者はunifyと呼ばないのではみたいな #himaprime

posted at 15:51:58

ユニフィケーションと型推論の順番？ #himaprime

posted at 15:48:08

ホワイトボード登場 #himaprime

posted at 15:35:09

型推論は構文木を調べて同一である型を Unify する #himaprime

posted at 15:34:03

Kind 推論は最期に多相になってしまったら最後は * に置き換える #himaprime

posted at 15:33:29

Maybe [] とか Int String とか変な型を弾く為に Kind を入れる。Kind 推論は型推論とアルゴリズムほとんど変わらず、単純なので今回は省略。 #himaprime

posted at 15:30:43

RT @ikegami__: @tanakh ラブプラス まとめ Wiki : #himaprime : http://www19.atwiki.jp/love_plus/

posted at 15:21:10

case と書くのが面倒だったので # を使った #himaprime

posted at 15:21:04

RT @tanakh: らぶぷらすの前提知識は要りますか？ #himaprime

posted at 15:20:09

s/型/方/…… #himaprime

posted at 15:19:57

いっきに沢山の型があらわれたので暫し中断 #himaprime

posted at 15:19:49

Haskell のサブセットを定義してその型推論を Haskell で書く。型クラス、シノニム、中置記法、let などは省略。 #himaprime

posted at 15:19:11

#himaprime @pi8027 さんによるKeynote 開始！

posted at 15:16:59

ｷｬｰ @pi8027 ｻｰﾝ #himaprime

posted at 15:16:14

#himaprime ひびのさん「さかぐちくんとは型推論について熱く語り合う中」

posted at 15:11:04

#himaprime 自己紹介たいむ

posted at 15:07:19

#himaprime まもなく開幕！

posted at 15:05:16

#himaprime 会場なう！

posted at 15:02:25

RT @ma0e: HIMA' #5告知しました。今回は @pi8027 さんによる「型推論」です。http://bit.ly/h4ghiX #himaprime

posted at 13:52:56

#himaprime 五分休憩！

posted at 16:25:53

半環の公理はこれでいいのか？とりあえずこれで良いということで。 #himaprime

posted at 15:42:50

#himaprime どこからが正規表現で、どこからが拡張？

posted at 15:34:08

案の定わたしのつぶやきは検索に引っ掛からない #himaprime

posted at 15:28:25

HIMA' #4 『関数型的正規表現マッチ』 開幕 #himaprime

posted at 15:11:20

#himaprime なう

posted at 15:09:36