Thanks for the feedback - all totally valid points - I'll make some corrections based on this and credit you in article. Sorry if it came off as though I was tr

Thanks for the feedback - all totally valid points - I'll make some corrections based on this and credit you in article. Sorry if it came off as though I was trying to sound smarter, I wasn't, I just misused the terms in question and didn't catch it in my copy editing. As noted in the last paragraph, this is very much ignoring a lot of the core reasons that dependent type systems are actually valuable in favor of explaining how you can get something _of the same flavor_ of dependent ML using Swift (though admittedly, it is still not _really_ dependent) - I'll be doing another one on type systems that goes into more on this topic (also very relevant name, nice). Edit: Changes made - thanks again :D