Linuxconf 2011 parallel languages talk

- second oldest high levellanguage (fortran)- John McCarthy (MIT)- list processing- garbage collector

(defun factorial (n) (if (<= n 1) 1 (* n (factorial (- n 1)))))

- meta language- type inference- static typing- garbage collector

fun fac 0 = 1 | fac n = n * fac (n - 1)

- SML-- research, compilerdevelopment- Caml-- Categorical AbstractMachine Language-- lisp / C-- OCaml

- .NET- OCaml compatible- both object orientedand functionalcomponents

let rec factorial n = match n with | 0 -> 1 | _ -> n * factorial (n - 1)

fac(0) -> 1;fac(N) -> N * fac(N-1).

- pure- lazy evaluation- type system

-- typefactorial :: Integer -> Integer-- using recursionfactorial 0 = 1factorial n = n * factorial (n - 1)-- using listsfactorial n = product [1..n]

- JVM- java compatible- java -> FP

class Factorial { def factorial(n: Int): Int = { def factorialAcc(acc: Int, n: Int): Int = { if (n <= 1) acc else factorialAcc(n * acc, n - 1) } factorialAcc(1, n) }}

- JVM- LISP- java integration viamacros

(def factorial (fn [n] (loop [cnt n acc 1] (if (zero? cnt) acc (recur (dec cnt) (* acc cnt))))))

- memory save- no global GC- no shared mutablestate

fn f(int x) -> int { if (x == 1) { ret 1; } else { ret x * f(x-1); }}fn main () { check (f(5) == 120);}

- next gen language- open call 2002- grants for development- IBM, SUN, Cray- easy for researchers

- JVM or C++- partitioned globaladdress space- parent child locking

- fortran concept- scala, haskell syntax- syntax mathematicalnotation- if possible libraryimplementation- for loop lib function

- smalltalk VM- compatible to squeak- IBM research

| count factorial |count := 0.factorial := 1.[ count > 0 ] whileTrue: [ factorial := factorial * (count := count - 1) ]Transcript show: factorial

- logic programminglanguage- natural languageprocessing-

fact(0, 1).fact(X, Y):- X > 0 ,X1 is X-1, fact(X1, Z), Y is X*Z.

thanks

Linuxconf 2011 parallel languages talk

by Lenz Gschwendtner on Jan 25, 2011

Accessibility

Categories

Tags

Upload Details

Usage Rights

Statistics

Linuxconf 2011 parallel languages talk — Presentation Transcript