Семинар 6 (разное)

[denisenes]

Задача 5: Забавно, language server автоматически смог переписать твое решение транзитивности на такое

trans :: Eq a => [a] -> BinaryRelation a -> Bool
trans a b = and [not (((x, y) `elem` b) && ((y,z) `elem` b) && notElem (x,z) b) | x<-a, y<-a, z<-a]

По-моему оно даже попонятнее выглядит) Анализаторы кода творят чудеса!

В остальном вроде все корректно Оценка за задачки: 5

[Hom4ikTop4ik]

Согласен, Haskell сам по себе магия) А анализаторы тем более