PPL2009 のみかいにて - keigoiの日記
マジメな話は省略、主に自分の話だけメモ 飲み会は2日目だけ参加しました。 kinabaさん→id:osiire さん、 「リストの重複を省く関数(多相的)を作るときに Setモジュールが使えない」 OCaml の Set モジュールが多相的に使えない問題。 let uniq xs cmp = let module ASet = Set.Make ( struct type t = 'a (* 'a is unbound *) let compare = cmp end) in ASet.elements (List.fold_right ASet.add xs ASet.empty);; OCaml には scoped type variable がないから駄目なんじゃね？ class の 型引数を scoped type variable として使えない？ ムリポ class ['a]
ヒビルテ(2008-09-05)
日々の流転 最近、携帯を変えました。MNPを使わなかったので番号が変わります。新しい番号は前の番号(090〜)から、電卓で1003227378をマイナスしたものです。また、メールアドレスはgmailのものを使っています。 λ. 「型の型」問題 LL Future のスタッフ&発表者の打ち上げ*1で「型の型」についての話が出たらしい。 あろはさんのTwitterの<URL:http://twitter.com/alohakun/statuses/904102768>や、東京行ってきた - 黎明日記とそのコメント欄で、その辺りの話が出ていたので、ちょっと簡単な説明を書いてみる。 HaskellとかCCの場合 まず、Haskellの場合。 Haskellでは型の型は「種(kind)」と呼ばれていて普通の型とはレベルの異なるものになっている。つまり、型の型は普通の型ではない。 種について簡単に説明
Advanced Topics in Programming Languages Series: Parametric Polymorphism
Advanced Topics in Programming Languages Series: Parametric Polymorphi... Advanced Topics in Programming Languages Series: Parametric Polymorphism - 30:38 - Apr 18, 2007 Google engEDU () Rate: Google Tech Talks April 18, 2007 ABSTRACT Advanced Topics in Programming Languages Series: Parametric Polymorphism and the Girard-Rey...all » Google Tech Talks April 18, 2007 ABSTRACT Advanced Topics in Pro
Djinn, a theorem prover in Haskell, for Haskell. | Lambda the Ultimate
Lennart Augustsson announced Djinn on the Haskell mailing list recently. He included this demonstration: I've written a small program that takes a (Haskell) type and gives you back a function of that type if one exists. It's kind of fun, so I thought I'd share it. It's probably best explained with a sample session. calvin% djinn Welcome to Djinn version 2005-12-11. Type :h to get help. # Djinn is
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20090707
A full implementation of Session Types in Haskell Keigo Imai Shoji Yuen Kiyoshi Agusa Graduate School of Information Science, Nagoya University imai@nagoya-u.jp, yuen@is.nagoya-u.ac.jp, agusa@is.nagoya-u.ac.jp Abstract We propose a full implementation of
http://atnd.org/events/451
