Funkcije, neskončna zaporedja in java

Transcription

1 Funkcije, neskončna zaporedja in java LALGinar, 4. oktober 2013 Luka Fürst

2 Funkcijsko programiranje Funkcije kot osnovni gradniki funkcije kot argumenti funkcij funkcije, ki vračajo funkcije

3 Funkcijsko programiranje Funkcije kot osnovni gradniki funkcije kot argumenti funkcij funkcije, ki vračajo funkcije Sklicevalna preglednost (referential transparency) klic funkcije z določenim naborom vrednosti parametrov vedno vrne isti rezultat, ne glede na okoliščine klica posledica: odpor do spremenljivk (oz. stanja nasploh) predstavitev časovne variacije s seznami

4 Funkcijsko programiranje Funkcije kot osnovni gradniki funkcije kot argumenti funkcij funkcije, ki vračajo funkcije Sklicevalna preglednost (referential transparency) klic funkcije z določenim naborom vrednosti parametrov vedno vrne isti rezultat, ne glede na okoliščine klica posledica: odpor do spremenljivk (oz. stanja nasploh) predstavitev časovne variacije s seznami Leno vrednotenje objekt ovrednotimo šele tedaj, ko njegovo vrednost zares potrebujemo

5 Funkcijsko programiranje Funkcije kot osnovni gradniki funkcije kot argumenti funkcij funkcije, ki vračajo funkcije Sklicevalna preglednost (referential transparency) klic funkcije z določenim naborom vrednosti parametrov vedno vrne isti rezultat, ne glede na okoliščine klica posledica: odpor do spremenljivk (oz. stanja nasploh) predstavitev časovne variacije s seznami Leno vrednotenje objekt ovrednotimo šele tedaj, ko njegovo vrednost zares potrebujemo H. Abelson, G.J. Sussman, J. Sussman: Structure and Interpretation of Computer Programs (2. izdaja), MIT Press, 1996.

6 Funkcijsko programiranje in java Java ne ponuja konstruktov funkcijskega programiranja

7 Funkcijsko programiranje in java Java ne ponuja konstruktov funkcijskega programiranja Zanimiva in poučna pa je simulacija tovrstnih konstruktov v javi

8 Funkcijsko programiranje in java Java ne ponuja konstruktov funkcijskega programiranja Zanimiva in poučna pa je simulacija tovrstnih konstruktov v javi V javi lahko (do določene mere) programiramo po funkcijsko...

9 Funkcijsko programiranje in java Java ne ponuja konstruktov funkcijskega programiranja Zanimiva in poučna pa je simulacija tovrstnih konstruktov v javi V javi lahko (do določene mere) programiramo po funkcijsko......toda za ceno okorne in dolgovezne sintakse

10 Funkcije v javi Osnovo za predstavitev funkcij predstavljajo sledeči vmesniki: // zero-argument function interface F0<R> { R apply(); // one-argument function interface F1<P,R> { R apply(p param); // two-argument function interface F2<P1,P2,R> { R apply(p1 param1, P2 param2); // unary predicate interface Predicate<P> { boolean satisfies(p param);

