Informatyka UJ forum

Rogal

Podobno ma kiedyś być kolokwium z Programowania Funkcyjnego i Logicznego z Moczuradem. Ktoś wie kiedy ma ono być i z jakiego zakresu?

rafal

Ostatnio mówił, żebyśmy się narazie nie przejmowali ;) Więc pewnie jakoś w grudniu będzie za kilka tygodni. Co do zakresu to na pewno nas poinformuje, ale pewnie to co na ćwiczeniach było..

mateo

ma ktos moze jakiekolwiek notatki z tego przedmiotu - najlepiej w wersji elektronicznej (kody programow w haskellu itp.) ?

ZenonZajebich

[link widoczny dla zalogowanych]

mateo

dzieki.

a z czego w ogole ma byc kolokwium ? tzn co poza haskellem ma sie pojawic?

Spectro

Tylko Haskell. Z tym, że bez monad.

Pawel Str.

Pewnie znowu foldr-y.

morgiane

są już wyniki.

Spectro

Są już wyniki końcowe z ocenami.

dzendras

nybble

[link widoczny dla zalogowanych]
wie ktoś jak te zadanka zrobić? podzielcie się wzorcówką... :)
zwłaszcza to 3. mnie denerwuje, bo wygląda na dość proste... a tu zonk, coś nie idzie :|

teon

Jesli chodzi o 2. pierwsze, to AFAIK sa to wbudowane funkcje haskella, jedyne jakie sa dostepne do Monad w Preludium:

1.
lista = sequence
Otypienie: Monad a => [a b] -> a [b]

2.
petlafor l f = mapM f l
(zwykle mapowanie monadowe)

Dokladny kod obu tych funkcji jest w preludium

3.
% Pomocniczy predykat reqR(X, Y) zwraca dla LISTY przedmiotow X, liste prerekwizytow Y
reqR( [], []).
reqR( [X|XS], S ) :-
course(X,Y), % bierzemy liste prerekwizytow X jako Y
reqR(Y,Z), % wywolujemy sie rekurencyjnie na tej liscie prerekwizytow i zostawiamy w Z
append(Y,Z,R), % scalamy liste Y z jej prerekwizytami w R
reqR(XS, T), % wywolujemy sie rekurencyjnie na reszcie listy i zwracamy do T
append(R, T, S). % scalamy bierzace rekursje z T dostajac wynik - S

reqs(X,Y) :- reqR([X],Y).

W trzecim jest taki "bug" ze w liscie Y znajda sie niektore przedmioty kilka razy, ale dr. Moczurad powiedzial ze akceptuje takie rozwiazanie, jesli chcemy 'czyste', tzn ze wszystko jest pojedynczo, to musimy napisac wlasny predykat scalania append, taki, zeby scalal bez powtorzen.

nybble

dzięki wielkie, teon ;)
moja nadzieja na przyszłość odżyła ^^

Spectro

Dodam od siebie, że na kolokwium inaczej zrozumiałem zadanie 3. niż było to w zamierzeniach dr. Moczurada, ale wobec nie do końca oczywistej treści rozwiązanie poniższe (zwracające po kolei prerekwizyty, a nie ich listę) również było traktowane jako prawidłowe:

teon

Co więcej, można teraz wykorzystać Prologowe "setof" i używając funkcji spectra, zrobić poprawny w sensie intencji dr Moczurada predykat:

req1(X, Y) :- setof( A, reqs(X,A), Y ).