3 Practice

Thus, in contrast to direct SQL text manipulation, database managemant systems can be approached also in declarative, type safe ways. More specifically, they may be implemented as domain specific embedded languages -- using e.g. Haskell for their host language. See the examples of