CIRCLE WITH A DOT

@bplein should've called them "wannabe executives"

@gilesgoat

@AbramKedge @gilesgoat I find that relying on spec driven or test driven development too early is useless when dependencies lie about their capabilities or are just broken. I prefer prototyping a design before writing any tests just so I can work with the libraries and get a better sense of what problems I might run into. I only write exhaustive tests after I have an architecture that has a working, functional end-to-end minimal example.

@bri7 See, it's hard to explain to people that you need a much more complex and powerful type system in order to *reduce* type annotations precisely because of unsolved problems surrounding inference algorithms (which is precisely what broke our first attempt). For some reason most people seem to think "better types" means "more type annotations" and I'm not sure how to explain the difference.

@bri7 Ironically i've been trying to help my friend design a new programming language but nobody seems to think that better type systems are worth bothering with, they just look at the syntax.

It's either very funny or very depressing to watch executives trip over themselves to prove who has the worst understanding of what software development actually entails.