- 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álD1.001
Zkou²ka I014
15. £ervna 2000 Jméno a p°íjmení: :::::::::::::::::::::::::::
UO: ::::::::: login: ::::::::::::::::::
1
Typ denovaný
data Bitlist = Nil | ConsOn Bitlist | ConsOff Bitlist
lze v impredikativním typovém systému polymorfního lambda kalkulu vyjád°it
(A) Bitlist = 8: ! ( ! ) ! (B) Bitlist = 8: ! ( ! ) ! ( ! ) !
(C) Bitlist = 8: ! ( ! ) ! ( ! ) ! (D) Bitlist = 8:( ! ) ! ( ! ) !
(E) Bitlist = 8: ! ( ! ) ! ( ! )
Odpov¥¤:
2
Máme dánykonstanty 0:: Nat, succ :: Nat ! Nat. P°i odvozování typu výrazu
let f = xy:x(xy) in f f succ 0
s vyuºitím typového kontextu =ff :: 8:( ! ) ! ! g pouºijeme na dvou místech pravidlo (spec).
Vt¥chto dvou místech jsou pouºity substituce
(A) [Nat=];; [(Nat ! Nat) ! Nat=]
(B) [((Nat ! Nat) ! Nat ! Nat) ! Nat ! Nat=];; [Nat ! Nat=]
(C) [Nat=];; [Nat ! Nat=]
(D) [Nat ! Nat=];; [(Nat ! Nat) ! Nat ! Nat=]
(E) [Nat=];
Vloženo: 25.04.2009
Velikost: 90,60 kB
Komentáře
Tento materiál neobsahuje žádné komentáře.
Copyright 2024 unium.cz