1673068216

f p = [e | q]

f- = D

in

concatMap f 1

[e | q] = [e | q. True]

3 Wykład 11.03.2008

3.1 Dwa fajne sposoby na generowanie liczb pierwszych

primes :: fInteger]
primes = map head $ iterate (A (x:xs) -*■ [y | y <- xs, v ‘mod‘ x +
0]) [2..]
primes :: [Integerl primes = 2 : [n | n <-	f3..|, MI (A p -* n 'mod‘ p t 0)
	(takeWhie (A p -> p xp < n) primes)]

3.2    Fajny sposób na ciąg fibonacciego

też był omówiony i pokazany ...

3.3    Monoid (półgrupa z jedynką)

(X,<B,e)

•    łączna: (x ® y) © 2 = x © (y © z)

•    ma obustronny element neutralny: e © x = x

x®e = x

3.4    Klasy typów

class Monoid a where

(xx) :: a -»■ a -»■ a e a

instance Monoid Integer where

(xx) = (+) e = 0

class Show a where show : : a -*■ Show

2