-
Notifications
You must be signed in to change notification settings - Fork 2
/
programming.txt
61 lines (39 loc) · 2.14 KB
/
programming.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
programming.txt 0.0.0 UTF-8 dh:2018-04-17
----|----1----|----2----|----3----|----4----|----5----|----6----|----7----|--*
MISER THEORETICAL CONCEPTION
============================
OMISER PROGRAMMING WITH OFRUGAL
-------------------------------
<https://github.com/orcmid/miser/blob/master/programming.txt>
[SYNOPSIS: TBD]
[CONTENT: TBD]
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Copyright 2018 Dennis E. Hamilton
Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at
http://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
TODO
* Begin developing notes on programming using the oFrugal notations
and the oFrugal REPL.
* The direct access to an oMiser implementation is a different kind
of programming. Distinguish this.
* The reusability and substitution at the oFrugal and oMiser levels
is an engineering matter.
* Mine the GitHub issues for materials to be included in the
description of programming.
* There needs to be tie-in with the theory and interpretation,
but with a shallow-end approach. This is facilitated by having
an oFrugal REPL to operate with.
* Provide a programming.md file at some point.
* Need a block diagram for the REPL operation and also shows how
definitions are captured and updated.
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
0.0.0 2018-04-17-10:04 Create placeholder, with starter TODOs.
*** end of programming.txt ***