@bitemyapp @missingfaktor @dibblego @leonardo_borges This begs the question: What language do you use at work?
-
@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.
-
-
@dibblego@leonardo_borges@bitemyapp@cwharris fair enough. I think this topic is very interesting. -
@dibblego@leonardo_borges@bitemyapp@cwharris I like Haskell and Clojure So I like to hear the pro/con arguments This is a con argument. - Show replies
New conversation -
-
-
@dibblego@MrMikeRodriguez@bitemyapp@cwharris what definition ? Genuine question. Is it the word definition or in a PL context? -
@leonardo_borges@MrMikeRodriguez@bitemyapp@cwharris I think TaPL does a nice job of telling us what type means. - 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.