blob: 7d0b13e1e6f9e054791922771f4e18f82440c98c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
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.
|
