obap: Construction Diary & Job Jar
c000000>
2025-01-21 -08:30 -0800
|
|
obap: Construction Diary & Job Jar |
|
Status |
Date |
Description |
|
| done | 2024-01-08 |
|
|
| 2025-01-18 | There needs to be an Obap1, and then having the two forms be defined with the (a) and (b). | ||
| in progress | 2024-10-27 | As part of redefining from pure-lindy to symbolic-form, I need to look at proving that I can short-circuit application of symbolic-form obs in ev, bypassing the need to run everything down to ap and back up because there will be no difference. This needs to be supported with a proof. Consider whether this is only needed as an accelerator in the implementation, because we can tag obs as symbolic forms or not. That will be exciting. | |
| 2024-09-14 | Some of the items below have been handled. They need to be dated and marked done here. | ||
| 2024-04-29 | Consider an alternative to sigma.x F for determining whether x occurs in F. The comparative performance will be useful. | ||
| in progress 2025-01-16 |
2024-04-29 | Develop a replacef(s, t) M that replaces s with t everywhere in M. Define first using sigma.s and then compose sigma.s away. Determine the most useful (s,t) operand order when composing sigma.s away. [dh:2025-01-16 This is now δ(s, N) and optimization by elimination of sigma is not considered just yet.] | |
| 2024-01-14 | obaptheory: The distinctness of primitives by their spelling, and their distinctness from lindies needs to be asserted. There might need to be something like that in obtheory.txt in the first place. | ||
| 2024-01-08 | Develop a folio substructure? Maybe ap prefix? Probably need an ob prefix, and that would make sense around here, though two-character prefixes on the accession codes is a new practice. I guess 8.3 filenames are gone forever :). | ||
| in progress 2025-01-16 |
2024-01-08 | Determine what TODOs to bring here [dh:2025-01-16 I think there are ones on obaptheory.txt that don't belong there so much but would work better here.] | |
| 2024-01-08 | The cover should provide a sketch of the essential ideas: The idea of universality, the notion of Of conception being larger than the computable applicative functions, and the question of universal for what? | ||
|
done 2025-01-21 |
2025-01-18 | In obaptheory.txt 1.3.4, I wonder if Obap3(c) should allow enclosure of a symbolic form to be a symbolic form. I think the problem is when such a form is in operator position. It would go too far for that reason. I must reflect this somehow, perhaps in the discussion of Obap3. [dh:2025-01-21 I am handling this with the introduction of obap.F and obap.f(x) for avoiding the introduction of enclosures when a symbolic form is already literal. This is a hack that is relevant in definining applicative-procedure abstraction. | |
|
done 2025-01-16 |
2024-09-14 | I want to move away from lindy traces to lindy symbolic forms. I need a better explanation and it shows up at miser/lambda. I need to clear this up for obaptheory.txt. | |
|
done 2025-01-16 |
2024-01-08 | We will need obapx/ at some point [dh:2024-01-24 Could use prefix "x".][dh:2025-01-16 This was already done in creation of topics under miser/docs/. This note is more about the content, but that still belongs over there.] | |
|
done 2024-06-24 |
2024-04-29 | Develop sigma.x and flavors of lambda.x and rec.x that rely on it. | |
| done | 2024-04-29 | casep.txt Inclusion as an example of translation to oFrugal and use of ^sigma.x in the absence of ^lambda.x and ^rec.f | |
| done | 2024-01-24 | Make repairs noticed when cloning this as boilerplate for oMiser/ | |
|
done 2024-01-14 |
2024-01-08 | Provide a hybrid stub page for obap/ | |
| done | 2024-01-08 | Introduce a clean construction zone | |
 |
You are navigating
construction material of the Miser Project |
created 2024-01-08T19:12Z by orcmid |