Collaborative articulation of how abstraction and language is employed in the computational manifestation of numbers -- including analysis of the role of syntax, semantics, and meaning in the specification and use of software interfaces.

Recent Items
Document-centric integration; perils of API's
Libraries and Platform Independence
"External" Interface Contracts
Interfaces, Protocol Extensibility, and Versioning
A Fine Kettle of Fish, indeed.
What Is a Model?
A Fine Kettle of Fish
Numbering Peano: Annotated
Annotating Peano Numbers

Archives
2004-05-30
2004-06-06
2004-06-13
2004-06-27
2004-08-22
2004-08-29

Unorganized set of references: to be evaluated

Here are a set of blog references that may be relevant to our Numbering Peano experiments. I think they're relevant because they talk about defining and establishing meaning for interfaces and API's. A more thorough evaluation _is_ required.

1. James Robertson: Complexity of Java API's

http://www.cincomsmalltalk.com/blog/blogView?showComments=true&entry=3265776080

What are the issues raised here regarding complexity? Where is the complexity? Who is affected and how?

2. Enumerating the rationals

http://lambda-the-ultimate.org/node/view/47

I think I'm going to learn something interesting that relates to my own inferred understanding of the Numbering Peano interface. I'm looking forward to learning.

3. Sean McGrath: Reading, writing, APIs, GETs, POSTs and poetry

http://seanmcgrath.blogspot.com/archives/2004_06_27_seanmcgrath_archive.html#108849749679322624

A short piece about interface choices in OO systems.

4. Dave Orchard: Interface Compatibility: V2

http://www.pacificspirit.com/blog/2004/06/29/interface_compatibility_v2

This tries to tie it all down, but I'm still confused about what it means to guarantee semantic compatibility.

[update: 2004-07-01]
5. James Tauber: Enumerating rationals in python

http://jtauber.com/blog/2004/07/01/enumerating_the_rationals_in_python

Nota Bene: This whole enumerating rationals thread may be tangential (and irrelevant) to what we're trying to do here in Numbering Peano.

posted by Bill Anderson at 6/30/2004 06:39:36 AM