![http://atnd.org/events/3820](https://cdn-ak-scissors.b.st-hatena.com/image/square/58c058d3961d34142374ffa7579088c1ef5ca9f5/height=288;version=1;width=512/https%3A%2F%2Fatnd.org%2Fevent_images%2F0000%2F6839%2FHaskellLogoStyPreview-1_original.png)
3. 元ネタ The Proper Treatment of Quantification in ordinary English 1973 Richard Montague
マジメな話は省略、主に自分の話だけメモ 飲み会は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]
前回の Scheme Hackathon の時に、次は "Haskell Hackathon" やりたいね、という話が出ました。はっきり言って、僕は、「Haskell ぽか〜ん」の人です。モナドがわかりません。Scheme は実装することで、少し理解しました。きっと、Haskell も処理系作ったら、理解できるのではないかと期待しています!(おぃ というわけで、Haskell Hackathonは「12時間で Haskell の処理系を実装しよう!」というイベントです。 詳細はこんな感じ。 参加者全員、Haskell の処理系実装! 会場は、関東、関西、名古屋です。Ustream か Skype Video などで会場をつなぎます。関東は、サイボウズ・ラボ、関西は株式会社グッディ、名古屋は来栖川電算です。 時間は、3/1土曜日のAM11時〜PM11時です。 実装言語は、不問。僕の経験から言
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く