3 ms·

So to reify a type involves making an abstraction, which is odd because reify seems the inverse of making an abstraction...

• derefr 13y ago
  The abstraction already existed in your mental model. You're reifying it by making it something the code can refer to/reflect on/pass around.
  • Arkadir 13y ago
    The only difficulty is naming the abstraction :)