diff options
Diffstat (limited to 'log.org')
| -rw-r--r-- | log.org | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/log.org b/log.org new file mode 100644 index 00000000..7d0b13e1 --- /dev/null +++ b/log.org @@ -0,0 +1,20 @@ +#+STARTUP: indent content +#+TODO: TODO STALLED WONTFIX | DONE + +* [2024-01-10 Wed] commit 7a3a5a07e +** log +- As of today I have a working `connectTypes` method which uses + user-supplied type arithmetic in the `TypeArithmetic` object to + resolve connected types. +- Motivation for connectTypes was to replicate the functionality of + diplomacy when it does ":=" +- Chatting with Adam about this, we noted the difference in philosophy + between `connectTypes` and diplomatic `:=` connection. +** `connectTypes` vs diplomatic `:=` +- Diplomatic connections serve to "note down" the connection to be + made with `makeIOs`. These connections are made after the second + stage of diplomacy finishes and the types are resolved. So there's a + sequence of events with `:=` +- `connectTypes` resolve types /and/ make the IO connections at the + same time. + |