- Stahuj zápisky z přednášek a ostatní studijní materiály
- Zapisuj si jen kvalitní vyučující (obsáhlá databáze referencí)
- Nastav si své předměty a buď stále v obraze
- Zapoj se svojí aktivitou do soutěže o ceny
- Založ si svůj profil, aby tě tví spolužáci mohli najít
- Najdi své přátele podle místa kde bydlíš nebo školy kterou studuješ
- Diskutuj ve skupinách o tématech, které tě zajímají
Studijní materiály
Hromadně přidat materiály
Funkc_prgr_pisemka%20_15_6_00
IA014 - Funkcionální programování
Hodnocení materiálu:
Zjednodušená ukázka:
Stáhnout celý tento materiálnován -pravidlem
xyz u x(y z u)
je ekvivalentní kombinátorovémutermu
(A) B B B (B) B B (C) B (D) B (C B B) (B B B) (E) C (B B(B B B)) B)
Odpov¥¤:
7
V následujícím prográmku na syntaktickou analýzu lambda-term·seza
atomické povaºují ty termy(atomy),
které jsou prom¥nné, abstrakce nebo jsou uzav°enyvzávorkách. Obecný lambda-term (term)v²akm·ºe být
i aplikací n¥kolika atomických term· zapsaných za sebou, nap°íklad (\x.x y) y (\y.z). Napi²te denici parseru
term, která je v ukázce vynechaná.
data Term = Var Char | App Term Term | Lam Char Term
term :: Parser Term
term = ...
atom :: Parser Term
atom = var +++ lam +++ paren
var :: Parser Term
var = variable >>= return . Var
lam :: Parser Term
lam = symbol "\\" >> variable >>= \x -> symbol "." >> term >>= return . Lam x
paren :: Parser Term
paren = bracket (symbol "(") term (symbol ")")
variable :: Parser Char
variable = token ident >>= return . head
Vloženo: 25.04.2009
Velikost: 90,60 kB
Komentáře
Tento materiál neobsahuje žádné komentáře.
Copyright 2024 unium.cz