Tony Morris

@MrMikeRodriguez @bitemyapp @leonardo_borges @cwharris No. I mean that core.typed has nothing to do with types.

@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 @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.

@dibblego @leonardo_borges @MrMikeRodriguez @bitemyapp @cwharris If you actually read the TaPL defn, it's clear that it includes core.typed.

@samth @leonardo_borges @MrMikeRodriguez @bitemyapp @cwharris It's less clear that it is a bait and switch.

@dibblego @leonardo_borges @MrMikeRodriguez @bitemyapp @cwharris I'm glad you're willing to admit your statement was incorrect.