@edwinbrady @jonsterling maybe the right way to get efficient memory blob vectors is good modularity. i feel like having a signature + ...
@psygnisfive If you think it’s easy and try to implement it, or make the proposal precise, I guess you’ll find out... ;) @jonsterling
-
-
@edwinbrady@jonsterling well, i think the idea of a single dependently typed memory address should be fairly trivial, so the question is.. -
@edwinbrady@jonsterling ..what to do for agglomerations of addresses. for uniformly typed ones, it seems like vecs _just are_ the type - 10 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.