|
|
|
|
|
|
by debugnik
184 days ago
|
|
|
> What you need is a unique handle type per container instance. You can do this with path-dependent types in Scala, or more verbosely with modules in OCaml. The hard part is keeping the container name in scope wherever these handle types are used: many type definitions will need to reference the container handle types. I'm currently trying to structure code this way in my pet compiler written in OCaml. |
|
|