Tony Morris

@bitemyapp @leonardo_borges @cwharris @missingfaktor Yeah core.typed is a nasty bait and switch. Nothing at all to do with types.

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