Teoria typov

[ApokalypS]

ach jaj.. :/
to co boli za otazky.. nemal som ani sajna, co pisat..
priklad som si samozrejme vytiahol presne taky, aky som nechcel..
dufam, ze ostatni mali viac stastia..

prisiel som, videl som, odisiel som..

[trek]

takze prave som prisiel zo skusky a moje otazky boli:

pr: pomocov Churcovho numeralu c0 a funkcie succ odvodit postupne az po succ c2

teoria: netypovany jazyk NBL a netypovane aritmeticke operacie
          typovanie referencii a typova bezpecnost

celkom stastnu ruku som mal

priklad a prva teoreticka v pohode...pri tom typovani referencii som len uviedol nejake veci o referenciach co ma napadli ale typovanie som si uz velmi nevedel...ale novitzka ma trochu naviedla, trochu pomohla trochu sme pokecali a nakoniec A  

[ApokalypS]

a dalsi ako?

[trek]

no neviem ja som isel druhy a ta co bola predo mnou tiez spravila

[ApokalypS]

asi myslis Jožku, tak o nej nebolo pochýb

[trek]

asi myslis Jožku, tak o nej nebolo pochýb

ee ona isla az po mne

[ApokalypS]

jaj, tak potom Emka Demeterová

[Snow]

Takze mam po skuske a som rad, ze to mam za sebou 
O1:Netypovany lambda kalkul, definicia, vyhodnotenie
O2:Konstrukcia let, definicia, vyuzitie
Pr.Dokaz, ze |consts(t)|<=size(t).

Skusal ma Mihaly, priklad som celkom mal a aj on bol spokojny. Sem tam nejaka otazka na doplnenie ale ok. Konstrukcia let som si len par veci pamatal, nieco som si aj zle pamatal, no naviedol ma na spravny smer a tak som to nejak celkom ok dopovedal potom. A Lambda kalkul som si pomylil s NBL a vsetko o NBL som pisal.. A potom mi povedal ze syntax je ta ista len nieco chyba v lambda kalkule. Uplne mi vypadlo, no potom som tam dal, ze je tam abstakcia a este ze tam ma byt tt. A este sa spytal, ze do kedy redukujeme term. Tiez som nevedel.. Okno.. No pomohol mi a bola to proste hodnota. A tak sumarum ze priklad bol dobre, konstrukcia let tiez a ze na kalkul som nakoniec prisiel, tak ci staci Bcko. a ja ze samorejme. Takze B(82). Drzim prsty!!!

A este co som si vsimol otazky od vedla:
Pr. urobit typovaci strom a konstany z termu...
Otazka: Detypovanie(erase), definicia a asi vyuzitie

[puq]

mihaly je typek k nemu sa dostat a je vymalovane

[puq]

inac ludia co vcetko je na tom oficialnom tahaku?

[Killian]

Zatial som jediny stale, co ide 28.1?  To bude sranda, ked pridem sam na skusku. Zial inac mi to nevychadza, zda sa akoby sa vsetci vyucujuci dohodli tak aby sa prekryvali terminy skusiek... A pokial viem, tak je to posledny termin zaroven - tak snad nebude problem...

[ApokalypS]

inac ludia co vcetko je na tom oficialnom tahaku?

v podstate vsetko.. vela pravidiel, asi 5 stran to malo, ked si dobre pamätam
hacik bol v tom, ze nebolo napisane, coho sa tykali, to musis vediet pouzit sam..

[ApokalypS]

Zatial som jediny stale, co ide 28.1?  To bude sranda, ked pridem sam na skusku. Zial inac mi to nevychadza, zda sa akoby sa vsetci vyucujuci dohodli tak aby sa prekryvali terminy skusiek... A pokial viem, tak je to posledny termin zaroven - tak snad nebude problem...

neviem, ci sa dohodli, ale je to riadna blbost, ze to tak dali..
no problemy nerobi prof. Novitzka nerobi, aspon pokial viem.. len chce, aby sme to vsetko vedeli.. a malo toho teda nieje..

[puq]

inac ludia co vcetko je na tom oficialnom tahaku?

v podstate vsetko.. vela pravidiel, asi 5 stran to malo, ked si dobre pamätam
hacik bol v tom, ze nebolo napisane, coho sa tykali, to musis vediet pouzit sam..

cize tam boli vsetky syntaxe, vyhodnocovacie pravidla a typovacie pravidla? a mali aspon svoje pomenovania? a este islo to poporadi jak to bolo v prednaskach?

[ApokalypS]

tym si nie som isty.. asi som to tu mal napisat po predtermine.. fakt si nepamätam

[puq]

okey vpohode mozno este niekto napise

[trek]

ked si dobre pamatam tak tam boli vsetky pravidla (odvodzovacie typovacie a neviem este ake ) ..pravidla isli postupne tak ako boli uvedene v prednaskach..a v zatvorke bol uvedeny nazov pravidla...ale syntax tam asi nebola

[dungeo]

a boli tam aj take veci ako napr fls,  tru, and a tak? lebo to by bol asi dost problem naucit sa naspamat a nepopliest to...

[trek]

jj toto myslim ze bolo aj churchove numeraly a tak

[puq]

no to bude na tahaku...to su typovacie a vyhodnocovacie pravidla...len este neviem ci aj syntaxi boli na tahaku

[TradeMark]

Stvrta prednaska, tie srandovne vety treba vediet?

[puq]

ja som sa ich neucil...jedine co som sa naucil tie vlastnosti a zhruba aby som vedel povedat co znamenaju

[ApokalypS]

jaj decka, tak uz to mam aj ja za sebou.. stastne, nestastne :/

som si nemyslel, aku drzost v sebe mame, kolko roznych sposobov si najdeme na opisanie par viet..
a pritom to vobec nebolo potrebne..
ked mi zapisovala znamku do indexu, tak som jej povedal, ze asi az prehnane ohodnotila moje vedomosti a jej odpoved bola, ze o tie vobec neslo.. chcela len, aby sme to pochopili.. a ja som aj - ked som sedel pred nou.. neskoro :/

[puq]

ja som dopadle vpohode hoci kus na picu dojebal som tu najlahsiu vec a to zistovanie konstant v terme ) cize "len" 89B ale inac spoko

[TradeMark]

B 87, inac vsimol si niekto totu spionku vpredu co tak nenapadne opisovala . V kazdom  pripade opisat sa da v pohode ale bude vam to prd platne lebo pisomna cast je iba priprava pre vas, samotna skuska je ustna.

Mal som inac referencie a detypovanie.