Vizsga

26.1. K�rd�s.
Valaki legyen olyan kedves �s ossza meg velem, hogy nagyj�b�l milyen k�rd�sek v�rhat�k SML-b�l ,,nagyfeladat'' c�m�n! Nem baj, ha van hozz� valami megold�si �tmutat� is ... a honlapon ugyanis csak Prolog vizsgafeladatokat tal�ltam. :(

26.1. V�lasz.
Oktat�: Vizsgap�ld�kat minden �vben t�bb el�ad�son is megbesz�lt�nk. Sok megjegyz�sekkel f�szerezett SML-program van a <http://dp.iit.bme.hu/dp00s/sml-ea> c�men a honlapon 2001-b�l. Sok vizsgajelleg� p�lda van a jegyzet 4. kiad�s�ban is f�ggel�kben.

26.2. K�rd�s.
Az ETS-ben sok olyan feladat van, hogy valamilyen t�pusegyenletet kell megoldani. Ilyesmir�l az el�ad�sokon ritk�n volt sz�, a di�kon legal�bbis alig van nyoma. A jegyzetb�l sem sok der�l ki a sz�momra. Akkor most kell ez a z�h�ra �s ut�na a vizsg�ra?

26.2. V�lasz.
Oktat�: A kor�bbi �vekhez k�pest 2003. �ta kevesebbet foglalkozunk t�pusegyenletekkel. A z�h�n �s a vizsg�n is csak egyszer� k�rd�sek lesznek a ebb�l a t�mak�r�b�l. Term�szetesen a t�pusok, t�puskifejez�sek, t�pusegyenletek fogalm�t ismerni kell, hiszen kell� m�lys�g� ismeret�k n�lk�l az er�sen t�pusos SML nyelven programot �rni sem lehetne.

26.3. K�rd�s.
Tegnap a vizsg�n elfelejtettem megk�rdezni, hogy mi is volt a m�sodik hiba az al�bbi sml feladatban. Az ord "a" volt az egyik, mert az ord t�pusa char -> int, �s az "a" string t�pus�. De mi volt a m�sik?
(ord #"a", 2=3, Math.sin) = (ord "a", true, Math.cos)

26.3. V�lasz.
Hallgat�: Math.sin = Math.cos a hiba, mert f�ggv�nyek egyenl�s�ge nem vizsg�lhat� (f�ggv�ny�rt�k t�pusa soha nem egyel�s�gi t�pus).


Deklarat�v programoz�s - FP-GYIK
2005. m�rcius 1.