11 Funkcije v javi Funkcijo predstavimo kot objekt tipa F0, F1, F2 ali Predicate class Square implements F1<Integer, Integer> { public Integer apply(integer a) { return (a * a); //... F1<Integer, Integer> sq = new Square(); System.out.println(sq.apply(5)); // 25

12 Funkcije v javi Funkcijo predstavimo kot objekt tipa F0, F1, F2 ali Predicate class Square implements F1<Integer, Integer> { public Integer apply(integer a) { return (a * a); //... F1<Integer, Integer> sq = new Square(); System.out.println(sq.apply(5)); // 25 Kot objekt brezimenskega implementatorja vmesnika: F1<Integer, Integer> sq = new F1<Integer, Integer>() { public Integer apply(integer a) { return (a * a); ; Več primerov: Scale, Plus, DivisibleBy

13 Funkcije, ki sprejemajo in/ali vračajo funkcije Kompozitum f g: public static <P,Q,R> F1<P,R> composition( final F1<Q,R> f, final F1<P,Q> g) { return new F1<P,R>() { public R apply(p param) { return f.apply(g.apply(param)); ; //... F1<Integer, Integer> sq = new Square(); F1<Integer, Integer> dbl = new Scale(2); F1<Integer, Integer> sqofdbl = composition(sq, dbl); F1<Integer, Integer> dblofsq = composition(dbl, sq); System.out.println(sqOfDbl.apply(3)); // 36 System.out.println(dblOfSq.apply(3)); // 18 Negacija predikata

14 Memoizacija Shranjevanje rezultatov funkcije pri določenih vrednostih Pri podanem naboru parametrov se funkcija izvede le enkrat V naslednjih klicih se uporabi shranjeni rezultat

15 Memoizacija Shranjevanje rezultatov funkcije pri določenih vrednostih Pri podanem naboru parametrov se funkcija izvede le enkrat V naslednjih klicih se uporabi shranjeni rezultat public static <P,R> F1<P,R> memoize(final F1<P,R> f) { return new F1<P,R>() { Map<P,R> memo = new HashMap<>(); ; public R apply(p param) { if (memo.containskey(param)) { return memo.get(param); R result = f.apply(param); memo.put(param, result); return result;

16 Seznami v javi Dve vrsti seznamov: prazen seznam seznam z glavo in repom glava je lahko karkoli, rep pa mora biti seznam abstract class List<T> { public abstract T head(); public abstract List<T> tail(); public abstract boolean isempty(); class Empty<T> extends List<T> { public T head() { throw new NoSuchElementException(); public List<T> tail() { throw new NoSuchElementException(); public boolean isempty() { return true;

17 Seznami v javi class Nonempty<T> extends List<T> { private T head; private List<T> tail; public Nonempty(T head, List<T> tail) { this.head = head; this.tail = tail; public T head() { return head; public List<T> tail() { return tail; public boolean isempty() { return false;

18 Tipične metode seznamov // returns the element at index ix public T get(int ix) { if (ix < 0) { throw new IllegalArgumentException("get: index < 0"); if (ix == 0) { return head(); return tail().get(ix-1); // returns a list comprising the elements indexed ixfirst,..., ixlast // of this list public List<T> sublist(int ixfirst, int ixlast) { if (ixfirst < 0 ixfirst > ixlast) { return new Empty<T>(); if (ixfirst == 0) { return new Nonempty<T>(head(), tail().sublist(0, ixlast-1)); return tail().sublist(ixfirst-1, ixlast-1);

19 Tipične metode seznamov // returns a new list obtained by applying func to individual elements // of this list public <U> List<U> map(f1<t,u> func) { if (isempty()) { return new Empty<U>(); return new Nonempty<U>( func.apply(head()), tail().map(func) ); // returns a list of all elements that satisfy the given predicate public List<T> filter(predicate<t> pred) { if (isempty()) { return new Empty<T>(); if (pred.satisfies(head())) { return new Nonempty<T>(head(), tail().filter(pred)); return tail().filter(pred);

20 Tipične metode seznamov // returns true iff any element satisfies the given predicate public boolean any(predicate<t> pred) { if (isempty()) { return false; if (pred.satisfies(head())) { return true; return tail().any(pred); // returns true iff all elements satisfy the given predicate public boolean all(predicate<t> pred) { if (isempty()) { return true; if (!pred.satisfies(head())) { return false; return tail().all(pred);

21 Tipične metode seznamov // returns func(...(func(func(initialvalue, [0]), [1]), [2]),..., [n]) public T leftfold(f2<t,t,t> func, T initialvalue) { if (isempty()) { return initialvalue; return tail().leftfold(func, func.apply(initialvalue, head())); // returns func([0], func([1], (... func([n], initialvalue)...))) public T rightfold(f2<t,t,t> func, T initialvalue) { if (isempty()) { return initialvalue; if (tail().isempty()) { return func.apply(head(), initialvalue); return func.apply(head(), tail().rightfold(func, initialvalue));

22 Motivacija Problem: poišči drugo praštevilo na intervalu [a, b]

23 Motivacija Problem: poišči drugo praštevilo na intervalu [a, b] Proceduralna rešitev: public static int secondprime(int a, int b) { int counter = 0, num = a; while (num <= b && counter < 2) { if (isprime(num)) counter++; num++; if (counter == 2) return (num-1); throw new NoSuchElementException();

24 Motivacija Problem: poišči drugo praštevilo na intervalu [a, b] Proceduralna rešitev: public static int secondprime(int a, int b) { int counter = 0, num = a; while (num <= b && counter < 2) { if (isprime(num)) counter++; num++; if (counter == 2) return (num-1); throw new NoSuchElementException(); Prepletanje naštevanja in preverjanja praštevilskosti

25 Motivacija Elegantnejša ( funkcijska ) rešitev: public static int secondprime(int a, int b) { Predicate<Integer> isprime =...; List<Integer> interval = List.intInterval(a, b); // [a,..., b] List<Integer> primes = interval.filter(isprime); return primes.get(1);

26 Motivacija Elegantnejša ( funkcijska ) rešitev: public static int secondprime(int a, int b) { Predicate<Integer> isprime =...; List<Integer> interval = List.intInterval(a, b); // [a,..., b] List<Integer> primes = interval.filter(isprime); return primes.get(1); Pomanjkljivosti postanejo očitne pri npr. a = 10 6, b = 10 7

27 Motivacija Elegantnejša ( funkcijska ) rešitev: public static int secondprime(int a, int b) { Predicate<Integer> isprime =...; List<Integer> interval = List.intInterval(a, b); // [a,..., b] List<Integer> primes = interval.filter(isprime); return primes.get(1); Pomanjkljivosti postanejo očitne pri npr. a = 10 6, b = 10 7 Rešitev: leni seznami

28 Leni seznami Alternativno ime: tokovi (streams) Enaka struktura kot pri navadnih seznamih Prvi element lenega seznama se ovrednoti že ob izdelavi Naslednji elementi se vrednotijo po potrebi

29 Leni seznami Abstraktni nadrazred in razred za prazen leni seznam sta definirana enako kot pri navadnih seznamih: class LazyList<T> { public abstract T head(); public abstract LazyList<T> tail(); public abstract boolean isempty(); class Empty<T> extends LazyList<T> { public T head() { throw new NoSuchElementException(); public LazyList<T> tail() {throw new NoSuchElementException(); public boolean isempty() { return true;

30 Neprazen leni seznam Rep je funkcija, ki se ovrednoti šele ob klicu metode tail class Nonempty<T> extends LazyList<T> { private T head; private F0<LazyList<T>> lazytail; public Nonempty(T head, F0<LazyList<T>> lazytail) { this.head = head; this.lazytail = memoize(lazytail); public T head() { return head; public LazyList<T> tail() { return lazytail.apply(); public boolean isempty() { return false;

31 Z navadnim seznamom: Celoštevilski interval [a, b] public static List<Integer> intinterval(int a, int b) { if (a > b) { return new Empty<Integer>(); return new Nonempty<Integer>(a, intinterval(a + 1, b)); Z lenim seznamom: public static LazyList<Integer> intinterval(final int a, final int b) { if (a > b) { return new Empty<Integer>(); return new Nonempty<Integer>(a, new F0<LazyList<Integer>>() { public LazyList<Integer> apply() { return intinterval(a + 1, b); );

32 Metoda filter pri lenih seznamih public LazyList<T> filter(final Predicate<T> pred) { if (isempty()) { return new Empty<T>(); if (pred.satisfies(head())) { return new Nonempty<T>(head(), new F0<LazyList<T>>() { public LazyList<T> apply() { return tail().filter(pred); ); return tail().filter(pred); Seznam se do prvega elementa, ki zadošča predikatu, preiskuje neučakano (eagerly) Po odkritju prvega takega elementa delo na seznamu počaka do zahteve po naslednjem ustreznem elementu

33 Drugo praštevilo na intervalu [a, b] public static int secondprime(int a, int b) { Predicate<Integer> isprime =...; LazyList<Integer> interval = LazyList.intInterval(a, b); LazyList<Integer> primes = interval.filter(isprime); return primes.get(1); Ob klicu metode filter se poišče samo prvo praštevilo Drugo praštevilo (in naslednja, če bi jih zahtevali) se poiščejo šele ob klicu metode get

34 Neskončni leni seznami Lene sezname lahko uporabimo za predstavitev neskončnih zaporedij

35 Neskončni leni seznami Lene sezname lahko uporabimo za predstavitev neskončnih zaporedij Seznam vseh naravnih števil: public static LazyList<Integer> ints() { return intsfrom(1); public static LazyList<Integer> intsfrom(final int n) { return new Nonempty<Integer>(n, new F0<LazyList<Integer>>() { public LazyList<Integer> apply() { return intsfrom(n+1); ); //... System.out.println(ints().sublist(0, 4)); // [1, 2, 3, 4, 5]

36 Neskončni leni seznami public static LazyList<Integer> makelist() { return gen(0, 1); private static LazyList<Integer> gen(final int a, final int b) { return new Nonempty<Integer>(a, new F0<LazyList<Integer>>() { public LazyList<Integer> apply() { return gen(b, a+b); );

37 Fibonaccijevo zaporedje public static LazyList<Integer> fibs() { return fibgen(0, 1); private static LazyList<Integer> fibgen(final int a, final int b) { return new Nonempty<Integer>(a, new F0<LazyList<Integer>>() { public LazyList<Integer> apply() { return fibgen(b, a+b); ); //... System.out.println(fibs().sublist(5, 9)); // [5, 8, 13, 21, 34]

38 Eratostenovo sito (postopek iskanja praštevil) Prični s seznamom [2, 3, 4,...] Dodaj prvi element seznama v seznam praštevil Odstrani prvi element seznama in vse njegove večkratnike Rekurzivno ponovi postopek na preostalem seznamu

39 Eratostenovo sito (postopek iskanja praštevil) Prični s seznamom [2, 3, 4,...] Dodaj prvi element seznama v seznam praštevil Odstrani prvi element seznama in vse njegove večkratnike Rekurzivno ponovi postopek na preostalem seznamu public static LazyList<Integer> primes() { return sieve(intsfrom(2)); private static LazyList<Integer> sieve(final LazyList<Integer> list) { return new Nonempty<Integer>( list.head(), new F0<LazyList<Integer>>() { public LazyList<Integer> apply() { return sieve( list.tail().filter( negate(new DivisibleBy(list.head()))) ); );

40 Neskončni leni seznami public static LazyList<Integer> seqa() { return new Nonempty<Integer>(1, new F0<LazyList<Integer>>() { public LazyList<Integer> apply() { return seqa(); );

41 Neskončni leni seznami [1,1,1,...]: public static LazyList<Integer> seqa() { return new Nonempty<Integer>(1, new F0<LazyList<Integer>>() { public LazyList<Integer> apply() { return seqa(); );

42 Neskončni leni seznami [1,1,1,...]: public static LazyList<Integer> seqa() { return new Nonempty<Integer>(1, new F0<LazyList<Integer>>() { public LazyList<Integer> apply() { return seqa(); ); public static LazyList<Number> seqb() { return new Nonempty<Number>(1, new F0<LazyList<Number>>() { public LazyList<Number> apply() { return add(seqa(), seqb()); );

43 Neskončni leni seznami [1,1,1,...]: public static LazyList<Integer> seqa() { return new Nonempty<Integer>(1, new F0<LazyList<Integer>>() { public LazyList<Integer> apply() { return seqa(); ); [1,2,3,...]: public static LazyList<Number> seqb() { return new Nonempty<Number>(1, new F0<LazyList<Number>>() { public LazyList<Number> apply() { return add(seqa(), seqb()); );

44 Neskončni leni seznami public static LazyList<Number> seqc() { return new Nonempty<Number>( 0, new F0<LazyList<Number>>() { public LazyList<Number> apply() { return new Nonempty<Number>( 1, new F0<LazyList<Number>>() { public LazyList<Number> apply() { return add(seqc(), seqc().tail()); ); );

45 Neskončni leni seznami Fibonaccijevo zaporedje: public static LazyList<Number> seqc() { return new Nonempty<Number>( 0, new F0<LazyList<Number>>() { public LazyList<Number> apply() { return new Nonempty<Number>( 1, new F0<LazyList<Number>>() { public LazyList<Number> apply() { return add(seqc(), seqc().tail()); ); );

46 Zaporedje približkov števila π π 4 =

47 Zaporedje približkov števila π π 4 = // successive approximations to pi public static LazyList<Number> pi() { return scale(partialsums(pisummands(1, 1)), 4); // [1, -1/3, 1/5, -1/7,...] private static LazyList<Number> pisummands(final int n, final int sign) { return new Nonempty<Number>( sign * 1.0 / n, new F0<LazyList<Number>>() { public LazyList<Number> apply() { return pisummands(n + 2, -sign); );

48 Zaporedje približkov števila π Zaporedje 4(1 1/3+1/5 1/7+...) počasi konvergira k π

49 Zaporedje približkov števila π Zaporedje 4(1 1/3+1/5 1/7+...) počasi konvergira k π Eulerjeva pohitritev: S n = S n+2 (S n+2 S n+1 ) 2 S n 2S n+1 +S n+2

50 Zaporedje približkov števila π Zaporedje 4(1 1/3+1/5 1/7+...) počasi konvergira k π Eulerjeva pohitritev: S n = S n+2 (S n+2 S n+1 ) 2 S n 2S n+1 +S n+2 public static LazyList<Number> euler(final LazyList<Number> list) { double s0 = list.get(0).doublevalue(); double s1 = list.get(1).doublevalue(); double s2 = list.get(2).doublevalue(); return new Nonempty<Number>( s2 - ((s2 - s1) * (s2 - s1)) / (s0-2 * s1 + s2), new F0<LazyList<Number>>() { public LazyList<Number> apply() { return euler(list.tail()); );

51 Zaporedje približkov števila π Leni seznam lenih seznamov: prvi seznam je izvorni seznam približkov drugi seznam je Eulerjeva pohitritev prvega tretji seznam je Eulerjeva pohitritev drugega...

52 Zaporedje približkov števila π Leni seznam lenih seznamov: prvi seznam je izvorni seznam približkov drugi seznam je Eulerjeva pohitritev prvega tretji seznam je Eulerjeva pohitritev drugega... public static LazyList<LazyList<Number>> eulerlistoflists( final LazyList<Number> list) { return new Nonempty<LazyList<Number>>( list, new F0<LazyList<LazyList<Number>>>() { public LazyList<LazyList<Number>> apply() { return eulerlistoflists(euler(list)); ); Zaporedje sestavimo iz prvih členov posameznih seznamov

53 Zaključek Vrednost lenih seznamov: elegantna formulacija neskončnih zaporedij enkapsulacija stanja (npr. zaporedja naključnih števil)

54 Zaključek Vrednost lenih seznamov: elegantna formulacija neskončnih zaporedij enkapsulacija stanja (npr. zaporedja naključnih števil) Java kot funkcijski jezik? Omogoča implementacijo nekaterih funkcijskih konceptov Okorna in dolgovezna sintaksa Pomanjkanje operacij za delo s seznami Pedagoška vrednost