blob: 82cc8eaefbbec64d88e47b1a8966169d452ee8d8 (
plain)
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
|
#+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.
* [2024-02-14 Wed] Wokring AbstractInterface arithmetic
** log
- Add a new file AbstractModuleStandalone.scala which i copied over from scastie
- Add a new implicit generic function =abstractInterfaceConnection=
which allows perfoming computations on AbstractInterfaces. Now, the
user only needs to supply type arithmetic on =A => B => C= in order
to get =AbstractInterface[A] => AbstractInterface[B] =>
AbstractInterface[C]= to work.
- Next step will to be figure out multiple arities for =AbstractInterface=
|
