|
|
|
|
|
|
by nabla9
4031 days ago
|
|
|
> The result is to provide memory elements as black box library components, defined and tested in a different, lower-level, language. But at the interface the two levels of abstraction are reconciled and composition can occur. I feel the same way. Uniqueness typing can work as the clue between component and upper lever abstraction. |
|
|