News for hackers. Stuff that matters.
Re:Show HN: Dependently typed language for proofs that you c... by amw-zero on Saturday October 02, 2021 @10:32AM (#28728850)
You learned one way of programming, and that’s how you think. Nothing wrong with that.

But, many people are used to the functional paradigm. That that’s baffling to you is strange. People have different perspectives.

There are no comments on this comment yet.