-
-
Reflection is just a forgetful functor from a concrete domain to an abstract one. reification -| reflection
1 reply 0 retweets 0 likes -
1 reply 0 retweets 2 likes
-
Int is abstract. Succ (Succ Zero) is concrete. Also, types vs terms are analogous to the meta level vs the object level.
1 reply 0 retweets 1 like
I disagree, unless you mean type in a program vs int in a preprocessing metaprogram that generates or analyzes that program.
9:40 AM - 29 Jul 2016
0 replies
0 retweets
0 likes
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.
Read my blog!