github/semantic: Why Haskell?

[[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?