> Write the same program in all three and there won't be a big gap in level of bugginess. I write Typescript at work, and this has not been my experience at al

> Write the same program in all three and there won't be a big gap in level of bugginess. I write Typescript at work, and this has not been my experience at all: it's at least an order of magnitude less reliable than even bare ML, let alone any modern Hindley-Milner based language. It's flagrantly, deliberately unsound, and this causes problems on a weekly basis.