colin-adams's blog

blog Some lazy data structures implemented in Eiffel - Part I - Iterating the Calkin-Wilf tree

colin-adams's picture

This is the first part of a series in which I intend to make some explorations of lazy, infinite data structures in Eiffel.

blog Compiling to LLVM?

colin-adams's picture

Are there any plans anywhere for compiling Eiffel to LLVM? Apart from the optimization opportunities this might give, it also implies we could write Eiffel o be run in browsers via emscripten.

blog Type inference in 13.11, local declarations, exception monitoring at tag level, and function extensionality

colin-adams's picture

Several topics here, all arising from my thinking about ISE's proposals for type inference.

blog How does Eiffel's string library fare with Unicode?

colin-adams's picture

Anyone care to repeat the tests in against Eiffel libraries?

blog Writing unconditionally compliant HTTP servers using EWF - without knowing the HTTP specification

colin-adams's picture

As of yesterday, there is a new experimental, higher-level framework in the developers version of EWF. The idea is that a developer of an Eiffel web server should not need to know anything about the HTTP/1.1 specification (), and yet still write unconditionally compliant (all MUSTs and SHOULDs of the specification are met) code.

blog Towards a CQS checker

colin-adams's picture

The single hardest problem with observing CQS is knowing which "functions" [1] you intend to call are themselves observing CQS. Ideally, the compiler would flag an error when encountering them, so you don't have to. Since this isn't happening yet, I propose to write a (conservative) CQS checker, to warn the author of a function.

blog Slower than Windoze

colin-adams's picture

Sometimes I can be incredibly slow on the uptake.

It was about 5 years ago that I first started using agents. Classes such as ARRAY all had a feature named do_all.

blog Void-safety isn't

colin-adams's picture

Void safety clashes with DbC (it forces us to indulge in defensive programming).

blog The W3C's day of shame

colin-adams's picture

On November 26th the W3C brought disgrace upon themselves by publishing an eyes-wide-open deliberate lie - the so-called "Fifth Edition" of XML 1.0.

This is actually a new version of XML, masquerading as 1.0. Most other W3C recommendations that refer to XML 1.0 are now automatically non-conforming, including XML Namespaces!

blog Google Protocol Buffers

colin-adams's picture

Eiffel is missing from this list. Anyone fancy adding it on?

Syndicate content