Author Topic: Teoria typov  (Read 16546 times)

puq

  • Hero Member
  • *****
  • Posts: 4065
    • View Profile
Re: Teoria typov
« Reply #50 on: 13.01.2010, 19:46:17 »
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

  • Hero Member
  • *****
  • Posts: 5801
  • apokalyps(a) sa mení..
    • View Profile
    • projekt k mojej diplomovke..
Re: Teoria typov
« Reply #51 on: 14.01.2010, 00:12:20 »
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..
80% mozgu človeka tvorí kvapalina, v mojom prípade brzdová..

CHCEM S5 :zuzka: STARY IS :zuzka: !!!!
http://www.tu-ke.com/forum/o-nicom/otvoreny-list-vedeniu-firmy-dupress-(dodavatel-mais)/

dungeo

  • Full Member
  • ***
  • Posts: 220
  • ked avatar, tak avatar :P
    • View Profile
Re: Teoria typov
« Reply #52 on: 14.01.2010, 00:31:11 »
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  8)
Základom automatizácie tvorby jazykových procesorov je ekvivalencia reprezentácie jazyka generovaním a rozpoznávaním.

zuzanka

  • Sr. Member
  • ****
  • Posts: 281
  • But my dreams, they aren't so empty....
    • View Profile
Re: Teoria typov
« Reply #53 on: 18.01.2010, 06:11:00 »
Funkcie na termoch, co su v prvej prednaske, budu na tahaku?
Byt mŕtvy, nebyť.....je sladké preto, že je to omnoho viac než spánok, je to mier, upokojenie, koniec bolesti a trampôt; ale túto vrcholnú slasť, akú možno ľudskému tvorovi dopriať, mŕtva bytosť už neprežíva, necíti.

puq

  • Hero Member
  • *****
  • Posts: 4065
    • View Profile
Re: Teoria typov
« Reply #54 on: 18.01.2010, 07:07:45 »
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

  • Sr. Member
  • ****
  • Posts: 281
  • But my dreams, they aren't so empty....
    • View Profile
Re: Teoria typov
« Reply #55 on: 18.01.2010, 07:40:48 »
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 :)
Byt mŕtvy, nebyť.....je sladké preto, že je to omnoho viac než spánok, je to mier, upokojenie, koniec bolesti a trampôt; ale túto vrcholnú slasť, akú možno ľudskému tvorovi dopriať, mŕtva bytosť už neprežíva, necíti.

ApokalypS

  • Hero Member
  • *****
  • Posts: 5801
  • apokalyps(a) sa mení..
    • View Profile
    • projekt k mojej diplomovke..
Re: Teoria typov
« Reply #56 on: 18.01.2010, 14:45:45 »
jj, pohoda.. :) ved su ine skusky, na ktore treba stresovat
80% mozgu človeka tvorí kvapalina, v mojom prípade brzdová..

CHCEM S5 :zuzka: STARY IS :zuzka: !!!!
http://www.tu-ke.com/forum/o-nicom/otvoreny-list-vedeniu-firmy-dupress-(dodavatel-mais)/

zuzanka

  • Sr. Member
  • ****
  • Posts: 281
  • But my dreams, they aren't so empty....
    • View Profile
Re: Teoria typov
« Reply #57 on: 19.01.2010, 00:03:52 »
jj, pohoda.. :) ved su ine skusky, na ktore treba stresovat
este ze si mi to pripomenul :(
Byt mŕtvy, nebyť.....je sladké preto, že je to omnoho viac než spánok, je to mier, upokojenie, koniec bolesti a trampôt; ale túto vrcholnú slasť, akú možno ľudskému tvorovi dopriať, mŕtva bytosť už neprežíva, necíti.

Alex

  • Full Member
  • ***
  • Posts: 109
    • View Profile
Re: Teoria typov
« Reply #58 on: 19.01.2010, 03:57:00 »
boli sa na skuske aj priklady typu: Strukturalna Indukcia, Pattern Matching, priklady v Ocaml ... ? ? ?

puq

  • Hero Member
  • *****
  • Posts: 4065
    • View Profile
Re: Teoria typov
« Reply #59 on: 19.01.2010, 05:27:14 »
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

  • Newbie
  • *
  • Posts: 28
  • Neskutocne genialna zalezitost...
    • View Profile
Re: Teoria typov
« Reply #60 on: 21.01.2010, 20:22:29 »
ja idem 27 a sme tam dvaja :D, tak len tu pekne napiste co ste mali  :bannana_guitar: :ropebanana:

antikleia

  • Newbie
  • *
  • Posts: 38
    • View Profile
Re: Teoria typov
« Reply #61 on: 23.01.2010, 00:09:21 »
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

  • Newbie
  • *
  • Posts: 23
    • View Profile
Re: Teoria typov
« Reply #62 on: 23.01.2010, 00:33:08 »
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

  • Hero Member
  • *****
  • Posts: 5801
  • apokalyps(a) sa mení..
    • View Profile
    • projekt k mojej diplomovke..
Re: Teoria typov
« Reply #63 on: 23.01.2010, 15:38:08 »
..
bol aj ten priklad na sucinovy typ Muz, Zena
to co? :emot-LMAO:
80% mozgu človeka tvorí kvapalina, v mojom prípade brzdová..

CHCEM S5 :zuzka: STARY IS :zuzka: !!!!
http://www.tu-ke.com/forum/o-nicom/otvoreny-list-vedeniu-firmy-dupress-(dodavatel-mais)/