@bitemyapp @missingfaktor @dibblego @leonardo_borges but let's be real here. I haven't used haskell in a work environment. I can't say.
-
@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.
-
-
@dibblego@bitemyapp@leonardo_borges@cwharris hah. Not much of an explanation. It is all about types. You just think it I flawed. :P -
@dibblego@bitemyapp@leonardo_borges@cwharris not arguing for or against it. I was just curious as to why you make that claim. - Show replies
New conversation -
-
-
@dibblego@MrMikeRodriguez@bitemyapp@cwharris do you mean in the sense that types are about correctness and abstraction? -
@leonardo_borges@MrMikeRodriguez@bitemyapp@cwharris Type has quite a precise definition. Core.typed is not even approximately similar. - Show replies
New conversation -
-
-
@dibblego@MrMikeRodriguez@bitemyapp@leonardo_borges@cwharris type system is bones and blood of PL. Not makeup. -
@mimblewabe@dibblego@mrmikerodriguez@leonardo_borges@cwharris We can be friends.
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.