Interesting; isn't that the opposite of what's generally recommended, especially in functional programming?
-
-
b) abstract types still exist, and are used (required) in the signatures for generic functions,
-
c) a concrete type "inherits" from an abstract type iff there are implementations for all generic fns which
-
... reference that abstract type.
-
(to feel a bit more static, require that generic fns can only reference abstract types from their own module)
End of conversation
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.