@bitemyapp @missingfaktor @dibblego @leonardo_borges you're very intensional with your use of language. What do you mean by practical?
-
-
@dibblego@bitemyapp@leonardo_borges@cwharris That is a bit of a confusing statement. Do you just mean it isn't done well? -
@MrMikeRodriguez@bitemyapp@leonardo_borges@cwharris No. I mean that core.typed has nothing to do with types. - Show replies
New conversation -
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego@bitemyapp@leonardo_borges@cwharris@missingfaktor consider that several POPL papers use 'type' in this same way -
@reiddraper@dibblego@leonardo_borges@cwharris@missingfaktor and ain't that just always the gospel. - Show replies
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.