Teoria typov

[puq]

no na nic jak na nic lepsie je si to napisat a osviezit pamat...ale ide hlavne o to ci tomu rozumies a to sa mi pacilo a ja som mal otazky:

priklad klasika nejaky succ(v nom if term) a zistit ci je typovo spravny a zistit konstanty termu
I.otazka - vlastnosti vyhodnotenia a substitucie jednoducho typovaneho lambda kalkulu
II.otazka - pripisanie a jeho vlastnosti

[ApokalypS]

tak napisem aj ja:
priklad churchove cisla: sucs c2
a teoria: jazyk NBL a varianty..

no hej, osviezit pamät, ale az tak? to bolo podla mna az prehnane..

[dungeo]

Teoria:
Zoradenie a jeho formalizacia
Enumeracne typy
Priklad - daky if term, tusim if x then false else x, kde x:Bool - odvodit typovu spravnost a potom vyhodnotit dosadenim konstanty true

Bol som u tetusky, vedel som prakticky vsetko, len raz som sa kus zasekol pri tych enumeracnych typoch - vdaka Bohu a tete Novickej A 98 

[zuzanka]

Funkcie na termoch, co su v prvej prednaske, budu na tahaku?

[puq]

na tahaku su vsetky vyhodnocovacie aj typovacie pravidla...syntaxe NIE a funkcie na termoch som tam nevidel ale som ich ani nehladal, ale nepredpokladam zeby tam boli, ved tie funkcie su primitivne

[zuzanka]

na tahaku su vsetky vyhodnocovacie aj typovacie pravidla...syntaxe NIE a funkcie na termoch som tam nevidel ale som ich ani nehladal, ale nepredpokladam zeby tam boli, ved tie funkcie su primitivne

dik...nevim co stresujem. Ked tak pozeram odozvy zo skusky, klidek pohodka

[ApokalypS]

jj, pohoda.. ved su ine skusky, na ktore treba stresovat

[zuzanka]

jj, pohoda.. ved su ine skusky, na ktore treba stresovat

este ze si mi to pripomenul

[Alex]

boli sa na skuske aj priklady typu: Strukturalna Indukcia, Pattern Matching, priklady v Ocaml ... ? ? ?

[puq]

boli sa na skuske aj priklady typu: Strukturalna Indukcia, Pattern Matching, priklady v Ocaml ... ? ? ?

nie nie nevidel som zeby niekto take mal...sa mi zda ze len 2-4 cviko priklady...ked ne len 2-3 a potom este vyhodnetenie termu pri sucinovom type

[dalcasian]

ja idem 27 a sme tam dvaja , tak len tu pekne napiste co ste mali 

[antikleia]

Len zopar otazok: Referencne typy, Curry-Howardova korespondencia, rozdiely medzi Curryho a Churchovym typovanim l-kalkulom

priklad v pohode, vyhodnotit term, zistit jeho velkost, pripadne vyhodnotit term ktory bol sucinoveho typu, bol aj ten priklad na sucinovy typ Muz, Zena

[Dominico]

Ja som mal
z I.skupiny- jednoducho typovany λ-kalkul,funkcny typ
z II. skupiny- zoznamy
Priklad- f:Bool→Bool├ λx:Bool.f (if x then false else x): Bool→Bool
a) odvodit typovu spravnost
b) vyhodnotit dosadenim hodnoty true

[ApokalypS]

..
bol aj ten priklad na sucinovy typ Muz, Zena

to co?