Blogs

blog Formal Generics in ROUTINE, PROCEDURE, FUNCTION and PREDICATE

There are 4 deferred classes defined in ELKS to represent agents

  ROUTINE  [BASE_TYPE, OPEN_ARGS->TUPLE]
  PROCEDURE[BASE_TYPE, OPEN_ARGS->TUPLE]   
  FUNCTION [BASE_TYPE, OPEN_ARGS->TUPLE, RESULT_TYPE]
  PREDICATE[BASE_TYPE, OPEN_ARGS->TUPLE]   


The OPEN_ARGS is tuple to represent the tuple of arguments which need to be provided at call time.

blog Ephemeral classes

manus_eiffel's picture

I've recently been toying with the idea of ephemeral classes. An ephemeral class is a class which does not have attributes. The immediate benefits of such classes is that their features can be used for objectless calls, the same way we can access constants or external features.

blog Storable and versioning

manus_eiffel's picture

Introduction

Originally Eiffel Software's object serialization was written in C and was proposing the following alternative:

  • basic: the same version of the executable on a particular platform can store and retrieve objects.
  • general: different versions of the executable on a particular platform can store and retrieve objects.
  • independent: different versions of the ex

blog Transient attributes

manus_eiffel's picture

I'm not sure if this feature was noticed by many so I figured out I would write an entry on the matter. Starting with 6.5 we have added the notion of transient attribute to our runtime. Transient attributes are not stored to disk and thus their absence in the storable file means that they can safely be ignored upon retrieval.

It can be useful in many scenarios.

blog Stumbling across errors in language design

The recently floated proposal to add the `across' looping construct to Eiffel seems seriously mistaken.

blogger

Reflexivity, and other pillars of civilization external link

Sat, 02/06/2010 - 03:23

Let me start, dear reader of this blog, by probing your view of equality, and also of assignment. Two questions:  

read more ...

blog Eiffelroom migrated from drupal5 to drupal6

Jocelyn Fiat's picture

Hi Eiffelroom users,

You might not have noticed, but eiffelroom.org (or .com) is now running on drupal6 (before it was drupal5). . We tried to do the best migration as possible, however if you notice any regression/bug, please let us know using the contact page.

blog Working on UTF-8 Eiffel parser

ted_eiffel's picture

I am so excited that I can really push ISE Eiffel compiler to support full Unicode. 6.6 should be the first version to support it.

The first thing I do is parsing UTF-8 source code.


blogger

A couple of loop examples external link

Thu, 01/28/2010 - 02:44

(This entry originated as a post on the EiffelStudio user group mailing list.) 

Here are a couple of actual examples of the new loop variants discussed in the blog entry immediately preceding this one. They came out of my current work; I started updating a program to take advantage of the new facility.

As a typical example, I replaced

read more ...

blogger

More expressive loops for Eiffel external link

Tue, 01/26/2010 - 05:16

New variants of the loop construct have been introduced into Eiffel, allowing a safer, more concise and more abstract style of programming. The challenge was to remain compatible with the basic loop concept, in particular correctness concerns (loop invariant and loop variant), to provide a flexible mechanism that would cover many different cases of iteration, and to keep things simple. 

read more ...