@mdhughes You seem to be conflating two things. Having a type system doesnt automatically prevent null references. I mean, some languages may work like that, and that would be great. But to take Java, for example, since it’s he one I know best: checking for
null values is depressingly the norm.
That said, I find the idea of setting a variable without specifying — or maybe even knowing — its type, to be... worrying, let’s say.
@adiabatic I'm a C, not a C++, how does
any resolve method dispatch? Or do you just have a giant if typeof/cast tree after pulling something out? somelist.pop().quack() plus or minus some null checking works in dynamic langs…
@adiabatic That is truly hideous, just what I'd imagined C++ "dynamics" to look like! I dislike Haskell but it is very pretty handcuffs at least.
New Microblog — $5/month
We'll create and host a microblog for you at username.micro.blog or your own domain name. Includes cross-posting, pages, themes, and publishing from the web, iOS, and Mac.
New Blog + Audio + Video — $10/month
All the features of a hosted microblog plus podcast and video hosting. Upload MP3s via the web or use the companion iPhone app Wavelength to record and edit your own microcast. We'll create a podcast feed for your site.
Invite someone to Micro.blog or pay for their first year of blog hosting.