Programming languages tend to conflate three questions that ought to be answered separately: - What are the values? - How do types characterize sets of potential values? - How are values of a type encoded in memory?
-
-
A set can be represented as (a -> Bool). "What are the values?" and "is this value in the type?" seem equivalent
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.