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).
by jhartikainen
3 subcomments
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?)
Hacker News