presen.gby

Size: px

Start display at page:

Download "presen.gby"

れいなあざみ
7 years ago
Views:

1 1

2 2

3 Paul Graham 3

4 Andrew Hunt and David Thomas 4

5 5

6 Java 6

7 Java Java Java 3 7

8 Haskell Scala Scala 8

9 9

10 Java Java Dean Wampler AWT ActionListener public interface ActionListener extends EventListener { public void actionperformed(actionevent e); } 10

11 AWT ActionListener import java.awt.*; import java.awt.event.*; class ButtonApp { private final Button button = new Button(); public ButtonApp() { button.addactionlistener( new ActionListener() { public void actionperformed(actionevent e) { System.out.println("event received: " + e); } });}} 2 11

12 public interface Function1Void<A> { void apply(a a); } AWT ActionListener class ButtonApp { private final Button button = new Button(); public ButtonApp() { button.addactionlistener( new Function1Void<ActionEvent>() { public void apply(actionevent e) { System.out.println("event received: "+e); }});}} 2 12

13 Java public ButtonApp() { private final Button button = new Button(); } button.addactionlistener(#{ ActionEvent e -> System.out.println("event received: "+e) }); 13

14 14

15 15

16 16

17 { 10, 20, 30, 40, 50 } 0 n n 10 * * * * *4 =

18 Java for 10 * * * * *4 =

19 for Douglas Crockford JavaScript: for JavaScript C JavaScript C Java Lisp Scheme 19

20 20

21 for for for for for ) for two days for (i = 0; i < N; i++) { } 0 N = (N - 1) = N 1/3 + 1/3 + 1/3 1 21

22 Java for public static int func(int[] ar) { int ret = 0; for (int i = 0; i < ar.length; i++) { ret = ret + ar[i] * i; } return ret; } int[] inp = {10,20,30,40,50}; func(inp);

23 Haskell MapReduce zip [0..] [10,20,30,40,50] [(0,10),(1,20),(2,30),(3,40),(4,50)] map (\(i,x) -> x*i) [0,20,60,120,200] foldl (+) 0 ((((0 + 0) + 20) + 60) + 120) func = foldl (+) 0. map (\(i,x) -> x*i). zip [0..] func [10,20,30,40,50]

24 24

25 25

26 26

27 27

28 public class Sale { Date date; int amount; } Java Sale Sale (Date _date, int _amount) { date = _date; amount = _amount; } // Date public static int getmonth (Date d) { Calendar cal = Calendar.getInstance(); cal.settime(d); int month = cal.get(calendar.month); return month; } 28

29 Java public static List<Integer> monthlysale(list<sale> sales) { ArrayList<Integer> result = new ArrayList<Integer>(); int sum = 0; int prevmonth = getmonth(sales.get(0).date); for (Sale sale : sales) { if(prevmonth == getmonth(sale.date)) { sum += sale.amount; } else { result.add(sum); sum = sale.amount; } prevmonth = getmonth(sale.date); } if(sum!= 0) { result.add(sum); } return result; } 29

30 Haskell Sale data Sale = Sale UTCTime Int time :: Sale -> UTCTime time (Sale t _) = t amount :: Sale -> Int amount (Sale _ m) = m month :: Sale -> Int month s = m where day = utctday (time s) (_, m, _) = togregorian day 30

31 groupby ((==) on month) [Sale ,Sale ,Sale ,Sale ,Sale [[Sale ,Sale ],[Sale ,Sale ,Sale UTCTime 31

32 map (map amount) [[Sale ,Sale ],[Sale ,Sale ,Sale [[2020,1750],[650,3740,8000,1960],[2200,

33 map (foldl (+) 0) [[2020,1750],[650,3740,8000,1960],[2200, [3770,14350,... 33

34 Haskell monthlysale :: [Sale] -> [Int] monthlysale = map (foldl (+) 0). map (map amount). groupby ((==) on month) 34

35 35

36 36

37 public class Person { String name; int age; } Java DB HashMap<String,Person> db = new HashMap<String,Person>(); Person sazae = new Person(" ", 24); Person fune = new Person(" ", 52); map.put(" ",sazae); map.put(" ",fune); // " " 37

38 String me = " "; Person mother = db.get(me); // " " Person gramma = db.get(mother.name); // " " String me = " "; Person mother = db.get(me); // " " Person gramma = db.get(mother.name); // null String me = " "; Person mother = db.get(me); // null Person gramma = db.get(mother.name); // 38

39 String me = " "; Person mother = db.get(me); Person gramma = null; if (mother!= null) { gramma = db.get(mother.name); } 39

40 <Person> get(<string>) null null null Java null null 40

41 41

42 Haskell DB data Person = Person String Int name :: Person -> String name (Person n _) = n age :: Person -> Int age (Person _ a) = a db :: [(String, Person)] db = [(" ", Person " " 24),(" ", Person " " 52)] 42

43 lookup Maybe DB lookup :: String -> [(String, Person)] -> Maybe Person Person Maybe Person : Nothing : Just (Person " " 24) 43

44 Maybe Person case... of findgramma :: String -> Maybe Person findgramma me = case lookup me db of Nothing -> Nothing Just mother -> lookup (name mother) db 44

45 45

46 46

47 (Java ) String me = " "; Person mother = db.get(me); Person gramma = null; if (mother!= null) { gramma = db.get(mother.name); } String me = " "; Person mother = db.get(me); Person gramma = null; Person ggramma = null; if (mother!= null) { gramma = db.get(mother.name); if (gramma!= null) { ggramma = db.get(gramma.name); } } 47

48 (Haskell ) findgramma :: String -> Maybe Person findgramma me = case lookup me db of Nothing -> Nothing Just mother -> lookup (name mother) db findggramma :: String -> Maybe Person findggramma me = case lookup me db of Nothing -> Nothing Just mother -> case lookup (name mother) db of Nothing -> Nothing Just gramma -> lookup (name gramma) db 48

49 49

50 Maybe Maybe Java data Bool = False True data Maybe a = Nothing Just a data Either l r = Left l Right r 50

51 isalive mother && isalive gramma Maybe a findmother me &&> findmother mother 51

52 &&> mx &&> f = case mx of Nothing -> Nothing Just x -> f x findggramma :: String -> Maybe Person findggramma me = lookup me db &&> \mother -> lookup (name mother) db &&> \gramma -> lookup (name gramma) db ( ) findggramma :: String -> Maybe Person findggramma me = case lookup me db of Nothing -> Nothing Just mother -> case lookup (name mother) db of Nothing -> Nothing Just gramma -> lookup (name gramma) db 52

53 53

54 54

55 Java data Person = Person String Int data Sale = Sale UTCTime Int 55

56 data Shape = Rectangle Side Side Ellipse Radius Radius data IntList = Nil Cons Int IntList data Tree a = Leaf Node (Tree a) a (Tree a) 56

57 * ) Wiki ============== ** \* [ URL]

58 type Wiki = [Element] Wiki data Element = HR H Int HText P HText UOL Xlist type HText = [PText] data PText = Raw Char Escaped Char -- backslash Anchor Title URL type URL = String type Title = String data Xlist = Ulist [Xitem] Olist [Xitem] Empty data Xitem = Item HText Xlist 58

59 59

60 60

kyoto.gby

kyoto.gby Haskell 2013.5.24 1 2 1988 B4 Sun 1992 3 Unix Magazine Unix Magazine UNIX RFC FYI (For Your Information) 4 IP PEM (Privacy Enhanced Mail) WIDE Project mh-e PEM 5 6 Unix Magazine PGP PGP 1 7 Mew (MIME)