![]() They are useful for regression testing and configuration control. An invariant may contain one or more conditions. Preconditions or postconditions may belong to the same class specifically created for this purpose. It allows to record sources in a convenient way, and EiffelStudio is furnished with special mechanisms to this end. This is how the double check is realized. On the other hand, the supplier shall input the obtained element associated with the delivered key into the table and if it is completed, he shall not do anything. For example, the client shall be sure that a table and the key field are not empty, so as to be able to update the table by inserting an element associated with this key. So, the client, having requested something from the supplier, undertakes to comply with preconditions, whereas the supplier undertakes to realize postconditions. It is based on (which is evident from the name) the contract interaction similar to business relationships. They refer to the mechanism of contract-based programming as a proof of this. Meanwhile, Eiffel developers claim that software they created is exactly of such kind. There is an established opinion that a software product cannot be free from bugs, if only it is not “Hello, World”. And this is wonderful! Although, what makes the language really delicious is the possibility of contract-based programming. Apparently, Bertrand, following his older colleague Niklaus Wirth, applied in his language the expressiveness typical for languages of the latter: Pascal, Ada, Oberon. This system includes integrated code handling tools typical for modern programming environments, libraries for every occasion, etc. Except for the language, the programmer is provided with a powerful integrated development environment - EiffelStudio. For example, Visual Eiffel open source project was engaged therein, but stopped its development in 2007. Meanwhile, there are implementations which generate the binary code directly from Eiffel language. In original language implementation (by Eiffel Software, which we will regard further in the article) a code, after passing the intermediate level, is transformed into text in C language and only then the compiler of the latter creates the binary code of the executable program such approach allowed making language platform-independent. Because the most famous programming languages are open and/or free technologies: Python is an open source product C/C++ have been widely recognized since the moment of creation due to their megacompany developer - AT&T (Bell Labs), who distributed them for free (because at that moment it had no right to sell software) Pascal, Lua are the results of university group research and thus free… On the other hand, commercial languages are not commonly used because of their closed nature, the exception might be only Objective-C first licensed by NeXT, and then, hereditarily, by Apple.Įiffel is used in serious developments which affect people’s lives: in aerospace industry, in bank and financial sector… Eiffel Software clients are Boeing, Rosenberg and EMC. It means that this language is not very popular. At that, it should be considered, that it specializes only in development and sale of the language and programming tools which use it. This company is among top 500 most successful independent businesses in the world. In the same year, Bertrand founded ISE (Interactive Software Engineering), the company engaged in language development and support, later (in 1993) the company was renamed into Eiffel Software. This language can be characterized by a mechanism of memory control (garbage collection), multiple inheritance, generalized programming, static type checking, and agents (closures and lambda expressions). But his main merit is creation of ОО-language with contract-based programming feature - Eiffel developed by him in far-off 1985. This language aroused my genuine interest.īertrand Meyer is considered to be one of the top object technology specialists, moreover, he was one of their originators and wrote a great deal of books regarding this topic. ![]() Petersburg ITMO University professor Bertrand Meyer, an author and creator of Eiffel language at the same time. For the following reason.Įverything started when my eye was caught by the publication of St. What should be preferred? Java? Mono? Too boring. ![]() Working in Mac OS, I set my mind to selecting a tool for creation of platform-independent programs. For many years, I have been a fan of development for Windows and wrote pretty much about it to this best computer magazine ever.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |