An interactive state monad example

A common problem among information systems is the storage and maintenance of permanent information identified by a key. Such systems are typically known as data base engines or simply as data bases. Today the systems information market is full of solutions that provide mass storage capacities implemented in different operating system and with great amounts of extra functionalities. In this paper we will focus on the formal high level specification of data base systems in the Haskell language. We begin by introducing a high level view of a data base system with a specification of the most common operations in a functional point of view. We then augment this specification by lifting to the state monad which is then modified once again to permit input/output operations between the computations

PODEM AS DÍVIDAS DO BES SER DO NOVO BANCO?

No ponto de vista jurídico existe um velho instituto jurídico que se chama “Levantamento ou desconsideração da personalidade colectiva” que pode permitir – por palavras breves – imputar as dívidas do BES ao Novo Banco. Também é possível nos socorrermos do instituto do Abuso do Direito (art. 334º do Código Civil): “É ilegítimo o exercício de um direito, quando o titular exceda manifestamente os limites impostos pela boa fé, pelos bons costumes ou pelo fim social ou económico desse direito”. Aplica-se o art. 11º/8 do Código Penal: «8 - A cisão e a fusão não determinam a extinção da responsabilidade criminal da pessoa colectiva ou entidade equiparada, respondendo pela prática do crime: § a) A pessoa colectiva ou entidade equiparada em que a fusão se tiver efectivado; § e § b) As pessoas colectivas ou entidades equiparadas que resultaram da cisão». § In the legal point of view there is an old legal principle called "Lifting or disregard of legal personality" which can allow - for brief words - charge the debts of the BES to the New Bank. It is also possible in socorrermos Law Abuse Institute (Article 334 of the Civil Code.): "It is illegitimate exercise of a right, where the proprietor clearly exceed the bounds of good faith, morality or the social or economic purpose this right ". Applies the art. 11/8 of the Penal Code: "8 - The split and the merger does not determine the extinction of criminal liability of the legal or related entity person, accounting for the crime: § a) The legal person or related entity in the merger if paid up; § and § b) A legal entity or similar entities resulting from the split. "