18A40 2 18C20 2 Scala 2 UDC 004.424 2 УДК 004.424 2 16T1 1 16T15 1 Frobenius monads 1 adjoint functors 1 cofirm comodules 1 declarative programming 1 effects 1 embedding 1 firm modules 1 logical programming 1 monad 1 monads 1 object-oriented language 1 pairing of functors 1 pairing of functors; adjoint functors; weak monads and comonads; \(r\)-unital monads; \(r\)-counital comonads 1 program transformation 1 programing language 1 separability 1 term 1 unification 1 weak (co)monads 1 вбудовування 1 декларативне програмування 1 ефекти 1 логічне програмування 1