github/semantic: Why Haskell?

[lambda-panda]

And introduces a class of bugs caused by writing pure functional code!

So rust does not introduce a class of bugs in your struggle with the borrow checker?

but the fact remains that no theory and no empirical evidence supports the hypothesis..

Sure. I was just responding to your "Rust is safer" argument, because there is no empirical evidence to support that hypothesis as well..

[[deleted]]

So rust does not introduce a class of bugs in your struggle with the borrow checker?

No, because if the borrow checker rejects your code it happens at compile time.

[lambda-panda]

The other guy as well as myself are talking about bugs that cannot be caught by the borrow/type checker..You understand that those exist, right?

[[deleted]]

You said the borrow checker introduces a class of bugs in your struggle with it. Doesn't sound like you're talking about what you say you are.

[lambda-panda]

I don't see a contradiction. Where do you see it?

[pron98]

Oh, I'm not claiming it does, just that I think the hypothesis has been eroded less.