活動記録/第6回 のバックアップ(No.3)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• 活動記録/第6回 へ行く。
  • 1 (2006-06-16 (金) 18:33:54)
  • 2 (2006-06-19 (月) 22:39:56)
  • 3 (2006-06-20 (火) 14:05:33)
  • 4 (2006-06-20 (火) 17:55:40)
  • 5 (2006-06-21 (水) 00:41:25)
  • 6 (2006-06-21 (水) 03:57:20)
  • 7 (2006-06-21 (水) 18:41:54)
  • 8 (2007-11-27 (火) 14:40:27)
  • 9 (2008-09-23 (火) 10:36:05)
  • 10 (2008-09-26 (金) 22:50:18)

• 日時　：2006/6/19 (Mon)
• 場所　：名大 理学部1号館(多元数理科学研究科) 307室?
• 時刻　：18:00〜19:30
• 参加者：??名
• 話題　：
  • value restriction と 副作用の関係について
  • テキストが終わったらどうする？
    • ライブラリ/マニュアルの引き方を知っておきたい
    • OBJECTIVE な OCaml を知りたい
    • ゲームを作る (さめがめとか)
    • ocamlp4
    • Haskell / Parsec 勉強会へシフト
    • SICPまたはTAPLをやる ← 英語はヤメてという意見も
    • 水野くんがCGIフレームワークを作る
    • 圏論勉強会？ ← 群論が『具体的』とかいう人とは友達になれないよ！

Chapter 6. Exercise続き †

Exercise 10 (末次) †

次の型をもつ関数を定義せよ．

'a * ('b, 'c) sum -> ('a * 'b, 'a * 'c) sum

let f1 (x, y) = 
  match y with
      Left n -> Left (x, n)
    | Right n -> Right (x, n);;

('a, 'b) sum * ('c, 'd) sum -> (('a * 'c, 'b * 'd) sum, ('a * 'd, 'b * 'c) sum) sum

let f2 (x, y) = 
  match (x, y) with 
      (Left n, Left m) -> Left (Left (n, m))
    | (Left n, Right m) -> Right (Left (n, m))
    | (Right n, Left m) -> Right (Right (n, m))
    | (Right n, Right m) -> Left (Right (n, m));;

('a -> 'b) * ('c -> 'b) -> ('a, 'c) sum -> 'b

let f3 (x, y) = function
     Left m -> x m
   | Right m -> y m;;

(('a, 'b) sum -> 'c) -> ('a -> 'c) * ('b -> 'c)

let f4 f = (fun x -> f(Left x), fun y -> f(Right y));;

('a -> 'b, 'a -> 'c) sum -> ('a -> ('b,'c) sum)

let f5 = function
   Left l -> (fun x -> Left (l x))
 | Right r -> (fun x -> Right (r x));;

ただし，

type ('a, 'b) sum = Left of 'a | Right of 'b;;

Chapter 7. Exercise †

活動記録/第7回? に移動しました †