https://ocw.cs.pub.ro/ppcarte/ 2026-05-20T05:46:33+03:00 https://ocw.cs.pub.ro/ppcarte/ https://ocw.cs.pub.ro/ppcarte/lib/tpl/bootstrap3/images/favicon.ico text/html 2026-05-19T15:40:48+03:00 silviu https://ocw.cs.pub.ro/ppcarte/doku.php?id=sidebar&rev=1779194448&do=diff Books * Main * Regulament * Lectures: * TBA * Labs: * Laboratorul 1 - Text editor * Laboratorul 2 - Notații asimptotice și analiză amortizată * Laboratorul 3 - Analiză Amortizată și TDA-uri * Laboratorul 4 - Inducție structurală * Laboratorul 5 - Analiză Probabilistă în Hashing * Laboratorul 6 - Recurențe * Laboratorul 7 - Recurențe 2 * Laboratorul 8 - Arbori Binari de Căutare * Laboratorul 9 - Arbori Echilibrați * Laboratorul 10 - Proble… text/html 2026-05-16T23:16:19+03:00 silviu https://ocw.cs.pub.ro/ppcarte/doku.php?id=fp2025:lab09&rev=1778962579&do=diff Lab 9. Covariance and contravariance In this lab we will be presenting covariance and contravariance for generic types in Scala. Objectives: * get yourself familiar with covariance and contravariance * see the benefits of using these concepts text/html 2026-05-13T21:20:47+03:00 ldaniel https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2026:l10&rev=1778696447&do=diff Lab 10. Functors & Monads 10.0. Understanding Functors and Monads Functor The Functor typeclass represents the mathematical functor: a mapping between categories. In Haskell, Functors are defined as follows: class Functor m where fmap :: (a -> b) -> f a -> f b $(>>=)$ text/html 2026-05-11T23:20:40+03:00 tpruteanu https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2026:haskell:t02&rev=1778530840&do=diff Lambda Calculus Interpreter Deadline: * Temele trebuie submise pe Moodle , în assignment-ul Tema 2. * Pentru întrebări folosiți forum-ul dedicat de pe Moodle . În cadrul acestei teme va trebui să realizezi un interpretor de expresii lambda în Haskell. $( \lambda x.e_1 \ e_2 $$\beta$$\beta$$(\lambda x.\lambda y.(x \ y) \ \lambda x.y)$$\lambda y.(\lambda x.y \ y)$$ y$$\lambda x.y$$\lambda y.$$\lambda a.(\lambda x.y \ a)$$\beta$$ TRUE $$\lambda x.FALSE $$ \lambda x.(NOT \ \lambda y.AND) $$\… text/html 2026-05-11T23:19:00+03:00 tpruteanu https://ocw.cs.pub.ro/ppcarte/doku.php?image=pp%3A2026%3Ahaskell%3Askel.zip&ns=pp%3A2026%3Ahaskell&rev=1778530740&tab_details=history&mediado=diff&do=media text/html 2026-05-06T21:47:56+03:00 ldaniel https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2026:l09&rev=1778093276&do=diff 9. Lazy Evaluation When passing parameters to a function, programming language design offers two options which are not mutually exclusive (both strategies can be implemented in the language): * applicative (also called strict) evaluation strategy:$ n $$ 2$$ parent + 1$$ parent * 2$$ \lvert s_n - s_{n+1} \rvert < e$$ \displaystyle \lim_{n \rightarrow \infty} \frac{F_{n+1}}{F_n} = \varphi$$ F_n$$ \varphi$$ a_{n+1} = a_n + sin(a_n)$$ a_0$$ a_{n+1} != a_n$$ \displaystyle \lim_{n \rightarrow \inf… text/html 2026-05-02T21:34:09+03:00 cosmin.asavoae https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2026:scala:l05&rev=1777746849&do=diff Lab 5. Data types in Scala Objectives: * get familiar with algebraic data types * get familiar with pattern matching and recursion with them 5.1 Natural Numbers Given the following implementation of the natural numbers, solve the next few exercises.$ \displaystyle \left(\begin{array}{ccc} 1 & 2 & 3 \\ 4 & 5 & 6 \\ 7 & 8 & 9 \\ \end{array}\right)$$ \displaystyle 2 * \left(\begin{array}{ccc} 1 & 2 & 3 \\ 4 & 5 & 6 \\ 7 & 8 & 9 \\ \end{array}\right) = \left(\begin{array}{ccc} 2 & 4 & 6 \\… text/html 2026-05-02T10:58:00+03:00 silviu https://ocw.cs.pub.ro/ppcarte/doku.php?id=fp2025:hw3&rev=1777708680&do=diff Homework 3: 5-in-a-row In this homework, you will implement functionality which will allow you to design a completely functional 5-in-a-row game. About 5-in-a-row The game: * can be played on a square board of any size larger or equal to 5. * text/html 2026-05-02T10:49:08+03:00 silviu https://ocw.cs.pub.ro/ppcarte/doku.php?image=fp2025%3Anew-hw03-five-in-a-row.zip&ns=fp2025&rev=1777708148&tab_details=history&mediado=diff&do=media text/html 2026-04-30T08:54:21+03:00 ldaniel https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:haskell-environment&rev=1777528461&do=diff Haskell Environment Setup Primul pas spre a putea învăța Haskell este să avem o modalitate de a rula codul scris. Puteți descărca platforma Haskell de aici (Windows/OS X/Linux) sau puteți căuta pachetul “ghc” în repourile distribuției voastre. text/html 2026-03-30T20:13:25+03:00 ldaniel https://ocw.cs.pub.ro/ppcarte/doku.php?image=pp%3A2026%3Ascala%3Atema1_pp_2026_skel_v3.zip&ns=pp%3A2026%3Ascala&rev=1774890805&tab_details=history&mediado=diff&do=media text/html 2026-03-27T18:55:35+03:00 ldaniel https://ocw.cs.pub.ro/ppcarte/doku.php?image=pp%3A2026%3Ascala%3Atema1_pp_2026_skel_v2.zip&ns=pp%3A2026%3Ascala&rev=1774630535&tab_details=history&mediado=diff&do=media text/html 2026-03-25T19:04:20+03:00 ldaniel https://ocw.cs.pub.ro/ppcarte/doku.php?image=pp%3A2026%3Ascala%3Atema1_pp_2026_skel_v1.zip&ns=pp%3A2026%3Ascala&rev=1774458260&tab_details=history&mediado=diff&do=media text/html 2026-01-19T13:01:30+03:00 dmihai https://ocw.cs.pub.ro/ppcarte/doku.php?image=aa%3Alab%3Asol%3Akernelization-sol.zip&ns=aa%3Alab%3Asol&rev=1768820490&tab_details=history&mediado=diff&do=media text/html 2026-01-19T12:58:06+03:00 dmihai https://ocw.cs.pub.ro/ppcarte/doku.php?image=aa%3Alab%3Agraph-example.zip&ns=aa%3Alab&rev=1768820286&tab_details=history&mediado=diff&do=media text/html 2025-12-30T14:26:44+03:00 ldaniel https://ocw.cs.pub.ro/ppcarte/doku.php?image=lfa%3A2025%3Aproiect%3Alfa2025_skel_etapa2_v3.zip&ns=lfa%3A2025%3Aproiect&rev=1767097604&tab_details=history&mediado=diff&do=media text/html 2025-12-22T15:20:13+03:00 ldaniel https://ocw.cs.pub.ro/ppcarte/doku.php?image=lfa%3A2025%3Aproiect%3Alfa2025_skel_etapa2_v2.zip&ns=lfa%3A2025%3Aproiect&rev=1766409613&tab_details=history&mediado=diff&do=media text/html 2025-12-15T15:04:14+03:00 dmihai https://ocw.cs.pub.ro/ppcarte/doku.php?image=aa%3Alab%3Asol%3Asol.zip&ns=aa%3Alab%3Asol&rev=1765803854&tab_details=history&mediado=diff&do=media text/html 2025-12-15T14:29:34+03:00 dmihai https://ocw.cs.pub.ro/ppcarte/doku.php?image=aa%3Alab%3Alab.zip&ns=aa%3Alab&rev=1765801774&tab_details=history&mediado=diff&do=media text/html 2025-12-09T23:23:30+03:00 dmihai https://ocw.cs.pub.ro/ppcarte/doku.php?image=aa%3Atext_editor.zip&ns=aa&rev=1765315410&tab_details=history&mediado=diff&do=media