Differences
This shows you the differences between two versions of the page.
|
pp:22:teme:haskell-prezentare [2022/05/09 19:52] mihnea.muraru |
pp:22:teme:haskell-prezentare [2022/05/09 19:54] (current) mihnea.muraru |
||
|---|---|---|---|
| Line 27: | Line 27: | ||
| Etapa 3 | Etapa 3 | ||
| - | * cum ai definit clasa Graph, parametrizată cu tipul concret sau cu constructorul de tip (**întrebare obligatorie**, vedeți și spreadsheet)? | + | * cum ai definit clasa care generalizează conceptul de graf: parametrizată cu tipul concret sau cu constructorul de tip (**întrebare obligatorie**, vedeți enunț și spreadsheet)? de ce? |
| * R: parametrizată cu constructorul de tip în sine, pentru a expune tipul etichetelor nodurilor | * R: parametrizată cu constructorul de tip în sine, pentru a expune tipul etichetelor nodurilor | ||
| - | * care este tipul funcției nodes, presupunând că e definită în interiorul clasei (**întrebare obligatorie**, vedeți și spreadsheet)? | + | * care este tipul funcției nodes, presupunând că e definită în interiorul clasei (**întrebare obligatorie**, vedeți enunț și spreadsheet)? |
| * R: <code haskell> | * R: <code haskell> | ||
| nodes :: Graph g => g a -> S.Set a | nodes :: Graph g => g a -> S.Set a | ||
| Line 35: | Line 35: | ||
| * ce face fromInteger din Num? | * ce face fromInteger din Num? | ||
| * de ce nu este suficientă instanța implicită de Eq obținută cu deriving? | * de ce nu este suficientă instanța implicită de Eq obținută cu deriving? | ||
| + | * R: compară prea strict reprezentările simbolice | ||
| * care a fost cea mai generală funcțională, care a permis implementarea tuturor celorlalte funcții din AlgebraicGraph? | * care a fost cea mai generală funcțională, care a permis implementarea tuturor celorlalte funcții din AlgebraicGraph? | ||
| * R: extend | * R: extend | ||
| Line 42: | Line 43: | ||
| * R: S.map poate reduce dimensiunea mulțimii => compararea lungimii cu 1 | * R: S.map poate reduce dimensiunea mulțimii => compararea lungimii cu 1 | ||
| * cum au simplificat mulțimile implementarea lui isModularPartition? | * cum au simplificat mulțimile implementarea lui isModularPartition? | ||
| - | * R: la fel ca la isModule | + | * R: similar cu isModule |
| * cum ai determinat partiția maximală? | * cum ai determinat partiția maximală? | ||
