Introduktion till Haskell
|
|
|
- Carina Hermansson
- för 4 år sedan
- Visningar:
Transkript
1 Introduktion till Haskell Elias Riedel Gårding NMA11, Teknisk Fysik (KTH) februari 2018 Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
2 Om Haskell Historik 1927: Haskell Curry börjar undersöka kombinator-logik Ca 1930: Alonzo Church uppfinner λ-kalkyl Ca 1960: Lisp, första funktionella språket Ca 1980: Scheme (variant på Lisp) och ML uppfinns Ca : Många nya språk uppfinns, alla har sitt eget språk 1987: Gemensamt språk behövs! Första Haskell-mötet 1999: The Haskell 98 Report 2002: The Revised Haskell 98 Report 2002 och framåt: Svårt att överblicka... Haskell B. Curry ((S K K) x) = (S K K x) = (K x (K x)) = x Alonzo Church (λx.(y x) λx.(u x)) Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
3 Om Haskell Språket idag Varför lära sig Haskell? Elegant och roligt att programmera i Matematiskt sammanhängande och intressant Lätt att skriva välstrukturerad kod Svårt att skriva buggig kod Man blir bättre på andra språk Annorlunda; nya perspektiv på programmering! Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
4 Motiverande exempel! Fibonacci-tal Definition av talserien: F 0 = 0 F 1 = 1 F n = F n 1 + F n 2 Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
5 Motiverande exempel! Fibonacci-tal Definition av talserien: F 0 = 0 F 1 = 1 F n = F n 1 + F n 2 De n första Fibonacci-talen? def firstfibs(n): result = [0,1] for i in range(n-2): result.append(result[-2] + result[-1]) return result Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
6 Motiverande exempel! Fibonacci-tal Definition av talserien: F 0 = 0 F 1 = 1 F n = F n 1 + F n 2 De n första Fibonacci-talen? def firstfibs(n): result = [0,1] for i in range(n-2): result.append(result[-2] + result[-1]) return result Alla Fibonacci-tal mindre än n? def fibslessthan(n): result = [] if n > 0: result.append(0) if n > 1: result.append(1) while result[-2] + result[-1] < n: result.append(result[-2] + result[-1]) return result Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
7 Motiverande exempel! Fibonacci-tal Definition av talserien: F 0 = 0 F 1 = 1 F n = F n 1 + F n 2 De n första Fibonacci-talen? def firstfibs(n): result = [0,1] for i in range(n-2): result.append(result[-2] + result[-1]) return result Alla Fibonacci-tal mindre än n? def fibslessthan(n): result = [] if n > 0: result.append(0) if n > 1: result.append(1) while result[-2] + result[-1] < n: result.append(result[-2] + result[-1]) return result -- Trolleri som ger oändlig lista fibs = 0 : 1 : zipwith (+) fibs (tail fibs) Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
8 Motiverande exempel! Fibonacci-tal Definition av talserien: F 0 = 0 F 1 = 1 F n = F n 1 + F n 2 De n första Fibonacci-talen? def firstfibs(n): result = [0,1] for i in range(n-2): result.append(result[-2] + result[-1]) return result Alla Fibonacci-tal mindre än n? def fibslessthan(n): result = [] if n > 0: result.append(0) if n > 1: result.append(1) while result[-2] + result[-1] < n: result.append(result[-2] + result[-1]) return result -- Trolleri som ger oändlig lista fibs = 0 : 1 : zipwith (+) fibs (tail fibs) firstfibs n = take n fibs Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
9 Motiverande exempel! Fibonacci-tal Definition av talserien: F 0 = 0 F 1 = 1 F n = F n 1 + F n 2 De n första Fibonacci-talen? def firstfibs(n): result = [0,1] for i in range(n-2): result.append(result[-2] + result[-1]) return result Alla Fibonacci-tal mindre än n? def fibslessthan(n): result = [] if n > 0: result.append(0) if n > 1: result.append(1) while result[-2] + result[-1] < n: result.append(result[-2] + result[-1]) return result -- Trolleri som ger oändlig lista fibs = 0 : 1 : zipwith (+) fibs (tail fibs) firstfibs n = take n fibs fibslessthan n = takewhile (< n) fibs Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
10 Klassificering av Haskell Deklarativ programmering Imperativ programmering Beskriv för datorn hur man gör Python, Java, C/C++,... Deklarativ programmering Beskriv för datorn vad saker är HTML, XML, SQL, Haskell, Prolog,... Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
11 Klassificering av Haskell Deklarativ programmering Imperativ programmering Beskriv för datorn hur man gör Python, Java, C/C++,... Deklarativ programmering Beskriv för datorn vad saker är HTML, XML, SQL, Haskell, Prolog,... # Beräknar n! = 1*2*...*n def fact(n): prod = 1 for k in range(1, n+1): prod *= k return prod Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
12 Klassificering av Haskell Deklarativ programmering Imperativ programmering Beskriv för datorn hur man gör Python, Java, C/C++,... Deklarativ programmering Beskriv för datorn vad saker är HTML, XML, SQL, Haskell, Prolog,... # Beräknar n! = 1*2*...*n def fact(n): prod = 1 for k in range(1, n+1): prod *= k return prod fact n = product [1..n] Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
13 Klassificering av Haskell Deklarativ programmering Imperativ programmering Beskriv för datorn hur man gör Python, Java, C/C++,... Deklarativ programmering Beskriv för datorn vad saker är HTML, XML, SQL, Haskell, Prolog,... # Beräknar n! = 1*2*...*n def fact(n): prod = 1 for k in range(1, n+1): prod *= k return prod fact n = product [1..n] fact 0 = 1 fact n = n * fact (n-1) Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
14 Klassificering av Haskell Ren funktionell programmering Procedurell programmering Dela upp kod i funktioner Python, lite Java, C/C++,... Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
15 Klassificering av Haskell Ren funktionell programmering Procedurell programmering Dela upp kod i funktioner Python, lite Java, C/C++,... Funktionell programmering Dela upp kod i riktiga funktioner Varje funktion är helt isolerad Lisp (någorlunda), Haskell, Idris... Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
16 Klassificering av Haskell Ren funktionell programmering Procedurell programmering Dela upp kod i funktioner Python, lite Java, C/C++,... Funktionell programmering Dela upp kod i riktiga funktioner Varje funktion är helt isolerad Lisp (någorlunda), Haskell, Idris... Matematik f (x) =... Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
17 Klassificering av Haskell Ren funktionell programmering Procedurell programmering Dela upp kod i funktioner Python, lite Java, C/C++,... Funktionell programmering Dela upp kod i riktiga funktioner Varje funktion är helt isolerad Lisp (någorlunda), Haskell, Idris... Matematik f (x) =... Haskell f x =... Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
18 Klassificering av Haskell Ren funktionell programmering Procedurell programmering Dela upp kod i funktioner Python, lite Java, C/C++,... Funktionell programmering Dela upp kod i riktiga funktioner Varje funktion är helt isolerad Lisp (någorlunda), Haskell, Idris... Matematik f (x) =... Haskell f x =... Python def f(x): # enbart return return... Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
19 Klassificering av Haskell Ren funktionell programmering Procedurell programmering Dela upp kod i funktioner Python, lite Java, C/C++,... Funktionell programmering Dela upp kod i riktiga funktioner Varje funktion är helt isolerad Lisp (någorlunda), Haskell, Idris... Matematik f (x) =... Haskell f x =... Python def f(x): # enbart return return... Väldigt begränsat jämfört med Python. Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
20 Klassificering av Haskell Ren funktionell programmering Procedurell programmering Dela upp kod i funktioner Python, lite Java, C/C++,... Funktionell programmering Dela upp kod i riktiga funktioner Varje funktion är helt isolerad Lisp (någorlunda), Haskell, Idris... Matematik f (x) =... Haskell f x =... Python def f(x): # enbart return return... Väldigt begränsat jämfört med Python. Men begränsningar är bra för kreativiteten! Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
21 Klassificering av Haskell Saker man inte kan göra i Haskell Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
22 Klassificering av Haskell Saker man inte kan göra i Haskell Inga variabler, bara konstanter Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
23 Klassificering av Haskell Saker man inte kan göra i Haskell Inga variabler, bara konstanter y = 5 Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
24 Klassificering av Haskell Saker man inte kan göra i Haskell Inga variabler, bara konstanter y = 5 y = 18 Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
25 Klassificering av Haskell Saker man inte kan göra i Haskell Inga variabler, bara konstanter y = 5 y = 18 f (x) = {y += x} Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
26 Klassificering av Haskell Saker man inte kan göra i Haskell Inga variabler, bara konstanter y = 5 y = 18 f (x) = {y += x} f (x) = x + y OK Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
27 Klassificering av Haskell Saker man inte kan göra i Haskell Inga variabler, bara konstanter y = 5 y = 18 f (x) = {y += x} f (x) = x + y OK Det finns ingen tid/förändring i Haskell Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
28 Klassificering av Haskell Saker man inte kan göra i Haskell Inga variabler, bara konstanter y = 5 y = 18 f (x) = {y += x} f (x) = x + y OK Det finns ingen tid/förändring i Haskell Ingen tid = inga for, while. Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
29 Klassificering av Haskell Saker man inte kan göra i Haskell Inga variabler, bara konstanter y = 5 y = 18 f (x) = {y += x} f (x) = x + y OK Det finns ingen tid/förändring i Haskell Ingen tid = inga for, while. Inga sidoeffekter Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
30 Klassificering av Haskell Saker man inte kan göra i Haskell Inga variabler, bara konstanter y = 5 y = 18 f (x) = {y += x} f (x) = x + y OK Det finns ingen tid/förändring i Haskell Ingen tid = inga for, while. Inga sidoeffekter f (x) = {print( Hello world! ); return x + 3} Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
31 Klassificering av Haskell Saker man inte kan göra i Haskell Inga variabler, bara konstanter y = 5 y = 18 f (x) = {y += x} f (x) = x + y OK Det finns ingen tid/förändring i Haskell Ingen tid = inga for, while. Inga sidoeffekter f (x) = {print( Hello world! ); return x + 3} Samma argument ger samma returvärde Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
32 Klassificering av Haskell Saker man inte kan göra i Haskell Inga variabler, bara konstanter y = 5 y = 18 f (x) = {y += x} f (x) = x + y OK Det finns ingen tid/förändring i Haskell Ingen tid = inga for, while. Inga sidoeffekter f (x) = {print( Hello world! ); return x + 3} Samma argument ger samma returvärde f (x) = x * random() Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
33 Klassificering av Haskell Saker man inte kan göra i Haskell Inga variabler, bara konstanter y = 5 y = 18 f (x) = {y += x} f (x) = x + y OK Det finns ingen tid/förändring i Haskell Ingen tid = inga for, while. Inga sidoeffekter f (x) = {print( Hello world! ); return x + 3} Samma argument ger samma returvärde f (x) = x * random() f (x) = read( file.txt ) Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
34 Klassificering av Haskell Saker man inte kan göra i Haskell Inga variabler, bara konstanter y = 5 y = 18 f (x) = {y += x} f (x) = x + y OK Det finns ingen tid/förändring i Haskell Ingen tid = inga for, while. Inga sidoeffekter f (x) = {print( Hello world! ); return x + 3} Samma argument ger samma returvärde f (x) = x * random() f (x) = read( file.txt ) Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
35 Klassificering av Haskell Saker man inte kan göra i Haskell Inga variabler, bara konstanter y = 5 y = 18 f (x) = {y += x} f (x) = x + y OK Det finns ingen tid/förändring i Haskell Ingen tid = inga for, while. Inga sidoeffekter f (x) = {print( Hello world! ); return x + 3} Samma argument ger samma returvärde f (x) = x * random() f (x) = read( file.txt ) Nonsens i matematik = nonsens i Haskell Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
36 Syntax Funktioner Funktionsdefinition Python def myfunc(x, y, z): return x*y*z + 3*(x + z) Haskell myfunc x y z = x*y*z + 3*(x + z) Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
37 Syntax if-uttryck if x > 0 then "Positivt!" else "Icke-positivt!" Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
38 Syntax if-uttryck if x > 0 then "Positivt!" else "Icke-positivt!" Notera: if-uttryck, inte if-satser. Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
39 Syntax if-uttryck if x > 0 then "Positivt!" else "Icke-positivt!" Notera: if-uttryck, inte if-satser. Man måste ha med else-delen. Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
40 Syntax if-uttryck if x > 0 then "Positivt!" else "Icke-positivt!" Notera: if-uttryck, inte if-satser. Man måste ha med else-delen. I gengäld kan if användas varsomhelst: 12 + (if x > 0 then 7 else 14 - x) Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
41 Syntax if-uttryck if x > 0 then "Positivt!" else "Icke-positivt!" Notera: if-uttryck, inte if-satser. Man måste ha med else-delen. I gengäld kan if användas varsomhelst: 12 + (if x > 0 then 7 else 14 - x) Python har också detta: 12 + (7 if x > 0 else 14 - x) Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
42 Syntax Guards Matematik x = { x om x 0 x annars Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
43 Syntax Guards Matematik x = Haskell { x om x 0 x annars abs x = if x >= 0 then x else -x Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
44 Syntax Guards Matematik x = Haskell { x om x 0 x annars abs x = if x >= 0 then x else -x abs x x >= 0 = x otherwise = -x Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
45 Datatyper Deklaration och annotation Haskell har ett starkt, statiskt typsystem med typinferens Typdeklaration mynumber :: Int -- Valfritt! (men rekommenderat) mynumber = mynumber = "ett par sockor" -- Går inte att kompilera Typannotation ( type hints, inte jätteviktigt) 1/2 + 5/ (1/2 :: Rational) + 5/ % 14 Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
46 Datatyper Några inbyggda datatyper Bool: True eller False Int: 64-bitars heltal (mellan 2 63 och ) Integer: obegränsade heltal Double: flyttal Rational: exakta rationella tal Char: tecken ('a', '2', 'ö', '%',... ) String = [Char]: strängar ("I am a list of chars.") [Int], [String]: listor (mer om dessa senare) (Int,Int), (String,Int,Char): tupler (par, tripler etc) Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
47 Datatyper Funktioner mypolynomial :: Double -> Double mypolynomial x = x^2 + 2*x argument -> argument -> argument -> returtyp addandmultiply :: Int -> Int -> Int -> Int addandmultiply a b c = (a + b) * c ignoresecond :: String -> Int -> String ignoresecond s n = s -- Funktioner är också datatyper! applyto3and4 :: (Int -> Int) -> Int applyto3and4 f = f 3 + f 4 Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
48 Datatyper Typvariabler (polymorfi) -- Typer börjar med stora bokstäver ignoresecond :: String -> Int -> String ignoresecond s n = s -- Typvariabler börjar med små bokstäver ignoresecond2 :: a -> b -> a ignoresecond2 s n = s Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
49 Lite mer syntax i funktioner Pattern matching -- Matcha specifika värden opposite :: Bool -> Bool opposite False = True opposite True = False -- Lägg till ett generellt fall i slutet isodd :: Int -> Bool isodd 0 = False isodd 1 = True isodd n = isodd (n - 2) Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
50 Labb! Definiera funktioner Gå till och implementera så många ni hinner: sign :: Int -> Int 1 x > 0 sign(x) = 0 x = 0 1 x < 0 triangle :: Int -> Int triangle(n) = n k=0 k Ledtråd: Samma tanke som fact comb :: Int ( -> ) Int -> Int n n! comb(n, k) = = k k! (n k)! Ledtråd: Skriv fact separat. Heltalsdivision: a/b = div a b Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
51 Listor Vad är en lista? En lista av Int (en [Int]) är den tomma listan [], eller en Int följt av en ny lista: first : rest (namnkonvention x : xs) Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
52 Listor Vad är en lista? En lista av Int (en [Int]) är den tomma listan [], eller en Int följt av en ny lista: first : rest (namnkonvention x : xs) T.ex. [1,2,3] == 1 : (2 : (3 : [])) Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
53 Listor Listbyggare Matematik {1,..., 6} = {1, 2, 3, 4, 5, 6} Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
54 Listor Listbyggare Matematik {1,..., 6} = {1, 2, 3, 4, 5, 6} Haskell [1..6] == [1,2,3,4,5,6] Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
55 Listor Listbyggare Matematik {1,..., 6} = {1, 2, 3, 4, 5, 6} {n {1,..., 6} n + 2 6} = {4, 5, 6} Haskell [1..6] == [1,2,3,4,5,6] Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
56 Listor Listbyggare Matematik {1,..., 6} = {1, 2, 3, 4, 5, 6} {n {1,..., 6} n + 2 6} = {4, 5, 6} Haskell [1..6] == [1,2,3,4,5,6] [n n <- [1..6], n + 2 >= 6] == [4,5,6] Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
57 Listor Listbyggare Matematik {1,..., 6} = {1, 2, 3, 4, 5, 6} {n {1,..., 6} n + 2 6} = {4, 5, 6} { n 2 n {1,..., 6}, n } = {16, 25, 36} Haskell [1..6] == [1,2,3,4,5,6] [n n <- [1..6], n + 2 >= 6] == [4,5,6] Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
58 Listor Listbyggare Matematik {1,..., 6} = {1, 2, 3, 4, 5, 6} {n {1,..., 6} n + 2 6} = {4, 5, 6} { n 2 n {1,..., 6}, n } = {16, 25, 36} Haskell [1..6] == [1,2,3,4,5,6] [n n <- [1..6], n + 2 >= 6] == [4,5,6] [n^2 n <- [1..6], n + 2 >= 6] == [16,25,36] Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
59 Listor Funktioner på listor Matematik Haskell Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
60 Listor Funktioner på listor Matematik #{1,..., 1000} = 1000 Haskell Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
61 Listor Funktioner på listor Matematik #{1,..., 1000} = 1000 Haskell length [ ] == 1000 Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
62 Listor Funktioner på listor Matematik #{1,..., 1000} = x = x=1 Haskell length [ ] == 1000 Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
63 Listor Funktioner på listor Matematik #{1,..., 1000} = x = x=1 Haskell length [ ] == 1000 sum [ ] == Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
64 Listor Funktioner på listor Matematik #{1,..., 1000} = x = x=1??? Haskell length [ ] == 1000 sum [ ] == Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
65 Listor Funktioner på listor Matematik #{1,..., 1000} = x = x=1??? Haskell length [ ] == 1000 sum [ ] == map f [1,7,4] == [f 1, f 7, f 4] Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
66 Listor Funktioner på listor Matematik #{1,..., 1000} = x = x=1??? Haskell length [ ] == 1000 sum [ ] == map f [1,7,4] == [f 1, f 7, f 4] take 2 [1,7,4,3,2] == [1,7] Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
67 Listor Funktioner på listor Matematik #{1,..., 1000} = x = x=1??? Haskell length [ ] == 1000 sum [ ] == map f [1,7,4] == [f 1, f 7, f 4] take 2 [1,7,4,3,2] == [1,7] filter odd [1,7,4,3,2] == [1,7,3] Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
68 Listor Funktioner på listor Hur definieras de? Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
69 Listor Funktioner på listor Hur definieras de? length :: [a] -> Int Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
70 Listor Funktioner på listor Hur definieras de? length :: [a] -> Int length [] = 0 Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
71 Listor Funktioner på listor Hur definieras de? length :: [a] -> Int length [] = 0 length (x:xs) = 1 + length xs Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
72 Listor Funktioner på listor Hur definieras de? length :: [a] -> Int length [] = 0 length (x:xs) = 1 + length xs sum :: [Int] -> Int Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
73 Listor Funktioner på listor Hur definieras de? length :: [a] -> Int length [] = 0 length (x:xs) = 1 + length xs sum :: [Int] -> Int sum [] = 0 Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
74 Listor Funktioner på listor Hur definieras de? length :: [a] -> Int length [] = 0 length (x:xs) = 1 + length xs sum :: [Int] -> Int sum [] = 0 sum (x:xs) = x + sum xs Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
75 Listor Funktioner på listor Hur definieras de? length :: [a] -> Int length [] = 0 length (x:xs) = 1 + length xs sum :: [Int] -> Int sum [] = 0 sum (x:xs) = x + sum xs map :: (a -> b) -> [a] -> [b] Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
76 Listor Funktioner på listor Hur definieras de? length :: [a] -> Int length [] = 0 length (x:xs) = 1 + length xs sum :: [Int] -> Int sum [] = 0 sum (x:xs) = x + sum xs map :: (a -> b) -> [a] -> [b] map f [] = [] Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
77 Listor Funktioner på listor Hur definieras de? length :: [a] -> Int length [] = 0 length (x:xs) = 1 + length xs sum :: [Int] -> Int sum [] = 0 sum (x:xs) = x + sum xs map :: (a -> b) -> [a] -> [b] map f [] = [] map f (x:xs) = f x : map f xs Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
78 Listor Funktioner på listor Hur definieras de? Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
79 Listor Funktioner på listor Hur definieras de? take :: Int -> [a] -> [a] Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
80 Listor Funktioner på listor Hur definieras de? take :: Int -> [a] -> [a] take 0 xs = [] Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
81 Listor Funktioner på listor Hur definieras de? take :: Int -> [a] -> [a] take 0 xs = [] take n [] = [] Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
82 Listor Funktioner på listor Hur definieras de? take :: Int -> [a] -> [a] take 0 xs = [] take n [] = [] take n (x:xs) = x : take (n-1) xs Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
83 Listor Funktioner på listor Hur definieras de? take :: Int -> [a] -> [a] take 0 xs = [] take n [] = [] take n (x:xs) = x : take (n-1) xs filter :: (a -> Bool) -> [a] -> [a] Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
84 Listor Funktioner på listor Hur definieras de? take :: Int -> [a] -> [a] take 0 xs = [] take n [] = [] take n (x:xs) = x : take (n-1) xs filter :: (a -> Bool) -> [a] -> [a] filter p [] = [] Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
85 Listor Funktioner på listor Hur definieras de? take :: Int -> [a] -> [a] take 0 xs = [] take n [] = [] take n (x:xs) = x : take (n-1) xs filter :: (a -> Bool) -> [a] -> [a] filter p [] = [] filter p (x:xs) = if p x then x : filter p xs else filter p xs Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
86 Labb! Rekursiva funktioner på listor Gå till och implementera så många ni hinner: myproduct :: [Int] -> Int myproduct [] =? myproduct (x:xs) =? get :: Int -> [a] -> a get i ls =? -- ta fram element nr i (ls!! i) mydrop :: Int -> [a] -> [a] mydrop n ls =? -- ta bort n element i början av ls myreplicate :: Int -> a -> [a] myreplicate n x =? -- [x,x,x,...] n gånger myreverse :: [a] -> [a] myreverse ls =? -- vänd listan bak-och-fram (hint: använd ++ eller myplus) myplus :: [a] -> [a] -> [a] myplus as bs =? -- slå ihop listorna (as ++ bs, hint: rekursion på as, inte bs) mylast :: [a] -> a mylast [] = error "empty list" mylast ls =? -- returnera sista elementet Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
87 Annat häftigt: Lat evaluering Tunga beräkningar Python: x = sum(list(range(1, ))) Haskell: x = sum [ ] Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
88 Annat häftigt: Lat evaluering Tunga beräkningar Python: x = sum(list(range(1, ))) Haskell: x = sum [ ] Är Haskell snabbare? Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
89 Annat häftigt: Lat evaluering Tunga beräkningar Python: x = sum(list(range(1, ))) Haskell: x = sum [ ] Är Haskell snabbare? Nej, bara latare! Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
90 Annat häftigt: Lat evaluering Tunga beräkningar Python: x = sum(list(range(1, ))) Haskell: x = sum [ ] Är Haskell snabbare? Nej, bara latare! Haskell räknar bara ut något när det behövs för en annan uträkning eller när vi frågar om det. Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
91 Annat häftigt: Lat evaluering Oändliga listor Vi nämnde aldrig något om att listor behövde vara ändliga... Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
92 Annat häftigt: Lat evaluering Oändliga listor Vi nämnde aldrig något om att listor behövde vara ändliga... integers :: [Int] integers = [1..] Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
93 Annat häftigt: Lat evaluering Oändliga listor Vi nämnde aldrig något om att listor behövde vara ändliga... integers :: [Int] integers = [1..] -- Rekursiv definition integers :: [Int] integers = integersfrom 1 where integersfrom n = n : integersfrom (n+1) Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
94 Annat häftigt: Funktioner, överkurs Currying: Alla funktioner har exakt ett argument! Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
95 Annat häftigt: Funktioner, överkurs Currying: Alla funktioner har exakt ett argument! mult :: Int -> Int -> Int mult x y = x * y Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
96 Annat häftigt: Funktioner, överkurs Currying: Alla funktioner har exakt ett argument! mult :: Int -> (Int -> Int) (mult x) y = x * y Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
97 Annat häftigt: Funktioner, överkurs Currying: Alla funktioner har exakt ett argument! mult :: Int -> (Int -> Int) (mult x) y = x * y Python: def mult(x): def multwithx(y): return x * y return multwithx Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
98 Annat häftigt: Funktioner, överkurs Currying: Alla funktioner har exakt ett argument! mult :: Int -> (Int -> Int) (mult x) y = x * y Python: def mult(x): def multwithx(y): return x * y return multwithx Partiell applicering: triple :: Int -> Int triple = mult 3 Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
99 Annat häftigt: Funktioner, överkurs Currying: Alla funktioner har exakt ett argument! mult :: Int -> (Int -> Int) (mult x) y = x * y Python: def mult(x): def multwithx(y): return x * y return multwithx Partiell applicering: triple :: Int -> Int triple = mult 3 Operatorer är också funktioner: (+) :: Int -> Int -> Int -- (+) a b är samma som a + b Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
100 Annat häftigt: Input/Output Hur kan ett Haskell-program göra något? Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
101 Annat häftigt: Input/Output Hur kan ett Haskell-program göra något? Fake-datatyp: World Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
102 Annat häftigt: Input/Output Hur kan ett Haskell-program göra något? Fake-datatyp: World getline :: World -> (String, World) Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
103 Annat häftigt: Input/Output Hur kan ett Haskell-program göra något? Fake-datatyp: World getline :: World -> (String, World) putstr :: String -> World -> ((), World) Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
104 Annat häftigt: Input/Output Hur kan ett Haskell-program göra något? Fake-datatyp: World getline :: World -> (String, World) putstr :: String -> World -> ((), World) World -> (a, World) döps till IO a Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
105 Annat häftigt: Input/Output Hur kan ett Haskell-program göra något? Fake-datatyp: World getline :: World -> (String, World) putstr :: String -> World -> ((), World) World -> (a, World) döps till IO a getline :: IO String Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
106 Annat häftigt: Input/Output Hur kan ett Haskell-program göra något? Fake-datatyp: World getline :: World -> (String, World) putstr :: String -> World -> ((), World) World -> (a, World) döps till IO a getline :: IO String putstrln :: String -> IO () Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
107 Annat häftigt: Input/Output Hur kan ett Haskell-program göra något? Fake-datatyp: World getline :: World -> (String, World) putstr :: String -> World -> ((), World) World -> (a, World) döps till IO a getline :: IO String putstrln :: String -> IO () Inbyggda operatorer för att kombinera: (>>=) :: IO a -> (a -> IO b) -> IO b (>>) :: IO a -> IO b -> IO b Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
108 Annat häftigt: Input/Output Överkurs: Hello World :) main :: IO () main = putstrln "Hej, vad heter du?" >> getline >>= greetname greetname :: String -> IO () greetname name = putstrln ("Hej, " ++ name ++ "!") Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
109 Annat häftigt: Input/Output Överkurs: Hello World :) main :: IO () main = putstrln "Hej, vad heter du?" >> getline >>= greetname greetname :: String -> IO () greetname name = putstrln ("Hej, " ++ name ++ "!") Speciell syntax: main :: IO () main = do putstrln "Hej, vad heter du?" name <- getline putstrln ("Hej, " ++ name ++ "!") Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
110 Annat häftigt: Verktyg Nödvändigt Kompilator: GHC (Glasgow Haskell Compiler) Interaktivt läge: GHCi (ingår i Haskell Platform, Användbart Hoogle: Sökmotor för funktioner ( Stack: Pakethantering (äldre och sämre: Cabal) QuickCheck (bibliotek): Testa funktioner på slumpade indata hlint: Föreslå omskrivningar som gör koden snyggare Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
111 Slut! Lära sig mer? Learn you a Haskell for Great Good learnyouahaskell.com Real World Haskell (jobbigare) book.realworldhaskell.org Elias Riedel Gårding (NMA11, F14) Introduktion till Haskell 18 februari / 29
DD1361 Programmeringsparadigm. Carina Edlund
DD1361 Programmeringsparadigm Carina Edlund carina@nada.kth.se Funktionell programmering Grundidéen med funktionell programmering är att härma matematiken och dess funktionsbegrepp. Matematiskt funktionsbegrepp
Funktionell programmering DD1361
Funktionell programmering DD1361 Tupler Två eller fler (men ändligt) antal element. Elementen kan vara av olika typer. Ex: (1,2) :: (Integer, Integer) (( 2, hejsan ), True) ::? Tupel med två element ->
TDIU01 - Programmering i C++, grundkurs
TDIU01 - Programmering i C++, grundkurs Sammanfattning period 1 Eric Elfving Institutionen för datavetenskap 1 oktober 2013 Översikt Ett C++-programs uppbyggnad Variabler Datatyper Satser Uttryck Funktioner
Välkomna till DIT012 IPGO. Tyvärr en bug i Google Docs: Sidnummer stämmer inte alltid. Alla anteckningar börjar på sidan 1.
Välkomna till DIT012 IPGO 1 Tyvärr en bug i Google Docs: Sidnummer stämmer inte alltid. Alla anteckningar börjar på sidan 1. Lärare och Handledare Kursansvariga, examinatorer, föreläsare och handledare
Grundläggande datalogi - Övning 1
Grundläggande datalogi - Övning 1 Björn Terelius October 30, 2008 Python är ett tolkat språk som kan köras interaktivt. tcs-ray:~/grudat08>python >>> 11+3*4 23 >>> a = 15 >>> b=a >>> print "a =", a, "b
Föreläsning 5 i programmeringsparadigm.
Föreläsning 5 i programmeringsparadigm. λ-notation (lamda-notation, anonyma funktioner). Hutton 4.5. (Fokker 2.3.4.) Vi kan om vi vill definiera hjälpkonstanter, t ex i denna funktiondefinition : kommunalskatt
Föreläsningsanteckningar, Introduktion till datavetenskap HT S4 Datastrukturer. Tobias Wrigstad
1 Datatyper Tobias Wrigstad Det finns flera olika typer av (slags) data Olika datatyper har olika egenskaper. T.ex. är ett personnummer inte ett tal. (Den sista siffran skall stämma enligt den s.k. Luhnalgoritmen
C++ - En introduktion
C++ - En introduktion De imperativa grunderna för dig som kan programmera Eric Elfving Institutionen för datavetenskap 1 / 72 Översikt 1 Grunderna 2 Uttryck och satser 3 Funktioner 4 Poster 1 Grunderna
Introduktion till programmering SMD180. Föreläsning 2: Variabler, uttryck och satser
Introduktion till programmering Föreläsning 2: Variabler, uttryck och satser 1 1 Värden De grundläggande saker som en dator manipulerar resultaten av beräkningar kallas värden Värden vi stött på: 2 och
ITK:P1 Föreläsning 1. Programmering. Programmeringsspråket Java. Stark typning Explicit typning Strukturerat Hög säkerhet
ITK:P1 Föreläsning 1 Att programmera i språket Java DSV Peter Mozelius Programmering Olika typer av programmering som t ex: o Imperativ programmering (C, Pascal m fl) o Funktionell programmering (Lisp,
Användarhandledning Version 1.2
Användarhandledning Version 1.2 Innehåll Bakgrund... 2 Börja programmera i Xtat... 3 Allmänna tips... 3 Grunderna... 3 Kommentarer i språket... 4 Variabler... 4 Matematik... 5 Arrayer... 5 på skärmen...
Programmeringsteknik med C och Matlab
Programmeringsteknik med C och Matlab Kapitel 2: C-programmeringens grunder Henrik Björklund Umeå universitet Björklund (UmU) Programmeringsteknik 1 / 32 Mer organisatoriskt Imorgon: Datorintro i lab Logga
Datatyper och kontrollstrukturer. Skansholm: Kapitel 2) De åtta primitiva typerna. Typ Innehåll Defaultvärde Storlek
De åtta primitiva typerna Java, datatyper, kontrollstrukturer Skansholm: Kapitel 2) Uppsala Universitet 11 mars 2005 Typ Innehåll Defaultvärde Storlek boolean true, false false 1 bit char Tecken \u000
Några inbyggda funktioner (med resultat!) Introduktion till programmering D0009E. Föreläsning 4: Villkor och rekursion. Modulus-operatorn.
Några inbyggda funktioner (med resultat!) Introduktion till programmering D0009E Föreläsning 4: Villkor och rekursion Konverterar mellan de grundläggande typerna: >>> int("") >>> int(.999) >>> float().0
Programmering I Tobias Wrigstad fredag, 2009 augusti 28
Programmering I Tobias Wrigstad tobias@dsv.su.se Vad är programmering? Lågnivåspråk och högnivåspråk Kompilering och interpretering Variabler Notation för flödesschema (flow chart) Kontrollstrukturer (conditionals,
Imperativ programmering
Imperativ programmering 1DL126 3p Imperativ programmering Jesper Wilhelmsson ICQ: 20328079 Yahoo: amigajoppe MSN / epost: jesperw@it.uu.se Rum: 1335 Tel: 471 1046 Imperativ programmering Vilka programmeringsspråk
Pythons standardbibliotek
Pythons standardbibliotek Python 3 skall, enligt standarddokumenten http://docs.python.org/py3k/library/index.html ha stöd för vissa funktioner, typer och datastrukturer Så länge man håller sig till detta
Föreläsning 10 Datalogi 1 DA2001. Utskrift på skärmen. Syntax. print( Hej ) Hur är det? Hej. print( Hej,end= ) print( Hur är det? ) HejHur är det?
Föreläsning 10 Datalogi 1 DA2001 python introduktion Variabler Datatyp Aritmetiska operatorer av typer Reserverade ord logiska operatorer If-sats kommentarer på skärmen print( Hej ) print( Hur är det?
Föreläsning 4 (och 5?) i programmeringsparadigm.
Föreläsning 4 (och 5?) i programmeringsparadigm. Högre ordningens funktioner på listor; funktioner som argument: map, filter. (Fokker 3.1.3, C&K p 37, 38) map -- förändra alla element i en lista på samma
TDIU01 - Programmering i C++, grundkurs
TDIU01 - Programmering i C++, grundkurs Underprogram - Funktioner Eric Elfving Institutionen för datavetenskap 18 september 2014 Översikt 2/22 Återblick till satsblocken Funktioner - Namngivna satsblock
Introduktion till programmering SMD180. Föreläsning 4: Villkor och rekursion
Introduktion till programmering Föreläsning 4: Villkor och rekursion 1 1 Några inbyggda funktioner (med resultat!) Konverterar mellan de grundläggande typerna: >>> int("32") 32 >>> int(3.999) 3 >>> float(32)
Föreläsning 2 Programmeringsteknik och C DD1316. Mikael Djurfeldt
Föreläsning 2 Programmeringsteknik och C DD1316 Mikael Djurfeldt Föreläsning 2 Programmeringsteknik och C Python introduktion Utskrift Inläsning Variabler Datatyp Aritmetiska operatorer Omvandling
I Skapa Hej.java och skriv programmet. I Kompilera med javac Hej.java. I Rätta fel och repetera tills du lyckas kompilera ditt program
Kompilera och köra programmet Objektorienterad Programmering (TDDC77) Föreläsning II: utmatning, variabler, typer Ahmed Rezine IDA, Linköpings Universitet Hösttermin 2016 under terminal 2: I Skapa Hej.java
Objektorienterad Programmering (TDDC77)
Objektorienterad Programmering (TDDC77) Föreläsning II: utmatning, variabler, typer Ahmed Rezine IDA, Linköpings Universitet Hösttermin 2016 Kompilera och köra programmet under terminal 2: I Skapa Hej.java
SMD 134 Objektorienterad programmering
SMD 134 Objektorienterad programmering Dagens agenda: Typer i Java: primitiva datatyperna, referenstyper Variabler och variabeltilldelningar med primitiva typer Konstanter av de olika typerna. Heltalsräkning
Imperativ och Funktionell Programmering i Python #TDDD73. Fredrik Heintz,
Imperativ och Funktionell Programmering i Python #TDDD73 Fredrik Heintz, IDA fredrik.heintz@liu.se @FredrikHeintz Översikt Repetition: Satser och uttryck Variabler, datatyper, synlighet och skuggning Upprepning,
Föreläsning 2 Programmeringsteknik DD1310. Programmering. Programspråk
Föreläsning 2 steknik DD1310 python introduktion Variabler Datatyp Aritmetiska operatorer av typer Reserverade ord logiska operatorer If-sats kommentarer funktioner betyder att instruera en dator Ett program
Senast. Idag. Icke-strikt evaluering. Strikt evaluering. Testa latheten! Lat evaluering. Plus och minus med lat evaluering. Testa latheten!
Senast Idag Högre ordningens funktioner Listomfattning Strikthet och lat evaluering Strömmar Monadisk I/O Strikt evaluering Icke-strikt evaluering Def: Strikt evaluering innebär att alla parametrars värde
TDIU01 - Programmering i C++, grundkurs
TDIU01 - Programmering i C++, grundkurs Grundläggande satser och uttryck Eric Elfving Institutionen för datavetenskap 5 augusti 2014 Översikt Uttryck Litteraler Operatorer Satser Villkor Upprepning Teckenhantering
732G Linköpings universitet 732G11. Johan Jernlås. Översikt. Repetition. Felsökning. Datatyper. Referenstyper. Metoder / funktioner
732G11 Linköpings universitet 2011-01-21 1 2 3 4 5 6 Skapa program Kompilera: Källkod Kompilator bytekod Köra: Bytekod Virtuell maskin Ett riktigt program Hej.java class Hej { public static void main (
Kompilering och exekvering. Föreläsning 1 Objektorienterad programmering DD1332. En kompilerbar och körbar java-kod. Kompilering och exekvering
Föreläsning 1 Objektorienterad programmering DD1332 Introduktion till Java Kompilering, exekvering, variabler, styrstrukturer Kompilering och exekvering Ett program måste översättas till datorns språk
LÖSNINGSFÖRSLAG TENTAMEN PROGRAMMERING I ETT FUNKTIONELLT SPRÅK ML, 5P
UMEÅ UNIVERSITET Datavetenskap 020321 Betygsgränser 0 19,5 U 20 25,5 3 26 31,5 4 32-40 5 LÖSNINGSFÖRSLAG TENTAMEN 020321 PROGRAMMERING I ETT FUNKTIONELLT SPRÅK ML, 5P Uppgift 1(3+2=5 poäng) I denna uppgift
Introduktion till programmering SMD180. Föreläsning 9: Tupler
Introduktion till programmering Föreläsning 9: Tupler 1 1 Sammansatta datatyper Strängar Sekvenser av tecken Icke muterbara Syntax: "abcde" Listor Sekvenser av vad som helst Muterbara Syntax: [1, 2, 3]
DD1314 Programmeringsteknik
Skolan för Datavetenskap och kommunikation DD1314 Programmeringsteknik Föreläsning 1 o print o variabler o reserverade ord o input o kommentarer o beräkningar o datatyper o if-satser Kursinformation Programmering:
Föreläsning 2 Programmeringsteknik och C DD1316. Programmering. Programspråk
Föreläsning 2 steknik och C DD1316 python introduktion Variabler Datatyp Aritmetiska operatorer av typer Reserverade ord logiska operatorer If-sats kommentarer betyder att instruera en dator Ett program
Deklarationer/definitioner/specifikationer
Deklarationer/definitioner/specifikationer Konstantdefinitioner innebär att ett namn binds och sätts att referera till ett värde som beräknas vid kompileringen/interpreteringen och som under programmets
Grunderna i C++ T A. Skapad av Matz Johansson BergströmLIMY
Grunderna i C++ ARK 385: Virtuella Verktyg i en Materiell värld AT Arkitektur & Teknik Chalmers Tekniska Högskola 2009 - Kursen skapades (3 förel.) 2010-6 förel. + 2 projekt 2011-8 förel. Helt omarbetade
Laboration: Whitebox- och blackboxtesting
Tilda11 höstterminen 2011 Laboration: Whitebox- och blackboxtesting Mål med laborationen Du ska lära dig begreppen white-box testing och black-box testing Du ska öva dig på att konstruera testfall Du ska
Föreläsning 2 Programmeringsteknik och C DD1316
Föreläsning 2 Programmeringsteknik och C DD1316 Föreläsning 2 Programmeringsteknik och C Datatyp Aritmetiska operatorer Omvandling av typer Reserverade ord Mikael Djurfeldt Logiska operatorer
Enjoy Vattenfallsmodellen i funktionella språk
Föreläsning 2 i Programmeringsparadigm Funktionell programmering := variabler pekare sidoeffekter ;...; Fy, fy => bugfree förståeliga korta inga "satser", bara uttryck! Enjoy Vattenfallsmodellen i funktionella
Erfarenheter från labben
Erfarenheter från labben Bra Jobbat! Lite ont om plats... Parprogrammering? Skillnad mellan program och funktion! Skillnad mellan uttryck och kommando! Välj bra variabelnamn! Vad göra om det blir fel?
Del : Funktionell programmering. I alla deluppgifterna, använd Haskell och skriv typen för de identifierare du definierar.
Nada Tentamensdag 2004 aug 23 Tentamen Programmeringsparadigm Skrivtid 5 h Antalet uppgifter : 1 (allmänt)+ 4 (Haskell) + 4 (Prolog) = 10p +(5p + 20p +5p+ 20p) + (10p +12p + 8p +10p) = 10p + 50p + 40 p
729G74 IT och programmering, grundkurs. Tema 2, Föreläsning 2 Jody Foo,
729G74 IT och programmering, grundkurs Tema 2, Föreläsning 2 Jody Foo, jody.foo@liu.se Föreläsningsöversikt Kursinfo: återkoppling Muddy Cards och kompletteringar Diskret matematik Python: Programmering
Föreläsning 6 i programmeringsparadigm. Tips kring programmering i Haskell och kring labbarna.
Föreläsning 6 i programmeringsparadigm. Tips kring programmering i Haskell och kring labbarna. Att arbeta med två fönster. Hugs är ju en tolk (interpreter) vilket har stora fördelar vid programutveckling.
Föreläsning 2 Programmeringsteknik och Matlab DD1312. Programspråk. Utskrift på skärmen
Föreläsning 2 Programmeringsteknik och Matlab DD1312 Introduktion till python Variabler, datatyper, omvandling av typer sfunktioner Två olika typer av program omvandlar högnivå till lågnivå program: Interpreterande
Introduktion till programmering D0009E. Föreläsning 1: Programmets väg
Introduktion till programmering D0009E Föreläsning 1: Programmets väg 1 Vad är en dator? En maskin vars beteende styrs av de innehållet (bitmönster) som finns lagrade i datorns minne (inte helt olikt förra
SCB :-0. Uno Holmer, Chalmers, höger 2 Ex. Induktiv definition av lista. // Basfall
Rekursiva funktioner Föreläsning 10 (Weiss kap. 7) Induktion och rekursion Rekursiva funktioner och processer Weiss 7.1-3 (7.4, 7.5.3 utgår) Fibonaccital (7.3.4) Exempel: Balansering av mobil (kod se lab
Objektorienterad Programmering (TDDC77)
Objektorienterad Programmering (TDDC77) Föreläsning II: utmatning, variabler, typer Ahmed Rezine IDA, Linköpings Universitet Hösttermin 2017 Outline Java Språket Utmatning av Sträng litteraler Variabler
Hur man programmerar. TDDC66 Datorsystem och programmering Föreläsning 3. Peter Dalenius Institutionen för datavetenskap
Hur man programmerar TDDC66 Datorsystem och programmering Föreläsning 3 Peter Dalenius Institutionen för datavetenskap 2014-09-05 Översikt Problemlösning: Hur ska man tänka? Datatyper Listor (forsätter
Introduktion till programmering. Programspråk och paradigmer
Introduktion till programmering Programspråk och paradigmer Vad är ett programspråk? Aprogramming languageis a formal constructedlanguagedesigned to communicate instructions to a machine, particularly
Extramaterial till Matematik Y
LIBER PROGRAMMERING OCH DIGITAL KOMPETENS Extramaterial till Matematik Y NIVÅ ETT Taluppfattning och tals användning ELEV Det finns många olika programmeringsspråk. Ett av dem är Python, som du ska få
F5 Selektion och iteration. ID1004 Objektorienterad programmering Fredrik Kilander
F5 Selektion och iteration ID1004 Objektorienterad programmering Fredrik Kilander fki@kth.se Boolska uttryck Boolska uttryck använder sig av jämförelseoperatorer < > = ==!= Resultatets datatyp är boolean
Tentamen i Introduktion till programmering
Tentamen i Introduktion till programmering Kurskod: Skrivtid: D0009E 09:00-13:00 (4 timmar) Totalt antal uppgifter: 7 Totalt antal poäng: 38 Tentamensdatum: 2014-05-17 Jourhavande lärare: Tillåtna hjälpmedel:
Språket Python - Del 1 Grundkurs i programmering med Python
Hösten 2009 Dagens lektion Ett programmeringsspråks byggstenar Några inbyggda datatyper Styra instruktionsflödet Modulen sys 2 Ett programmeringsspråks byggstenar 3 ETT PROGRAMMERINGSSPRÅKS BYGGSTENAR
MATLAB. Python. Det finns flera andra program som liknar MATLAB. Sage, Octave, Maple och...
Allt du behöver veta om MATLAB: Industristandard för numeriska beräkningar och simulationer. Används som ett steg i utvecklingen (rapid prototyping) Har ett syntax Ett teleskopord för «matrix laboratory»
Föreläsning 2 Programmeringsteknik DD1310. Programmering. Programspråk
Föreläsning 2 steknik DD1310 Python introduktion Variabler Datatyper Aritmetiska operatorer av typer Reserverade ord logiska operatorer If-sats kommentarer betyder att instruera en dator Ett program är
Uppgifter teknik HT17 (uppdaterad v. 40)
Uppgifter teknik HT17 (uppdaterad v. 40) Uppgifterna bedöms inte, de är bara till för att öva. Samarbeta gärna med andra! Du behöver inte skriva ner svaren, men se till att du förstår lösningarna! 1. Det
Föreläsning 2 Programmeringsteknik och Matlab DD1312. Programspråk. Utskrift på skärmen
Föreläsning 2 Programmeringsteknik och Matlab DD1312 Introduktion till python Variabler,datatyper, omvandling av typer sfunktioner Två olika typer av program omvandlar högnivå till lågnivå program: Interpreterande
Platser för att skriva och testa kod online. Workshop om programmering i matematikkurser, version 0.7 senast sparat
Cheat sheets Nedan finns referensblad för fyra olika programmeringsspråk, som kan bli aktuella att använda i matematikundervisning. MATLAB är en välkänd programvara för att göra matematiska beräkningar,
Sätt att skriva ut binärträd
Tilpro Övning 3 På programmet idag: Genomgång av Hemtalet samt rättning Begreppet Stabil sortering Hur man kodar olika sorteringsvilkor Inkapsling av data Länkade listor Användning av stackar och köer
TDP002 Imperativ programmering
TDP002 Imperativ programmering Introduktion till kursen och python Eric Elfving Institutionen för datavetenskap (IDA) Översikt Programmering En introduktion Python Köra och skriva program Python grunderna
Introduktion till programmering D0009E. Föreläsning 9: Tupler och dictionaries
D 0 0 0 9 E Introduktion till programmering D0009E Föreläsning 9: Tupler och dictionaries 1 D 0 0 0 9 E Sammansatta datatyper Strängar Sekvenser av tecken Icke muterbara Syntax: "abcde" Listor Sekvenser
1/15/2013. DD1310/DD1314/DA3009 Programmeringsteknik. Lärandemål... Vilka läser kursen? ...fler lärandemål VARFÖR? Föreläsning 1
Skolan för Datavetenskap och kommunikation DD1310/DD1314/DA3009 Programmeringsteknik Föreläsning 1 Kursinfo Diagnostiskt prov Python-intro: print variabler reserverade ord input kommentarer beräkningar
729G04 Programmering och diskret matematik. Python 2: Villkorssatser, sanningsvärden och logiska operatorer
729G04 Programmering och diskret matematik Python 2: Villkorssatser, sanningsvärden och logiska operatorer Föreläsningsöversikt Vad händer när vi kör vår pythonkod? Programmerare Villkorssatser Jämförelser
Programmering II (ID1019)
ID1019 Johan Montelius Instruktioner Betyg Programmering II (ID1019) 2019-03-08 Svaren skall lämnas på dessa sidor, använd det utrymme som nns under varje uppgift för att skriva ner ditt svar (inte på
DD1310/DD1314/DA3009 Programmeringsteknik LÄRANDEMÅL... Vilka läser kursen? ...FLER LÄRANDEMÅL. Föreläsning 1
Skolan för Datavetenskap och kommunikation DD1310/DD1314/DA3009 Programmeringsteknik Föreläsning 1 Kursinfo Python-intro: print variabler reserverade ord input kommentarer beräkningar datatyper if-satser
732G Linköpings universitet 732G11. Johan Jernlås. Översikt. Repetition. Muddy. Funktioner / metoder. Punktnotation. Evalueringsordning
Varför? 732G11 Linköpings universitet 2011-02-08 Varför? 1 2 3 Varför? 4 5 Medelvärde av 5000 tal Varför? while-loopen int nrofints = 5000; int [] integers = new int [ nrofints ]; int pos = 0; while (
Funktioner. Linda Mannila
Funktioner Linda Mannila 13.11.2007 Vad kan vi nu? Primitiva datatyper Tal, strängar, booleska värden Samlingsdatatyp Listan Utskrift Indata Felhantering Intro till funktioner och moduler Villkorssatsen
Instruktioner - Datortentamen TDDD73 Funktionell och imperativ programmering i Python TDDE24 Funktionell och imperativ programmering del 2
Instruktioner - Datortentamen TDDD73 Funktionell och imperativ programmering i Python TDDE24 Funktionell och imperativ programmering del 2 Hjälpmedel Följande hjälpmedel är tillåtna: Exakt en valfri bok,
Övning2. Variabler. Data typer
Vahid 28 okt 2002 prgk02 Övning2 -Repetition -Variabler -Primitiva typer (+ boolean) -Operatörer +, ++, --, -Typ konvertering -Wrapper klasser -Jämförelse operatörer,(==, =, ,!=,!) -String hur man
Karlstads Universitet, Datavetenskap 1
DAV B04 - Databasteknik KaU - Datavetenskap - DAV B04 - MGö 229 PHP Hypertext Preprocessor Scriptspråk på serversidan Innebär att webbservern översätter php-scripten innan sidan skickas till webbläsaren,
Variabler och konstanter
Variabler och konstanter Deklareras automatisk när man stoppar in data i dem. X = 7 Y = A Z = Kalle Definieras av att de har: ett namn (X) en datatyp (Integer) ett värde (t.ex. 7) Lagras i datorns minne!
732G Linköpings universitet 732G11. Johan Jernlås. Översikt. Repetition. Strukturdiagram. Styra. Algoritmer. Val
732G11 Linköpings universitet 2011-01-26 1 2 3 4 Program recept 1 spaghetti = 100; 2 salt = 1; 3 olja = 5; 4 köttbullar = 8; 5 ketchup = 0,5; 6 koka(salt, spaghetti); 7 micra(köttbullar); 8 Om(micron ==
TDIU01 (725G67) - Programmering i C++, grundkurs
. TDIU01 (725G67) - Programmering i C++, grundkurs Program, datatyper och IO Eric Elfving Institutionen för datavetenskap 7 oktober 2015 Översikt 2/14 Struktur på ett C++-program Köra ett program Variabler
Imperativ programmering. Föreläsning 3
Imperativ programmering 1DL126 3p Föreläsning 3 Imperativa paradigmer Ostrukturerad programmering Strukturerad programmering Procedurell programmering Objektorienterad programmering Klassbaserad programmering
Enjoy Vattenfallsmodellen i funktionella språk
Föreläsning 2 i Programmeringsparadigm Funktionell programmering := variabler pekare sidoeffekter ;...; Fy, fy => bugfree förståeliga korta inga "satser", bara uttryck! Enjoy Vattenfallsmodellen i funktionella
Instruktioner - Datortentamen TDDD73 Funktionell och imperativ programmering i Python
Instruktioner - Datortentamen TDDD73 Funktionell och imperativ programmering i Python Hjälpmedel Följande hjälpmedel är tillåtna: Exakt en valfri bok, t.ex. den rekommenderade kursboken. Boken får ha anteckningar,
Python. Python är, som Scheme, ett interpreterat språk men det finns kompilatorer för Python.
är, som Scheme, ett interpreterat språk men det finns kompilatorer för. När man interpreterar ett språk tillhandahåller man en interpretator som läser sats för sats och försöker tolka den. När man kompilerar
TDDD78, TDDE30, 729A Introduktion till Java -- för Pythonprogrammerare
TDDD78, TDDE30, 729A85 jonas.kvarnstrom@liu.se 2019 Introduktion till Java -- för Pythonprogrammerare Historia: C, C++ 3 Historia: Oak 1 4 1990: Sun Microsystems påbörjade projekt StarSeven Avancerad
Klassdeklaration. Metoddeklaration. Parameteröverföring
Syntax: Class Declaration Modifier Class Body Basic Class Member Klassdeklaration class Class Member Field Declaration Constructor Declaration Method Declaration Identifier Class Associations Motsvarar
Python. Python är, som Scheme, ett interpreterat språk men det finns kompilatorer för Python.
är, som Scheme, ett interpreterat språk men det finns kompilatorer för. När man interpreterar ett språk tillhandahåller man en interpretator som läser sats för sats och försöker tolka den. När man kompilerar
Språket Python - Del 2 Grundkurs i programmering med Python
Hösten 2009 Dagens lektion Funktioner Filhantering Felhantering 2 Funktioner 3 FUNKTIONER Att dela upp program Att dela upp program i mindre delar, funktioner är ett viktigt koncept i programmering. Viktigt
Exempel på typer av datorspråk EXCEL
1 2 TDDB82 Perspektiv på Datateknik Breddgivande föreläsning Datorspråk Programmeringsparadigmer Programmeringsspråk Konstruktioner i programmeringsspråk Litteratur: Brookshear, Computer Science - an overview,
Signalflödesmodellen. Två (gamla) exempel: Kvadratera alla jämna löv.
Strömmar (streams) De sista dagarna objekt med tillstånd modellerades som beräkningsobjekt med tillstånd. Isådana modeller är tiden modelerad (implicit) som en sekvens av tillstånd. För att kunna modellera
(Man brukar säga att) Java är... Denna föreläsning. Kompilering av Java. Historik: Java. enkelt. baserat på C/C++ Allmänt om Java
(Man brukar säga att) Java är... Denna föreläsning Allmänt om Java Javas datatyper, arrayer, referenssemantik Klasser Strängar enkelt baserat på C/C++ objekt-orienterat från början dynamiskt utbyggbart
Imperativ programmering. Imperativ programmering konstruktioner i Lisp. Datastrukturer (kap ) arraystruktur poststruktur
Imperativ programmering konstruktioner i Lisp Imperativ programmering I den imperativa programmeringen skriver vi program satsvist. Datastrukturer (kap.-.) aystruktur poststruktur Iterativa uttryck (avs.)
Introduktion till programmering. Standardfunktioner. Vad används datorer till? Standardfunktioner. Föreläsning 2. Prelude. $ ghci...
Introduktion till programmering Standardfunktioner Tecken och strängar Utskrifter och effekter Föreläsning 2 Prelude Alla fördefinierade funktioner vi använder definieras i modulen Prelude. Denna modul
Vem är vem på kursen. Objektorienterad programvaruutveckling GU (DIT011) Kursbok Cay Horstmann: Big Java 3rd edition.
Institutionen för Datavetenskap Göteborgs universitet HT2009 DIT011 Vem är vem på kursen Objektorienterad programvaruutveckling GU (DIT011) Kursansvarig : Katarina Blom, tel 772 10 60 Rum: 6126 (E-huset)
Lambdas. (och fler design patterns) Objekt-orienterad programmering och design (DIT952) Niklas Broberg, 2017
Lambdas (och fler design patterns) Objekt-orienterad programmering och design (DIT952) Niklas Broberg, 2017 Funktioner En funktion (i programmeringstermer) är en operation som tar ett eller flera argument,
F4. programmeringsteknik och Matlab
Programmeringsspråk Föreläsning 4 programmeringsteknik och Matlab 2D1312/ 2D1305 Introduktion till Java Kompilering, exekvering, variabler, styrstrukturer 1 Ett program är en eller flera instruktioner
Föreläsning 1, vecka 7: Rekursion
TDA 548: Grundläggande Programvaruutveckling Föreläsning 1, vecka 7: Rekursion Magnus Myréen Chalmers, läsperiod 1, 2016-2017 Nytt: Extra labbtillfälle för Grupp B (för att grupp Bs labbtider har på senaste
Föreläsning 3: Booleans, if, switch
TDA 545: Objektorienterad programmering Föreläsning 3: Booleans, if, switch Magnus Myréen Chalmers, läsperiod 1, 2015-2016 Påminnelse om klasser och objekt Boll boll1 = new Boll(5,12); skapar ett nytt
Föreläsning 5 i programmeringsparadigm. Tips kring programmering i Haskell och kring labbarna.
Föreläsning 5 i programmeringsparadigm. Tips kring programmering i Haskell och kring labbarna. Att arbeta med två fönster. Hugs är ju en tolk (interpreter) vilket har stora fördelar vid programutveckling.
TDDD78, TDDE30, 729A Introduktion till Java -- för Pythonprogrammerare
TDDD78, TDDE30, 729A85 jonas.kvarnstrom@liu.se 2018 Introduktion till Java -- för Pythonprogrammerare Historia: C, C++ 3 Historia: Oak 1 4 1990: Sun Microsystems påbörjade projekt StarSeven Avancerad
Dagens föreläsning Programmering i Lisp Fö 7. Sammanfattning funktionell programmering Exempel på funktionella programspråk
1 Dagens föreläsning Programmering i Lisp Fö 7 Kopplingen funktionella programmering och diskret matematik. Jämför vad ni hittills gjort i denna kurs och i den diskreta matematiken, med referenser in i
TDDC30. Kursledning Kursledare: Jonas Lindgren. Labassistent: Jonas Lindgren Labassistent: Niklas Holma Labassistent: Erik Nilsson
TDDC30 Objektorienterad programmering i Java, datastrukturer och algoritmer. Föreläsning 1 Jonas Lindgren, Institutionen för Datavetenskap, LiU På denna föreläsning: Kursinformation Imperativa delen av
Föreläsning 3-4 Innehåll. Diskutera. Metod. Programexempel med metod
Föreläsning 3-4 Innehåll Diskutera Vad gör programmet programmet? Föreslå vilka satser vi kan bryta ut till en egen metod. Skriva egna metoder Logiska uttryck Algoritm för att beräkna min och max Vektorer
Repetition i Python 3. Exemplen fac. Exemplen fac motivering. Exemplen fac i Python
Repetition i Python 3 Exemplen fac Orginalet I Scheme använde vi rekursion för all slags repetition. Efterom Scheme är ett funktionellt språk återsänder alla språkkonstruktioner ett värde men i Python
Instruktioner - Datortentamen TDDE24 och TDDD73 Funktionell och imperativ programmering (i Python)
Instruktioner - Datortentamen TDDE24 och TDDD73 Funktionell och imperativ programmering (i Python) Hjälpmedel Följande hjälpmedel är tillåtna: Exakt en valfri bok, t.ex. den rekommenderade kursboken. Boken
Datastrukturer. Erik Forslin. Rum 1445, plan 4 på Nada
Datastrukturer Vad är en datastruktur? Vad är en datatyp? Primitiva datatyper i Java Icke-primitiva datatyper i Java Minnesexempel med datastrukturer Vektorer i Java Erik Forslin efo@nada.kth.se Rum 1445,