@espadrine yes, dynamically typing does mean untyped. Yes, he is wrong.
-
@puffnfresh you have really strange definitions, which do not seem to match commonly used ones.
@mraleph @puffnfresh this is the commonly accepted definition by type theorists of all levels of expertise, except perhaps none at all.
-
-
@dibblego@puffnfresh so what is type? -
- Show replies
New conversation -
-
-
@dibblego@mraleph@puffnfresh I think@TacticalGrace disputed this definition last time? -
@mwotton@mraleph@puffnfresh@TacticalGrace Well that's news to me.
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.