Articles like this always make me wonder "there could be something interesting about this", but they always assume I know more math (or something) than I do.
Does anyone write about these kinds of topics in a more approachable manner, or is the math just so inherent to this, that I need to learn that first? (And if so, what do I need to read to learn that?)
I thought so too, spend a bit of time getting deeply into it, and then realised that nope it really isn't that interesting if all you care about is writing good software.
There are people in the Haskell community who is really into math and how it can be mapped to Haskell. And hey that's all good and fine but there are much better things to study if what you focus on is writing good software.
I would (for example) recommend learning LEAN. It is mind blowingly good for your brain and will make you a better software developer.
If they want a dependently typed language, why not use one? Lean is good, and I don't think it has any significant downside wrt Haskell other than more limited library ecosystem (but I guess AI can translate Haskell libraries to Lean very effectively).
4 comments
[ 4.9 ms ] story [ 20.0 ms ] threadDoes anyone write about these kinds of topics in a more approachable manner, or is the math just so inherent to this, that I need to learn that first? (And if so, what do I need to read to learn that?)
I thought so too, spend a bit of time getting deeply into it, and then realised that nope it really isn't that interesting if all you care about is writing good software.
There are people in the Haskell community who is really into math and how it can be mapped to Haskell. And hey that's all good and fine but there are much better things to study if what you focus on is writing good software.
I would (for example) recommend learning LEAN. It is mind blowingly good for your brain and will make you a better software developer.