Skip to content

Commit 18b7009

Browse files
author
Steve Krouse
committed
more dctp thoughts
1 parent 2fd0eb9 commit 18b7009

File tree

1 file changed

+9
-5
lines changed

1 file changed

+9
-5
lines changed

drafts/dctp.md

Lines changed: 9 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1095,6 +1095,8 @@ I am realizing the above draft is much too large in scope and loses people. I'd
10951095

10961096
Explaining original FRP could be the explicit goal of the paper a la http://worrydream.com/ScientificCommunicationAsSequentialArt/ for Conal's https://github.com/conal/talk-2015-essence-and-origins-of-frp/blob/master/README.md (or maybe https://github.com/conal/talk-2014-lambdajam-denotational-design or https://github.com/conal/talk-2015-more-elegant-frp)
10971097

1098+
Simon's [Let's Reinvent FRP](http://vindum.io/blog/lets-reinvent-frp/) does this reasonably well, but makes the same "mistake" I did about going to canvas instead of HTML...
1099+
10981100
### What isn't considered harmful?
10991101

11001102
The game of removing goto, control flow/statements, mutation... math seems to be OK. The game of adding back in, goto can be replace with X (dikjstra), mutation with recursion/HOF, control flow is often unnecessary and can be replaced with data flow.
@@ -1289,6 +1291,7 @@ I really need to figure out how `Event` is `Future Reactive` from http://conal.
12891291
* can programming be liberated, period? eh, not into this. mostly skimmed.
12901292
* re-skimmed no sliver bullet
12911293
* re-skimmed goto considred harmful
1294+
* re-read all my feedback comments
12921295

12931296
### Programming Considered as a Human Activity
12941297

@@ -1362,14 +1365,15 @@ http://plaice.web.cse.unsw.edu.au/~plaice/archive/WWW/1985/B-AP85-LucidDataflow.
13621365
13631366
> Lucid is a definitional language; the statements in a Lucid program are equations defining streams and filters, not commands for updating storage locations. Lucid is unusual in this sense, but not unique. The first definitional language, namely McCarthy’s LISP, was designed more than some twenty-five years ago, in 1960.
13641367
1368+
### Multi-tier Functional Reactive Programming for the Web
1369+
1370+
https://core.ac.uk/download/pdf/34606019.pdf
1371+
1372+
Holy shit this is exactly the paper I needed. I just needed the keyword "multitier language." Funny no one pointed me to it before.
13651373
13661374
## Todo
13671375
1368-
* re-read comments
13691376
* try draft 2 as explaining original frp to react people
1370-
* read salon reviewer 2 distributed computing links
1371-
* https://link.springer.com/chapter/10.1007/978-3-540-74792-5_12
1372-
* https://dl.acm.org/citation.cfm?id=2240253
1373-
* https://www.cs.cmu.edu/~rwh/papers/ml5/tgc.pdf
13741377
* maybe re-read backus and iverson turing award lectures
13751378
1379+

0 commit comments

Comments
 (0)