| Status |
Date |
Description |
| |
|
|
| |
|
|
| |
|
|
| |
|
|
| |
|
|
| |
|
|
| |
|
|
| |
|
|
| |
2014-03-31 |
In the context of
"Homage to the Bit," I can see structure being constraint by condition,
but not by enforcement of a type. And I could flip that over
though. But it is something to have an interpretation-preserving
function be by constrained usage and having there be an interface that
gives assurance of the constraints. In that case, the
implementation behind the interface has automatic assurance of the
interpretation-preserving constraints. [dh:2014-03-31 But context
is inescapable. Change of abstraction is useful, but there is
always a "framework" of tacit-knowledge dependency. Also,
representation of combinators is a good example.] |
|
|
2014-03-31 |
These days, I
could see the representation of combinators as providing a framework for
achieving the computable functions over some structure,
suitably-represented in Obs. I don't think I had that in mind at
the time. [dh:2014-03-31 definitely not.] |
|
done |
2014-03-31 |
n010204: Dig into my notebooks for 2002 to see if there
is any clue there. [dh:2014-03-31 no joy although I found a tangential
reference to Keith Devlin from 2002.] |
|
done |
2014-03-31 |
n010204: Explain that I no longer have any idea what I
meant by Framework versus Structure. I appear to use "framework"
in the sense of tacit context. |
|
done |
2014-03-31 |
n010204: Customize as a folio title page, version 0.01 |
|
done |
2014-03-31 |
n010204c: Create a revision history block |
|
done |
2014-03-31 |
n010204c: Customize as a folio page, version 0.01 |
|
done |
2014-03-31 |
Customize n010204a and n010204b for the new location,
styles, and formatting |
|
done |
2014-03-31 |
The Construction and Content Material here was created in
conformance with the style requirements of the
Site Repaving
Project. Check
that folder for additional details of the approach to
correction and upgrade.
|
|
